681- 700 of 6898 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#12479 in Series
Paperback $54.99
Title: Flex 3, Author: Jon A. Phillips
QUICK ADD
Flex 3
by Jon A. Phillips, Michele E. Davis
Explore Series
Paperback $47.00
Title: Foundations and Practice of Security: 5th International Symposium on Foundations and Practice of Security, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers, Author: Joaquin Garcia-Alfaro
QUICK ADD
Foundations and Practice of…
by Joaquin Garcia-Alfaro (Editor), Frederic Cuppens (Editor), Nora Cuppens-Boulahia (Editor), Ali Miri (Editor), Nadia Tawbi (Editor)
#7743 in Series
Paperback $54.99
Title: CyberSecurity in a DevOps Environment: From Requirements to Monitoring, Author: Andrey Sadovykh
QUICK ADD
CyberSecurity in a DevOps…
by Andrey Sadovykh (Editor), Dragos Truscan (Editor), Wissam Mallouli (Editor), Ana Rosa Cavalli (Editor), Cristina Seceleanu (Editor)
eBook $189.00
Title: Software Development Measurement Programs: Development, Management and Evolution, Author: Miroslaw Staron
QUICK ADD
Software Development…
by Miroslaw Staron, Wilhelm Meding
Hardcover $69.99
Title: Investitionsmanagement mit SAP inkl. Neuerungen in SAP S/4HANA - 2., erweiterte Auflage, Author: Robin Schneider
QUICK ADD
Investitionsmanagement mit SAP…
by Robin Schneider
eBook $21.99
Title: Der Aufstieg der Open Source Software, Author: IntroBooks Team
QUICK ADD
Der Aufstieg der Open Source…
by IntroBooks Team
eBook $3.99
Title: Digital Product Management in the Era of Data Economy, Artificial Intelligence, and Ecosystems: First International Conference on Digital Product Management, ICDPM 2024, Gothenburg, Sweden, June 12, 2024, Proceedings, Author: Dimitri Petrik
QUICK ADD
Digital Product Management in…
by Dimitri Petrik (Editor), Andrey Saltan (Editor), Andreas Helferich (Editor)
#528 in Series
Paperback $54.99
Title: Software Engineering: Evolution and Emerging Technologies, Volume 130 Frontiers in Artificial Intelligence and Applications, Author: Krzysztof Zielinski
QUICK ADD
Software Engineering:…
by Krzysztof Zielinski (Editor), Tomasz Szmuc (Editor)
Hardcover $151.00
Title: DevOps for Developers, Author: Michael Hïttermann
QUICK ADD
DevOps for Developers
by Michael Hïttermann
eBook $44.99
Title: C++ Memory Management: A Comprehensive Guide to Manual Allocation, Smart Pointers, RAII, Move Semantics, Custom Allocators, and Best Practices, Author: Drew A. Parker
QUICK ADD
C++ Memory Management: A…
by Drew A. Parker
#2 in Series
eBook $9.99
Title: Parallel Processing and Applied Mathematics: 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II, Author: Roman Wyrzykowski
QUICK ADD
Parallel Processing and…
by Roman Wyrzykowski (Editor), Jack Dongarra (Editor), Ewa Deelman (Editor), Konrad Karczewski (Editor)
#10778 in Series
Paperback $54.99
Title: Rationale-Based Software Engineering, Author: Janet E. Burge
QUICK ADD
Rationale-Based Software…
by Janet E. Burge, John M. Carroll, Raymond McCall, Ivan Mistrík
Paperback $109.99
Title: Continuous Software Engineering, Author: Jan Bosch
QUICK ADD
Continuous Software…
by Jan Bosch (Editor)
Paperback $54.99
Title: Software Security for Developers: With examples in Java and Spring, Author: Adib Saikali Pre-Order Now
QUICK ADD
Software Security for…
by Adib Saikali, Laurentiu Spilca
Paperback $59.99
Title: Programming Phoenix: Productive > Reliable > Fast, Author: Chris McCord
QUICK ADD
Programming Phoenix:…
by Chris McCord, Bruce Tate, Jose Valim
eBook $28.99
Title: Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings, Author: Sidney C. Nogueira
QUICK ADD
Formal Methods: Foundations…
by Sidney C. Nogueira (Editor), Ciprian Teodorov (Editor)
#15403 in Series
eBook $64.99
Title: Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers, Author: Amel Bennaceur
QUICK ADD
Machine Learning for Dynamic…
by Amel Bennaceur (Editor), Reiner Hähnle (Editor), Karl Meinke (Editor)
#11026 in Series
eBook $64.99
Title: Software Architecture: 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022, Proceedings, Author: Ilias Gerostathopoulos
QUICK ADD
Software Architecture: 16th…
by Ilias Gerostathopoulos (Editor), Grace Lewis (Editor), Thais Batista (Editor), Tomás Bures (Editor)
#13444 in Series
Paperback $54.99
Title: Smartphone-Based Indoor Map Construction: Principles and Applications, Author: Ruipeng Gao
QUICK ADD
Smartphone-Based Indoor Map…
by Ruipeng Gao, Fan Ye, Guojie Luo, Jason Cong
Explore Series
Paperback $54.99

Pagination Links