Related Books
Language: en
Pages: 220
Pages: 220
Type: BOOK - Published: 1994-06-28 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 664
Pages: 664
Type: BOOK - Published: 1994-05-20 - Publisher: Springer Science & Business Media
This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993
Language: en
Pages: 488
Pages: 488
Type: BOOK - Published: 1994-08-24 - Publisher: Springer Science & Business Media
This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Mad
Language: en
Pages: 726
Pages: 726
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
This book constitutes the refereed proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP'99, held in Prague, Czech Repu
Language: en
Pages: 1357
Pages: 1357
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier
Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It