Quantitative Evaluation of...
Pavithra Prabhakar (Editor),
Andrea Vandin (Editor)
Buy from £64.70
eBook from £18.33
|
Automated Reasoning with...
Gian Luca Pozzato (Editor),
Tarmo Uustalu (Editor)
Buy from £45.58
|
Concurrent Programming, Open...
Jose Meseguer (Editor),
Carlos A. Varela (Editor)
Buy from £76.18
eBook from £21.99
|
Symbolic and Quantitative...
Kai Sauerwald (Editor),
Matthias Thimm (Editor)
Buy from £57.05
eBook from £15.89
|
Flexible Query Answering...
Guy De Tré (Editor),
Sotir Sotirov (Editor)
Buy from £56.00
eBook from £15.89
|
Runtime Verification: 25th...
Bettina Könighofer (Editor),
Hazem Torfah (Editor)
Buy from £62.93
eBook from £18.33
|
Software Engineering and...
José Proença (Editor),
Raul Fervari (Editor)
Buy from £61.96
eBook from £19.55
|
Logik für die Informatik:...
Markus Junker
Buy from £58.10
eBook from £7.33
|
Thinking About Programs
Gavin Lowe
Buy from £49.26
|
The Computer Security...
Juan Tapiador
Buy from £47.34
eBook from £13.44
|
Artificial Intelligence:...
Alfio Quarteroni
Buy from £17.67
eBook from £7.33
|
Computer Aided Verification:...
Ruzica Piskac (Editor),
Zvonimir Rakamaric (Editor)
Buy from £45.58
|
Computational Science - ICCS...
Maciej Paszynski (Editor),
Amanda S. Barnard (Editor)
Buy from £76.18
eBook from £21.99
|
Computational Science - ICCS...
Michael H. Lees (Editor),
Wentong Cai (Editor)
Buy from £44.25
eBook from £13.44
|
Computational Science - ICCS...
Maciej Paszynski (Editor),
Amanda S. Barnard (Editor)
Buy from £76.18
eBook from £21.99
|
Computer Aided Verification:...
Ruzica Piskac (Editor),
Zvonimir Rakamaric (Editor)
Buy from £45.58
|
Computer Aided Verification:...
Ruzica Piskac (Editor),
Zvonimir Rakamaric (Editor)
Buy from £45.58
|
Computational Science - ICCS...
Maciej Paszynski (Editor),
Amanda S. Barnard (Editor)
Buy from £76.18
eBook from £21.99
|
