Programming languages and applied logic

Finite and Algorithmic Model Theory

Esparza, Javier
Michaux, Christian
Steinhorn, Charles
Published: March 2011Published: December 2011

Lectures in Game Theory for Computer Scientists

Apt, Krzysztof R.
Grädel, Erich
Published: January 2011Published: May 2011

Foundations of XML Processing

The Tree-Automata Approach

Hosoya, Haruo
Published: November 2010Published: November 2010

Relational Mathematics

Schmidt, Gunther
Published: November 2010Published: June 2013

Noncommutative Rational Series with Applications

Berstel, Jean
Reutenauer, Christophe
Published: October 2010Published: October 2014

Steps in Scala

An Introduction to Object-Functional Programming

Loverdos, Christos K. K.
Syropoulos, Apostolos
Published: September 2010Published: September 2010Published: September 2010

Pearls of Functional Algorithm Design

Bird, Richard
Published: September 2010Published: August 2010

Knowledge Representation, Reasoning and Declarative Problem Solving

Baral, Chitta
Published: June 2010Published: January 2003Published: January 2005

Theories of Computability

Pippenger, Nicholas
Published: June 2010Published: August 1997

A Framework for Priority Arguments

Lerman, Manuel
Published: June 2010Published: May 2010

The Description Logic Handbook

Theory, Implementation and Applications

Baader, Franz
Calvanese, Diego
McGuinness, Deborah L.
(+ 2 others)
Published: May 2010Published: April 2010
2nd Edition

Modeling in Event-B

System and Software Engineering

Abrial, Jean-Raymond
Published: May 2010Published: May 2010

(1 reviews)

Programming in Visual Basic 2010

The Very Beginner's Guide

textbook

McKeown, Jim
Published: May 2010Published: May 2010Published: April 2010

Transitions and Trees

An Introduction to Structural Operational Semantics

Hüttel, Hans
Published: April 2010Published: April 2010Published: October 2012

Revised [6] Report on the Algorithmic Language Scheme

Sperber, Michael
Dybvig, R. Kent
Flatt, Matthew
(+ 3 others)
Published: April 2010

Semantic Techniques in Quantum Computation

Gay, Simon
Mackie, Ian
Published: February 2010Published: January 2010

Process Algebra: Equational Theories of Communicating Processes

Baeten, J. C. M.
Basten, T.
Reniers, M. A.
Published: January 2010Published: April 2010

Information Systems Engineering

A Formal Approach

Hee, Kees M. van
Published: December 2009

Logic Colloquium 2006

Cooper, S. Barry
Geuvers, Herman
Pillay, Anand
(+ 1 other)
Published: October 2009Published: November 2009

From Semantics to Computer Science

Essays in Honour of Gilles Kahn

Bertot, Yves
Huet, Gérard
Lévy, Jean-Jacques
(+ 1 other)
Published: September 2009Published: June 2010