Transactions on Petri Nets...
Kurt Jensen (Editor-in-chief),
Susanna Donatelli (Guest editor)
Buy from $51.65
eBook from $16.50
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy from $51.65
eBook from $16.50
|
Functional and Constraint...
Julio Marino (Editor)
Buy from $51.65
eBook from $16.50
|
Logic Programming and...
James Delgrande (Editor),
Wolfgang Faber (Editor)
Buy from $44.45
eBook from $16.50
|
Logic, Language, Information,...
Lev D. Beklemishev (Editor),
Ruy de Queiroz (Editor)
Buy from $23.50
eBook from $16.50
|
Logic and Its Applications:...
Mohua Banerjee (Editor),
Anil Seth (Editor)
Buy from $51.65
eBook from $16.50
|
Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy from $47.98
eBook from $16.50
|
Lectures on Quantum Mechanics
Jean-Louis Basdevant
Buy from $39.10
eBook from $16.50
|
Principles and Practice of...
Toby Walsh (Editor)
Buy from $31.32
eBook from $29.70
|
Theoretical Aspects of...
Naoki Kobayashi (Editor),
Benjamin C Pierce (Editor)
Buy from $5.00
eBook from $16.50
|
Formal Approaches to Agent...
James L Rash (Editor),
Christopher A Rouff (Editor)
Buy from $24.13
eBook from $16.50
|
Interactive Systems: Design,...
Chris J Johnson (Editor)
Buy from $34.85
eBook from $16.50
|
Proof Theory in Computer...
Reinhard Kahle (Editor),
Peter Schroeder-Heister (Editor)
Buy from $48.15
eBook from $16.50
|
Correct Hardware Design and...
Tiziana Margaria (Editor),
Tom Melham (Editor)
Buy from $50.98
eBook from $16.50
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy from $29.47
eBook from $16.50
|
Semantics, Applications, and...
Walid Taha (Editor)
Buy from $48.20
eBook from $16.50
|
Process Algebra and...
Luca De Alfaro (Editor),
Stephen Gilmore (Editor)
Buy from $51.53
eBook from $16.50
|
Intelligent Agents VII. Agent...
Cristiano Castelfranchi (Editor),
Yves Lesperance (Editor)
Buy from $38.82
eBook from $16.50
|
Types in Compilation: Third...
Professor Robert Harper (Editor)
Buy from $50.97
eBook from $16.50
|
Applications and Theory of...
Jose-Manuel Colom (Editor),
Maciej Koutny (Editor)
Buy from $33.78
eBook from $16.50
|
Innovative Internet Computing...
Thomas Böhme (Editor),
Herwig Unger (Editor)
Buy from $50.86
eBook from $16.50
|
Model Checking Software: 8th...
Matthew Dwyer (Editor)
Buy from $7.40
eBook from $16.50
|
Ecoop 2001 - Object-Oriented...
Jorgen Lindskov Knudsen
Buy from $3.97
eBook from $16.50
|
Engineering of Intelligent...
Laszlo Monostori (Editor),
Jozsef Vancza (Editor)
Buy from $8.43
eBook from $29.70
|
