981- 1000 of 5597 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#15220 in Series
Paperback $74.99
Title: Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers, Author: Bernhard K. Aichernig
QUICK ADD
Formal Methods at the…
by Bernhard K. Aichernig (Editor), Tom Maibaum (Editor)
#2757 in Series
Paperback $54.99
Title: The Science of Biometrics: Security Technology for Identity Verification / Edition 1, Author: Ravindra Das
QUICK ADD
The Science of Biometrics:…
by Ravindra Das
Paperback $72.99
Title: Optimal Synthesis Methods for MEMS / Edition 1, Author: S.G.K. Ananthasuresh
QUICK ADD
Optimal Synthesis Methods for…
by S.G.K. Ananthasuresh
#13 in Series
Hardcover $169.99
Title: Simulating and Generating Motions of Human Figures / Edition 1, Author: Katsu Yamane
QUICK ADD
Simulating and Generating…
by Katsu Yamane
#9 in Series
Paperback $109.99
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
QUICK ADD
Verified Software. Theories,…
by Ruzica Piskac, Philipp Rümmer
#11294 in Series
Paperback $54.99
Title: Object-Oriented Methods: A New Comprehensive Study, Author: Richmond S Adebiaye Dr
QUICK ADD
Object-Oriented Methods: A New…
by Richmond S Adebiaye Dr
#3 in Series
Paperback $168.00
Title: Advances in Computers, Author: Suyel Namasudra
QUICK ADD
Advances in Computers
by Suyel Namasudra
#98 in Series
Hardcover $182.00
Title: SOA Design Patterns, Author: Thomas Erl
QUICK ADD
SOA Design Patterns
by Thomas Erl
Explore Series
eBook $71.99
Title: The Craft of Model-Based Testing / Edition 1, Author: Paul C. Jorgensen
QUICK ADD
The Craft of Model-Based…
by Paul C. Jorgensen
Hardcover $160.00
Title: Experience Machines: The Philosophy of Virtual Worlds, Author: Mark Silcox
QUICK ADD
Experience Machines: The…
by Mark Silcox (Editor)
Hardcover $154.00
Title: Handbook of Neuroevolution Through Erlang, Author: Gene I. Sher
QUICK ADD
Handbook of Neuroevolution…
by Gene I. Sher
Paperback $249.99
Title: Agent-Oriented Information Systems IV: 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers / Edition 1, Author: Manuel Kolp
QUICK ADD
Agent-Oriented Information…
by Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya Ghose
#4898 in Series
Paperback $54.99
Title: SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings, Author: Tibor Csöndes
QUICK ADD
SDL 2017: Model-Driven…
by Tibor Csöndes, Gábor Kovács, György Réthy
#10567 in Series
Paperback $54.99
Title: Assembly Language Programming: ARM Cortex-M3 / Edition 1, Author: Vincent Mahout
QUICK ADD
Assembly Language Programming:…
by Vincent Mahout
#595 in Series
Hardcover $177.95
Title: Remote Engineering Management: Managing an Engineering Team in a Remote-First World, Author: Alexandra Sunderland
QUICK ADD
Remote Engineering Management:…
by Alexandra Sunderland
eBook $64.99
Title: Core Software Security: Security at the Source, Author: James Ransome
QUICK ADD
Core Software Security:…
by James Ransome, Anmol Misra
Paperback $62.99
Title: Evolving Software Systems, Author: Tom Mens
QUICK ADD
Evolving Software Systems
by Tom Mens, Alexander Serebrenik, Anthony Cleve
Paperback $109.99
Title: Animated Problem Solving: An Introduction to Program Design Using Video Game Development, Author: Marco T. Morazïn
QUICK ADD
Animated Problem Solving: An…
by Marco T. Morazïn
Explore Series
Hardcover $84.99
Title: Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, Author: Yassine Ouhammou
QUICK ADD
Model and Data Engineering:…
by Yassine Ouhammou (Editor), Mirjana Ivanovic (Editor), Alberto Abelló (Editor), Ladjel Bellatreche (Editor)
#10563 in Series
eBook $54.99

Pagination Links