Related Books

Qualitative Representation of Spatial Knowledge
Language: en
Pages: 220
Authors: Daniel Hernandez
Categories: Computers
Type: BOOK - Published: 1994-06-28 - Publisher: Springer Science & Business Media

GET EBOOK

This book develops, for the first time, a qualitative model for the representation of spatial knowledge based only on locative relations between the objects inv
Mathematical Foundations of Programming Semantics
Language: en
Pages: 664
Authors: Stephen Brookes
Categories: Computers
Type: BOOK - Published: 1994-05-20 - Publisher: Springer Science & Business Media

GET EBOOK

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993
Programming Language Implementation and Logic Programming
Language: en
Pages: 488
Authors: Jaan Penjam
Categories: Computers
Type: BOOK - Published: 1994-08-24 - Publisher: Springer Science & Business Media

GET EBOOK

This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Mad
Automata, Languages and Programming
Language: en
Pages: 726
Authors: Jiri Wiedermann
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP'99, held in Prague, Czech Repu
Handbook of Process Algebra
Language: en
Pages: 1357
Authors: J.A. Bergstra
Categories: Computers
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

GET EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It