Process Algebra and...
Luca De Alfaro (Editor),
Stephen Gilmore (Editor)
Buy from £47.54
eBook from £13.41
|
Correct Hardware Design and...
Tiziana Margaria (Editor),
Tom Melham (Editor)
Buy from £48.98
eBook from £13.41
|
Inductive Logic Programming:...
Celine Rouveirol (Editor),
Michele Sebag (Editor)
Buy from £16.86
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy from £29.19
eBook from £13.41
|
Semantics, Applications, and...
Walid Taha (Editor)
Buy from £44.83
eBook from £13.41
|
Intelligent Agents VII. Agent...
Cristiano Castelfranchi (Editor),
Yves Lesperance (Editor)
Buy from £28.86
eBook from £13.41
|
Static Analysis: 8th...
Patrick Cousot (Editor)
Buy from £49.18
|
Computer Aided Verification:...
Gerard Berry (Editor),
Hubert Comon (Editor)
Buy from £32.99
|
Types in Compilation: Third...
Professor Robert Harper (Editor)
Buy from £49.18
eBook from £13.41
|
Applications and Theory of...
Jose-Manuel Colom (Editor),
Maciej Koutny (Editor)
Buy from £33.11
eBook from £13.41
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy from £46.11
|
Innovative Internet Computing...
Thomas Böhme (Editor),
Herwig Unger (Editor)
Buy from £47.73
eBook from £13.41
|
Combinatorics, Computability...
C S Calude (Editor),
M J Dinneen (Editor)
Buy from £91.25
|
Logic Based Program Synthesis...
Kung-Kiu Lau (Editor)
Buy from £31.06
|
Ecoop 2001 - Object-Oriented...
Jorgen Lindskov Knudsen
Buy from £8.93
eBook from £13.41
|
Engineering of Intelligent...
Laszlo Monostori (Editor),
Jozsef Vancza (Editor)
Buy from £88.48
eBook from £24.13
|
Constraints in Computational...
Hubert Comon (Editor),
Claude Marche (Editor)
Buy from £36.37
eBook from £13.41
|
Programs as Data Objects:...
Olivier Danvy (Editor),
Andrzej Filinski (Editor)
Buy from £10.18
|
Foundations of Software...
Furio Honsell (Editor),
Marino Miculan (Editor)
Buy from £9.75
eBook from £13.41
|
Compiler Construction: 10th...
Reinhard Wilhelm
Buy from £36.06
eBook from £13.41
|
Programming Languages and...
Dr. David Sands (Editor)
Buy from £31.15
eBook from £13.41
|
Fme 2001: Formal Methods for...
Jose N Oliveira (Editor),
Pamela Zave (Editor)
Buy from £35.15
eBook from £24.13
|
Functional and Logic...
Herbert Kuchen (Editor),
Kazunori Ueda (Editor)
Buy from £47.20
|
Logic for Programming and...
Michel Parigot (Editor),
Andrei Voronkov (Editor)
Buy from £23.97
|
