Programming languages and systems : 8th Asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 : proceedings /Publisher: Berlin ; Springer,
Date: 2010. This title can be found in 1 Iowa libraries.
Declarative agent languages and technologies VI 6th international workshop, DALT 2008, Estoril, Portugal, May 2008 : revised selected and invited papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Software language engineering first international conference, SLE 2008, Toulouse, France, September 29-30, 2008, revised selected papers /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Languages, from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Programming languages and systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Language engineering and rigorous software development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Database programming languages 12th international symposium, DBPL 2009, Lyon, France, August 24, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Static analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Declarative agent languages and technologies V 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Languages and compilers for parallel computing 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 ; revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Languages, methodologies and development tools for multi-agent systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007 : revised selected and invited papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Programming languages and systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008 : proceedings /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: 2008. This title can be found in 1 Iowa libraries.
Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Static analysis 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Languages and compilers for parallel computing : 20th international workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007 ; revised selected papers /Publisher: Berlin : Springer,
Date: 2008. This title can be found in 2 Iowa libraries.
Languages and compilers for parallel computing : 19th international workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 ; revised papers /Publisher: Berlin : Springer,
Date: 2007. This title can be found in 3 Iowa libraries.
Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /Publisher: Berlin : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /Publisher: New York : New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Database programming languages 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2007. This title can be found in 1 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.