You are here

Back to top

Browse Books: Computers / Programming / Compilers

Verified Software. Theories, Tools, and Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers Cover Image
By Ruzica Piskac (Editor), Philipp Rümmer (Editor)
$71.49
Usually Ships in 1-5 Days
Product-Focused Software Process Improvement: 19th International Conference, Profes 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings Cover Image
By Marco Kuhrmann (Editor), Kurt Schneider (Editor), Dietmar Pfahl (Editor)
$71.49
Usually Ships in 1-5 Days
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings Cover Image
By Christian Colombo (Editor), Martin Leucker (Editor)
$110.49
Usually Ships in 1-5 Days
Multi-Agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers Cover Image
By Marija Slavkovik (Editor)
$71.49
Usually Ships in 1-5 Days
Graphical Models for Security: 5th International Workshop, Gramsec 2018, Oxford, Uk, July 8, 2018, Revised Selected Papers Cover Image
By George Cybenko (Editor), David Pym (Editor), Barbara Fila (Editor)
$71.49
Usually Ships in 1-5 Days
Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, Refsq 2019, Essen, Germany, March 18-21, 2019, Proce Cover Image
By Eric Knauss (Editor), Michael Goedicke (Editor)
$97.49
Usually Ships in 1-5 Days
Fundamental Approaches to Software Engineering: 22nd International Conference, Fase 2019, Held as Part of the European Joint Conferences on Theory and Cover Image
By Reiner Hähnle (Editor), Wil Van Der Aalst (Editor)
$77.99
Usually Ships in 1-5 Days
Programming and Performance Visualization Tools: International Workshops, Espt 2017 and Vpa 2017, Denver, Co, Usa, November 12 and 17, 2017, and Espt Cover Image
By Abhinav Bhatele (Editor), David Boehme (Editor), Joshua A. Levine (Editor)
$84.49
Usually Ships in 1-5 Days
Logics in Artificial Intelligence: 16th European Conference, Jelia 2019, Rende, Italy, May 7-11, 2019, Proceedings Cover Image
By Francesco Calimeri (Editor), Nicola Leone (Editor), Marco Manna (Editor)
$142.99
Usually Ships in 1-5 Days
Optimization Techniques Ifip Technical Conference: Novosibirsk, July 1-7, 1974 (Lecture Notes in Control and Information Sciences) Cover Image
$71.49
Usually Ships in 1-5 Days
Ecoop 2014 -- Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings Cover Image
By Richard Jones (Editor)
$71.49
Usually Ships in 1-5 Days
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20 Cover Image
By Tiziana Margaria (Editor), Bernhard Steffen (Editor)
$71.49
Usually Ships in 1-5 Days
(This item cannot be returned.)

Pages