Programming language foundations /Author: Stump, Aaron.
Publisher: Hoboken, [New Jersey] : John Wiley & Sons,
Date: [2013] This title can be found in 2 Iowa libraries.
Nominal sets : names and symmetry in computer science /Author: Pitts, A. M.
Publisher: Cambridge ; Cambridge University Press,
Date: 2013. This title can be found in 1 Iowa libraries.
Transitions and trees : an introduction to structural operational semantics /Author: Hüttel, Hans.
Publisher: Cambridge ; Cambridge University Press,
Date: 2010. This title can be found in 1 Iowa libraries.
Semantic approaches in natural language processing : proceedings of the Conference on Natural Language Processing 2010 /Publisher: Saarbrücken : Universaar,
Date: c2010. This title can be found in 1 Iowa libraries.
Semantic techniques in quantum computation /Publisher: Cambridge ; Cambridge University Press,
Date: 2010. This title can be found in 1 Iowa libraries.
Logic, language, and computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers /Format: [electronic resource] :
Publisher: Berlin : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Semantics engineering with PLT Redex /Author: Felleisen, Matthias.
Publisher: Cambridge, Mass. : MIT Press,
Date: c2009. This title can be found in 1 Iowa libraries.
Semantics and algebraic specification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Web reasoning and rule systems third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 ; proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2009. This title can be found in 1 Iowa libraries.
Practical aspects of declarative languages 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 : proceedings /Format: [electronic resource] :
Publisher: New York : Springer,
Date: c2008. This title can be found in 1 Iowa libraries.
Practical aspects of declarative languages : 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 : proceedings /Publisher: New York : Springer,
Date: c2008. 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.
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.
Journal on data semantics IXFormat: [electronic resource] /
Publisher: New York : Springer-Verlag,
Date: c2007. This title can be found in 1 Iowa libraries.
Logic, language, and computation 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers /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.