21- 40 of 1606 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Vibe Coding: Building Production-Grade Software With GenAI, Chat, Agents, and Beyond, Author: Gene Kim
QUICK ADD
Vibe Coding: Building…
by Gene Kim, Steve Yegge, Dario Amodei (Foreword by)
Paperback $32.00
Title: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Author: Arie Gurfinkel
QUICK ADD
Verified Software: Theories,…
by Arie Gurfinkel (Editor), Sanjit A. Seshia (Editor)
#9593 in Series
Paperback $54.99
Title: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, Author: Dimitra Giannakopoulou
QUICK ADD
Verified Software: Theories,…
by Dimitra Giannakopoulou (Editor), Daniel Kroening (Editor)
#8471 in Series
Paperback $54.99
Title: Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, Author: Ernie Cohen
QUICK ADD
Verified Software: Theorie,…
by Ernie Cohen (Editor), Andrey Rybalchenko (Editor)
#8164 in Series
Paperback $54.99
Title: Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, Author: Andrei Paskevich
QUICK ADD
Verified Software. Theories,…
by Andrei Paskevich (Editor), Thomas Wies (Editor)
#10712 in Series
Paperback $54.99
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
Paperback $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: 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: 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: 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)
Paperback $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: User Guide For iPhone 17 Air Camera: Transform Your Photos and Videos- Actionable Tips for Everyday Users and Aspiring Creators, Author: Joan P. Copley
QUICK ADD
User Guide For iPhone 17 Air…
by Joan P. Copley
#4 in Series
Paperback $15.99
Title: Unraveling Software Maintenance and Evolution: Thinking Outside the Box, Author: Ervin Varga
QUICK ADD
Unraveling Software…
by Ervin Varga
Paperback $49.99
Title: Unifying User Stories, Use Cases, Story Maps: The power of verbs, Author: Alistair Cockburn
QUICK ADD
Unifying User Stories, Use…
by Alistair Cockburn
Paperback $28.00
Title: Unfoldings: A Partial-Order Approach to Model Checking, Author: Javier Esparza
QUICK ADD
Unfoldings: A Partial-Order…
by Javier Esparza, Keijo Heljanko
Explore Series
Paperback $109.99
Title: Understanding the Digital World: Modeling with HERAKLIT, Author: Peter Fettke
QUICK ADD
Understanding the Digital…
by Peter Fettke, Wolfgang Reisig
Paperback $49.99

Pagination Links