Logic-based program synthesis and transformation : 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /Publisher: Heidelberg ; Springer Science+Business Media,
Date: c2012. This title can be found in 1 Iowa libraries.
Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Programming languages and systems 18th European Symposium on Programming, ESOP 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings /Format: [electronic resource] :
Publisher: Heidelberg : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Theoretical aspects of computing -- ICTAC 2009 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Learning and intelligent optimization third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers /Format: [electronic resource] :
Publisher: Berlin : Springer-Verlag,
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.
Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 ; proceedings /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Automata, languages and programming 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings. Part II /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Programming multi-agent systems 6th international workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 : revised invited and selected papers /Format: [electronic resource] :
Publisher: Heidelberg : Springer-Verlag,
Date: c2009. This title can be found in 1 Iowa libraries.
Mathematical foundations of computer science 2009 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Rewriting techniques and applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2009. 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.
Types for proofs and programs international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2009. This title can be found in 1 Iowa libraries.
Automata, languages and programming 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: 2008. This title can be found in 1 Iowa libraries.
Learning and intelligent optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007 : selected papers /Format: [electronic resource] :
Publisher: New York : Springer-Verlag,
Date: c2008. This title can be found in 1 Iowa libraries.
Mathematics of program construction 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2008. This title can be found in 1 Iowa libraries.
Mathematical foundations of computer science 2008 33rd international symposium, MFCS 2008, Torun, Poland, August 25-29, 2008 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: 2008. 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.
Rewriting techniques and applications 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. 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.