Title: Synchronous Programming of Reactive Systems, Author: Nicolas Halbwachs
Title: Isomorphisms of Types: from ?-calculus to information retrieval and language design, Author: Roberto DiCosmo
Title: Unification Grammars, Author: Nissim Francez
Title: Data Types and Persistence, Author: Malcolm P. Atkinson
Title: Models of Sharing Graphs: A Categorical Semantics of let and letrec, Author: Masahito Hasegawa
Title: Fundamentals of Programming Languages, Author: E. Horowitz
Title: Graph Data Model: and Its Data Language, Author: Hideko S. Kunii
Title: Biostatistics with R: An Introduction to Statistics Through Biological Data, Author: Babak Shahbaba
Title: Cooperative Interfaces to Information Systems, Author: Leonard Bolc
Title: Specification and Proof in Real Time CSP, Author: Jim Davies
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
Title: Standard Relational and Network Database Languages, Author: E.J. Yannakoudakis
Title: An Introduction to Formal Language Theory, Author: Robert N. Moll
Title: Programming Language Concepts, Author: Peter Sestoft
Title: Analyse von Logfile-Statistiken zur absatzpolitischen Auswertung von Internetpräsenzen, Author: Nicole Marschall
Title: Regular Expressions Cookbook: Detailed Solutions in Eight Programming Languages, Author: Jan Goyvaerts
Title: Efficient Polymorphic Calls, Author: Karel Driesen
Title: Vorgehensmodell f�r die Entwicklung von WWW-Informationssystemen, Author: Torsten Breitfelder
Title: Vermessung von Kristallstrukturen mit Methoden der Bildverarbeitung und Statistik, Author: Olaf Schmidt
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu

Pagination Links