Constraints in Computational...
Hubert Comon (Editor),
Claude Marche (Editor)
Buy from $37.80
eBook from $16.50
|
Compiler Construction: 10th...
Reinhard Wilhelm
Buy from $7.89
eBook from $16.50
|
Foundations of Software...
Furio Honsell (Editor),
Marino Miculan (Editor)
Buy from $1.79
eBook from $16.50
|
Programming Languages and...
Dr. David Sands (Editor)
Buy from $31.38
eBook from $16.50
|
Fme 2001: Formal Methods for...
Jose N Oliveira (Editor),
Pamela Zave (Editor)
Buy from $36.30
eBook from $29.70
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy from $18.50
eBook from $117.00
|
Generative and Component...
Krzysztof Czarnecki (Editor),
Ulrich W Eisenecker (Editor)
Buy from $51.53
eBook from $16.50
|
Semantics, Applications, and...
Walid Taha (Editor)
Buy from $15.34
eBook from $16.50
|
Abstract State Machines -...
Yuri Gurevich (Editor),
Philipp W Kutter (Editor)
Buy from $47.87
eBook from $16.50
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy from $43.12
eBook from $16.50
|
New Trends in Constraints:...
Krzysztof R Apt (Editor),
Antonis Kakas (Editor)
Buy from $50.78
eBook from $16.50
|
Zb 2000: Formal Specification...
Prof. Jonathan P Bowen (Editor),
Steve Dunne (Editor)
Buy from $3.99
eBook from $16.50
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy from $4.99
eBook from $16.50
|
Abstraction, Reformulation,...
Berthe Y Choueiry (Editor),
Toby Walsh (Editor)
Buy from $1.65
eBook from $16.50
|
Computational Logic -- CL...
John Lloyd, CBE (Editor),
Veronica Dahl (Editor)
Buy from $4.90
eBook from $16.50
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Schürr (Editor)
Buy from $6.80
eBook from $29.70
|
Mathematics of Program...
Roland Backhouse (Editor),
Jose Nuno Oliveira (Editor)
Buy from $6.83
eBook from $16.50
|
Logic-Based Program Synthesis...
Annalisa Bossi (Editor)
Buy from $17.81
eBook from $16.50
|
Computer Aided Verification:...
E Allen Emerson (Editor),
A Prasad Sistla (Editor)
Buy from $10.72
eBook from $29.70
|
Evolvable Systems: From...
Julian F Miller (Editor),
Adrian Thompson (Editor)
Buy from $8.02
eBook from $16.50
|
Compiler Construction: 9th...
David A Watt (Editor)
Buy from $7.97
eBook from $16.50
|
Programming Languages and...
Gert Smolka (Editor)
Buy from $4.95
eBook from $16.50
|
Fundamental Approaches to...
Tom Maibaum (Editor)
Buy from $33.81
eBook from $16.50
|
Foundation of Software...
Jerzy Tiuryn (Editor)
Buy from $45.80
eBook from $16.50
|
