1- 20 of 184 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Author: André Platzer
QUICK ADD
Formal Methods: 26th…
by André Platzer (Editor), Kristin Yvonne Rozier (Editor), Matteo Pradella (Editor), Matteo Rossi (Editor)
#14933 in Series
Paperback $49.99
Title: TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and P, Author: Hartmut Ehrig
QUICK ADD
TAPSOFT '87: Proceedings of…
by Hartmut Ehrig (Editor), Robert Kowalski (Editor), Giorgio Levi (Editor), Ugo Montanari (Editor)
#249 in Series
Paperback $49.99
Title: AI-Powered Developer: Build great software with ChatGPT and Copilot, Author: Nathan B. Crocker
QUICK ADD
AI-Powered Developer: Build…
by Nathan B. Crocker
Paperback $49.99
Title: Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings, Author: Anatoliy Gorbenko
QUICK ADD
Software Engineering for…
by Anatoliy Gorbenko (Editor), Alexander Romanovsky (Editor), Vyacheslav Kharchenko (Editor)
#8166 in Series
Paperback $49.99
Title: Crafting Great APIs with Domain-Driven Design: Collaborative Craftsmanship of Asynchronous and Synchronous APIs, Author: Annegret Junker
QUICK ADD
Crafting Great APIs with…
by Annegret Junker, Fabrizio Lazzaretti
Paperback $49.99
Title: RxJS in Action, Author: Paul P. Daniels
QUICK ADD
RxJS in Action
by Paul P. Daniels, Luis Atencio
Paperback $49.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
Title: Grokking Data Structures, Author: Marcello La Rocca
QUICK ADD
Grokking Data Structures
by Marcello La Rocca
Paperback $49.99
Title: Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I, Author: Sharon Shoham
QUICK ADD
Computer Aided Verification:…
by Sharon Shoham (Editor), Yakir Vizel (Editor)
#13371 in Series
Paperback $49.99
Title: Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Author: Leen Lambers
QUICK ADD
Fundamental Approaches to…
by Leen Lambers (Editor), Sebastiïn Uchitel (Editor)
#13991 in Series
Paperback $49.99
Title: Docker in Practice, Second Edition, Author: Ian Miell
QUICK ADD
Docker in Practice, Second…
by Ian Miell, Aidan Hobson Sayers
Paperback $49.99
Title: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III, Author: Arie Gurfinkel
QUICK ADD
Computer Aided Verification:…
by Arie Gurfinkel (Editor), Vijay Ganesh (Editor)
#14683 in Series
Paperback $49.99
Title: Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings, Author: Mariëlle Stoelinga
QUICK ADD
Formal Methods for Industrial…
by Mariëlle Stoelinga (Editor), Ralf Pinger (Editor)
#7437 in Series
Paperback $49.99
Title: Good Code, Bad Code: Think like a software engineer, Author: Tom Long
QUICK ADD
Good Code, Bad Code: Think…
by Tom Long
Paperback $49.99
Title: Agile Processes in Software Engineering and Extreme Programming: 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings, Author: Viktoria Stray
QUICK ADD
Agile Processes in Software…
by Viktoria Stray (Editor), Rashina Hoda (Editor), Maria Paasivaara (Editor), Philippe Kruchten (Editor)
#383 in Series
Paperback $49.99
Title: Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings, Author: Pieter Van Gorp
QUICK ADD
Modelling Foundations and…
by Pieter Van Gorp (Editor), Tom Ritter (Editor), Louis M Rose (Editor)
#7949 in Series
Paperback $49.99
Title: Go by Example: Programmer's guide to idiomatic and testable code, Author: Inanc Gumus
QUICK ADD
Go by Example: Programmer's…
by Inanc Gumus
Paperback $49.99
Title: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, Author: Constantin Enea
QUICK ADD
Computer Aided Verification:…
by Constantin Enea (Editor), Akash Lal (Editor)
#13964 in Series
Paperback $49.99
Title: Programming Languages and Operational Semantics: A Concise Overview, Author: Maribel Fernández
QUICK ADD
Programming Languages and…
by Maribel Fernández
Explore Series
Paperback $49.99
Title: Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, Author: Michael Felderer
QUICK ADD
Ernst Denert Award for…
by Michael Felderer (Editor), Wilhelm Hasselbring (Editor), Heiko Koziolek (Editor), Florian Matthes (Editor), Lutz Prechelt (Editor)
Paperback $49.99

Pagination Links