Software Engineering books

15219 books were found.

Challenges of Software Verification

Challenges of Software Verification
Author: Vincenzo Arceri , Agostino Cortesi ISBN: 9789811996009 Format: Hardback	$448.77
Indeed, several verification tools have been proposed by the research community and any software application, in... Read More >>

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking...
Author: Marieke Huisman , Anton Wijs ISBN: 9783031301667 Format: Hardback	$181.10
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness... Read More >>

Metaverse Testing

Metaverse Testing
Author: Ajay Pandey ISBN: 9789355515674 Format: Paperback	$92.27
A complete resource for testing metaverse platforms and products DESCRIPTION The metaverse is an emerging... Read More >>

Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development

Safety and Security of Cyber-Physical Systems: Engineering...
Author: Frank J. Furrer ISBN: 9783658371845 Format: Paperback	$103.47
Read More >>

Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings

Tests and Proofs: 17th International Conference, TAP...
Author: Virgile Prevosto , Cristina Seceleanu ISBN: 9783031388279 Format: Paperback	$116.41
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation... Read More >>

Excel in Perfektion: Beispiele, Tipps und Tricks aus der Praxis

Excel in Perfektion: Beispiele, Tipps und Tricks aus...
Author: Harald Nahrstedt ISBN: 9783658421120 Format: Paperback	$105.57
Read More >>

Optimising the Software Development Process with Artificial Intelligence

Optimising the Software Development Process with Artificial...
Author: José Raúl Romero , Inmaculada Medina-Bulo ISBN: 9789811999475 Format: Hardback	$388.10
This book offers a practical introduction to the use of artificial intelligence (AI) techniques to improve and optimise... Read More >>

IoT as a Service: 8th EAI International Conference, IoTaaS 2022, Virtual Event, November 17-18, 2022, Proceedings

IoT as a Service: 8th EAI International Conference,...
Author: Khaled Rabie , Rupak Kharel ISBN: 9783031371387 Format: Paperback	$142.29
Read More >>

Software Technologies: 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers

Software Technologies: 17th International Conference,...
Author: Hans-Georg Fill , Marten van Sinderen ISBN: 9783031372308 Format: Paperback	$168.16
Read More >>

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Computer Aided Verification: 35th International Conference,...
Author: Constantin Enea , Akash Lal ISBN: 9783031377020 Format: Paperback	$131.97
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International... Read More >>

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

Computer Aided Verification: 35th International Conference,...
Author: Constantin Enea , Akash Lal ISBN: 9783031377082 Format: Paperback	$90.54
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International... Read More >>

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

Computer Aided Verification: 35th International Conference,...
Author: Constantin Enea , Akash Lal ISBN: 9783031377051 Format: Paperback	$90.54
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International... Read More >>

The Technical–Business Equilibrium: Mastering the Art of Balancing Technical Expertise and Business Priorities

The Technical–Business Equilibrium: Mastering the Art...
Author: Temidayo Adefioye ISBN: 9781484296530 Format: Paperback	$92.37
Read More >>

Networks and Systems in Cybernetics: Proceedings of 12th Computer Science On-line Conference 2023, Volume 2

Networks and Systems in Cybernetics: Proceedings of...
Author: Radek Silhavy , Petr Silhavy ISBN: 9783031353161 Format: Paperback	$465.72
The Networks and Systems in Cybernetics section continues to be a highly relevant and rapidly evolving area of research,... Read More >>

Software Architecture. ECSA 2022 Tracks and Workshops: Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers

Software Architecture. ECSA 2022 Tracks and Workshops:...
Author: Thais Batista , Tomáš Bureš ISBN: 9783031368882 Format: Paperback	$181.10
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European... Read More >>

Parallel Computational Technologies: 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28–30, 2023, Revised Selected Papers

Parallel Computational Technologies: 17th International...
Author: Leonid Sokolinsky , Mikhail Zymbler ISBN: 9783031388637 Format: Paperback	$237.57
Read More >>

Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings

Graph Transformation: 16th International Conference,...
Author: Maribel Fernández , Christopher M. Poskitt ISBN: 9783031367083 Format: Paperback	$184.77
Read More >>

Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection: 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12–14, 2023, Proceedings

Advances in Practical Applications of Agents, Multi-Agent...
Author: Philippe Mathieu , Frank Dignum ISBN: 9783031376153 Format: Paperback	$181.10
This book constitutes the proceedings of the 21st International Conference on Practical Applications of Agents and... Read More >>

Information Systems Security and Privacy: 7th International Conference, ICISSP 2021, Virtual Event, February 11–13, 2021, and 8th International Conference, ICISSP 2022, Virtual Event, February 9–11, 2022, Revised Selected Papers

Information Systems Security and Privacy: 7th International...
Author: Paolo Mori , Gabriele Lenzini ISBN: 9783031378065 Format: Paperback	$142.29
This book includes extended and revised versions of selected papers from the 7th and 8th edition of the International... Read More >>

Well-Grounded Python Developer, The

Well-Grounded Python Developer, The
Author: Doug Farrell ISBN: 9781617297441 Format: Paperback	$131.97
When you're new to Python, it can be tough to understand where and how to use its many language features. There's... Read More >>

Docs-as-Ecosystem: The Community Approach to Engineering Documentation

Docs-as-Ecosystem: The Community Approach to Engineering...
Author: Alejandra Quetzalli ISBN: 9781484293270 Format: Paperback	$105.57
Read More >>

Exam Ref DP-500 Designing and Implementing Enterprise-Scale Analytics Solutions Using Microsoft Azure and Microsoft Power BI

Exam Ref DP-500 Designing and Implementing Enterprise-Scale...
Author: Daniil Maslyuk , Justin Frebault ISBN: 9780138097370 Format: Paperback	$118.77
Prepare for Microsoft Exam DP-500 and demonstrate your real-world ability to design, create, and deploy enterprise-scale... Read More >>

Software Engineering Research in System Science: Proceedings of 12th Computer Science On-line Conference 2023, Volume 1

Software Engineering Research in System Science: Proceedings...
Author: Radek Silhavy , Petr Silhavy ISBN: 9783031353109 Format: Paperback	$580.77
The latest advancements in software engineering are featured in this book, which contains the refereed proceedings... Read More >>

Artificial Intelligence Application in Networks and Systems: Proceedings of 12th Computer Science On-line Conference 2023, Volume 3

Artificial Intelligence Application in Networks and...
Author: Radek Silhavy , Petr Silhavy ISBN: 9783031353130 Format: Paperback	$580.77
The application of artificial intelligence in networks and systems is a rapidly evolving field that has the potential... Read More >>

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection: International Workshops of PAAMS 2023, Guimaraes, Portugal, July 12–14, 2023, Proceedings

Highlights in Practical Applications of Agents, Multi-Agent...
Author: Dalila Durães , Alfonso González-Briones ISBN: 9783031375927 Format: Paperback	$142.29
This book constitutes the refereed proceedings of the International Workshops on Highlights in Practical Applications... Read More >>

Page 37 of 609 ... 32 33 34 35 36 37 38 39 40 41 ...

Sub Categories for

Software Engineering

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now