Programming Languages and...
Peter Sestoft (Editor)
Buy from £13.67
eBook from £13.49
|
Software Engineering 2:...
Dines Bjørner
Buy from £37.44
eBook from £13.49
|
Types for Proofs and Programs...
Jean-Christophe Filliatre (Editor),
Christine Paulin-Mohring (Editor)
Buy from £9.83
eBook from £13.49
|
Software Engineering 1:...
Dines Bjørner
Buy from £91.83
eBook from £21.83
|
Rules and Rule Markup...
Asaf Adi (Editor),
Suzette Stoutenburg (Editor)
Buy from £47.74
eBook from £13.49
|
Building Asips: The Mescal...
Matthias Gries,
Kurt Keutzer
Buy from £42.35
eBook from £39.00
|
Fundamentals of Digital Logic...
M Rafiquzzaman
Buy from £9.79
eBook from £142.25
|
Interactive TV Standards: A...
Steven Morris,
Anthony Smith-Chaigneau
Buy from £18.87
eBook from £30.13
|
Handbook of Temporal...
Michael David Fisher (Editor),
Dov M Gabbay (Editor)
Buy from £63.63
eBook from £204.38
|
Fundamental Approaches to...
Maura Cerioli (Editor)
Buy from £44.84
eBook from £13.49
|
A Practical Theory of...
R Kurki-Suonio
Buy from £29.36
eBook from £13.49
|
Explanatory Nonmonotonic...
Alexander Bochman
Buy from £95.61
eBook from £47.42
|
Symbolic Analysis and...
Zhanhai Qin,
Chung-Kuan Cheng
Buy from £68.09
eBook from £24.28
|
Coherent Systems: Volume 2
Karl Schlechta
Buy from £46.02
eBook from £175.77
|
Op Amp Applications Handbook
Walt Jung
Buy from £37.42
eBook from £74.36
|
Formal Methods for Components...
Frank S de Boer (Editor),
Marcello M Bonsangue (Editor)
Buy from £16.65
eBook from £13.49
|
Logic in Computer Science 2ed
Michael Huth,
Mark Ryan
Buy from £59.42
eBook from £47.75
|
Program Development in...
Maurice Bruynooghe (Editor),
Kung-Kiu Lau (Editor)
Buy from £45.60
eBook from £13.49
|
Digital Design and...
Zainalabedin Navabi
Buy from £38.43
eBook from £39.00
|
Operational Amplifier Speed...
Vadim V Ivanov,
Igor M Filanovsky
Buy from £143.07
eBook from £41.45
|
Model Checking Software: 11th...
Susanne Graf (Editor),
Laurent Mounier (Editor)
Buy from £9.81
eBook from £13.49
|
Casl User Manual:...
Michel Bidoit,
Peter D Mosses
Buy from £44.15
eBook from £13.49
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy from £47.76
eBook from £13.49
|
Computer Organisation and...
B.S. Chalk,
Antony Carter
Buy from £8.10
eBook from £45.42
|
