1- 20 of 740 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: x64 Assembly Language Step-by-Step: Programming with Linux, Author: Jeff Duntemann
QUICK ADD
x64 Assembly Language…
by Jeff Duntemann
Explore Series
eBook $52.00
Title: Lean Software Systems Engineering for Developers: Managing Requirements, Complexity, Teams, and Change Like a Champ, Author: Doug Durham
QUICK ADD
Lean Software Systems…
by Doug Durham, Chad Michel
eBook $64.99
Title: Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, Author: Fabrizio Biondi
QUICK ADD
Model Checking Software: 26th…
by Fabrizio Biondi (Editor), Thomas Given-Wilson (Editor), Axel Legay (Editor)
#11636 in Series
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#11244 in Series
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#9953 in Series
eBook $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 (Editor), Gábor Kovács (Editor), György Réthy (Editor)
#10567 in Series
eBook $54.99
Title: The Art of Immutable Architecture: Theory and Practice of Data Management in Distributed Systems, Author: Michael L. Perry
QUICK ADD
The Art of Immutable…
by Michael L. Perry
eBook $69.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#11245 in Series
eBook $54.99
Title: Human-Centered and Error-Resilient Systems Development: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Develop, Author: Cristian Bogdan
QUICK ADD
Human-Centered and…
by Cristian Bogdan (Editor), Jan Gulliksen (Editor), Stefan Sauer (Editor), Peter Forbrig (Editor), Marco Winckler (Editor)
#9856 in Series
eBook $54.99
Title: Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings, Author: Reinhard German
QUICK ADD
Measurement, Modelling and…
by Reinhard German (Editor), Kai-Steffen Hielscher (Editor), Udo R. Krieger (Editor)
#10740 in Series
eBook $54.99
Title: Experimentation in Software Engineering, Author: Claes Wohlin
QUICK ADD
Experimentation in Software…
by Claes Wohlin, Per Runeson, Martin Hïst, Magnus C. Ohlsson, Bjïrn Regnell
eBook $89.99
Title: Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings, Author: Nikolai Kosmatov
QUICK ADD
Integrated Formal Methods:…
by Nikolai Kosmatov (Editor), Laura Kovács (Editor)
#15234 in Series
eBook $139.99
Title: Advances in Service-Oriented and Cloud Computing: International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers, Author: Christian Zirpins
QUICK ADD
Advances in Service-Oriented…
by Christian Zirpins (Editor), Iraklis Paraskakis (Editor), Vasilios Andrikopoulos (Editor), Nane Kratzke (Editor), Claus Pahl (Editor)
#1360 in Series
eBook $54.99
Title: A Software Engineer's Guide to Seniority: A Guide to Technical Leadership, Author: Jocelyn Harper
QUICK ADD
A Software Engineer's Guide to…
by Jocelyn Harper
eBook $59.99
Title: Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, Author: Étienne André
QUICK ADD
Automated Technology for…
by Étienne André (Editor), Jun Sun (Editor)
#14216 in Series
eBook $74.99
Title: Model-Based Software Performance Analysis, Author: Vittorio Cortellessa
QUICK ADD
Model-Based Software…
by Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
eBook $54.99
Title: Advances in Conceptual Modeling: ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad, India, October 17-20, 2022, Proceedings, Author: Renata Guizzardi
QUICK ADD
Advances in Conceptual…
by Renata Guizzardi (Editor), Bernd Neumayr (Editor)
#13650 in Series
eBook $59.99
Title: Principles of Big Graph: In-depth Insight, Author: Ripon Patgiri
QUICK ADD
Principles of Big Graph:…
by Ripon Patgiri (Editor), Ganesh Chandra Deka (Editor), Anupam Biswas (Editor)
#128 in Series
eBook $182.00
Title: The IBM i Programmer's Guide to PHP, Author: Jeff Olen
QUICK ADD
The IBM i Programmer's Guide…
by Jeff Olen, Kevin Schroeder
eBook $79.99
Title: Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, Author: Catherine Dubois
QUICK ADD
Tests and Proofs: 12th…
by Catherine Dubois (Editor), Burkhart Wolff (Editor)
#10889 in Series
eBook $54.99

Pagination Links