61- 80 of 3490 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, Author: Sandrine Blazy
QUICK ADD
Verified Software. Theories,…
by Sandrine Blazy (Editor), Marsha Chechik (Editor)
#9971 in Series
eBook $54.99
Title: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Author: Supratik Chakraborty
QUICK ADD
Verified Software. Theories,…
by Supratik Chakraborty (Editor), Jorge A. Navas (Editor)
#12031 in Series
eBook $54.99
Title: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Author: Supratik Chakraborty
QUICK ADD
Verified Software. Theories,…
by Supratik Chakraborty (Editor), Jorge A. Navas (Editor)
#12031 in Series
Paperback $54.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 (Editor), Philipp Rümmer (Editor)
#11294 in Series
Paperback $54.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 (Editor), Philipp Rümmer (Editor)
#11294 in Series
eBook $54.99
Title: Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, Author: Radhia Cousot
QUICK ADD
Verification, Model Checking,…
by Radhia Cousot (Editor)
#3385 in Series
Paperback $54.99
Title: Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models, Author: Mourad Debbabi
QUICK ADD
Verification and Validation in…
by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
Paperback $139.99
Title: Verification and Analysis of Computer Systems, Author: Henry Skinner
QUICK ADD
Verification and Analysis of…
by Henry Skinner (Editor)
Hardcover $161.00
Title: VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings, Author: Dines Bjïrner
QUICK ADD
VDM '87. VDM - A Formal Method…
by Dines Bjïrner (Editor), Cliff Jones (Editor), Michael Mac An Airchinnigh (Editor), Erich J. Neuhold (Editor)
#252 in Series
Paperback $54.99
Title: Variational Object-Oriented Programming Beyond Classes and Inheritance, Author: Mira Mezini
QUICK ADD
Variational Object-Oriented…
by Mira Mezini
#470 in Series
Paperback $169.99
Title: Variational Object-Oriented Programming Beyond Classes and Inheritance, Author: Mira Mezini
QUICK ADD
Variational Object-Oriented…
by Mira Mezini
#470 in Series
Hardcover $169.99
Title: Variantenkonfiguration in SAP S/4HANA, Author: Rainer Neumann
QUICK ADD
Variantenkonfiguration in SAP…
by Rainer Neumann, Dieter Schraad
eBook $22.99
Title: Variable Domain-specific Software Languages with DjDSL: Design and Implementation, Author: Stefan Sobernig
QUICK ADD
Variable Domain-specific…
by Stefan Sobernig
Hardcover $109.99
Title: Variable Domain-specific Software Languages with DjDSL: Design and Implementation, Author: Stefan Sobernig
QUICK ADD
Variable Domain-specific…
by Stefan Sobernig
Paperback $109.00
Title: Validation of Evolving Software, Author: Hana Chockler
QUICK ADD
Validation of Evolving…
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Hardcover $54.99
Title: Validation of Evolving Software, Author: Hana Chockler
QUICK ADD
Validation of Evolving…
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Paperback $54.99
Title: Using Microsoft Dynamics 365 for Finance and Operations: Learn and understand the functionality of Microsoft's enterprise solution, Author: Andreas Luszczak
QUICK ADD
Using Microsoft Dynamics 365…
by Andreas Luszczak
Other Format $54.99
Title: User-Level Workflow Design: A Bioinformatics Perspective, Author: Anna-Lena Lamprecht
QUICK ADD
User-Level Workflow Design: A…
by Anna-Lena Lamprecht
#8311 in Series
Paperback $49.99
Title: Usability- and Accessibility-Focused Requirements Engineering: First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014,, Author: Achim Ebert
QUICK ADD
Usability- and…
by Achim Ebert (Editor), Shah Rukh Humayoun (Editor), Norbert Seyff (Editor), Anna Perini (Editor), Simone D.J. Barbosa (Editor)
#9312 in Series
eBook $54.99
Title: Unraveling Software Maintenance and Evolution: Thinking Outside the Box, Author: Ervin Varga
QUICK ADD
Unraveling Software…
by Ervin Varga
Paperback $49.99

Pagination Links