Software Engineering books

15219 books were found.

Software Engineering for Modern Web Applications: Requirement, Design, and Implementation

Software Engineering for Modern Web Applications: Requirement,...
Author: Mohammed Adnan Moreb ISBN: 9781668448441 Format: Hardback	$364.10
Read More >>

Formal Concept Analysis: Mathematical Foundations

Formal Concept Analysis: Mathematical Foundations
Author: Bernhard Ganter , Rudolf Wille ISBN: 9783031634215 Format: Hardback	$171.57
Formal Concept Analysis is a field of applied mathematics based on the mathematization of concept and conceptual... Read More >>

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium: Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers

Software Architecture. ECSA 2023 Tracks, Workshops,...
Author: Bedir Tekinerdoğan , Romina Spalazzese ISBN: 9783031663253 Format: Paperback	$211.17
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 17th European... Read More >>

Service Science: CCF 17th International Conference, ICSS 2024, Hong Kong, China, May 11–12, 2024, Revised Selected Papers

Service Science: CCF 17th International Conference,...
Author: Jianping Wang , Bin Xiao ISBN: 9789819757596 Format: Paperback	$211.17
This book constitutes of the revised selected papers presented at the CCF 17th International Conference on Service... Read More >>

Telepresence: Actual and Virtual: Promises and Perils of Converging New Realities

Telepresence: Actual and Virtual: Promises and Perils...
Author: Thomas B. Sheridan ISBN: 9781032286280 Format: Paperback	$96.99
1. EARLY HISTORY OF ROBOTIC TELEPRESENCE AND VIRTUAL REALITY. 2. ELEMENTS OF THE TECHNOLOGY. 3. WHAT IS TELEPRESENCE?... Read More >>

Simulation nichtlinearer Schaltungen in der Leistungselektronik mit Python: Ein Open-Source-Simulator, basierend auf Python™

Simulation nichtlinearer Schaltungen in der Leistungselektronik...
Author: Shivkumar V. Iyer ISBN: 9783031589805 Format: Hardback	$237.57
Es schließt eine Informationslücke, indem es die Entwicklung von Python Power Electronics beschreibt, einer Open-Source-Software... Read More >>

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments:...
Author: Andrew Reynolds , Serdar Tasiran ISBN: 9783031660634 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE... Read More >>

Automatisiertes Fahren 2024: Engineering Level X

Automatisiertes Fahren 2024: Engineering Level X
Author: Alexander Heintzel ISBN: 9783658451950 Format: Paperback	$369.57
Read More >>

Green Software Engineering: Exploring Green Technology for Sustainable IT Solutions

Green Software Engineering: Exploring Green Technology...
Author: Santiago Fontanarrosa ISBN: 9781835885888 Format: Paperback	$126.69
Craft sustainable software and reduce digital environmental impact with practical strategies and principles Key... Read More >>

Coding Dimensions and the Power of Finite Element, Volume, and Difference Methods

Coding Dimensions and the Power of Finite Element, Volume,...
Author: Abdulsattar Abdullah Hamad , Sudan Jha ISBN: 9798369349014 Format: Paperback	$554.40
Offers a comprehensive understanding and hands-on experience with numerical methods, empowering you to push the... Read More >>

Advanced Network Technologies and Intelligent Computing: Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part IV

Advanced Network Technologies and Intelligent Computing:...
Author: Anshul Verma , Pradeepika Verma ISBN: 9783031640667 Format: Paperback	$224.37
The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of... Read More >>

Advanced Network Technologies and Intelligent Computing: Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part II

Advanced Network Technologies and Intelligent Computing:...
Author: Anshul Verma , Pradeepika Verma ISBN: 9783031640636 Format: Paperback	$224.37
The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of... Read More >>

Advanced Network Technologies and Intelligent Computing: Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I

Advanced Network Technologies and Intelligent Computing:...
Author: Anshul Verma , Pradeepika Verma ISBN: 9783031640759 Format: Paperback	$224.37
The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of... Read More >>

Advanced Network Technologies and Intelligent Computing: Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part III

Advanced Network Technologies and Intelligent Computing:...
Author: Anshul Verma , Pradeepika Verma ISBN: 9783031640698 Format: Paperback	$224.37
The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of... Read More >>

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

Computer Aided Verification: 36th International Conference,...
Author: Arie Gurfinkel , Vijay Ganesh ISBN: 9783031656323 Format: Paperback	$131.97
This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification,... Read More >>

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

Computer Aided Verification: 36th International Conference,...
Author: Arie Gurfinkel , Vijay Ganesh ISBN: 9783031656262 Format: Paperback	$131.97
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided... Read More >>

Challenges of Software Verification

Challenges of Software Verification
Author: Vincenzo Arceri , Agostino Cortesi ISBN: 9789811996030 Format: Paperback	$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: 9783031301698 Format: Paperback	$171.57
Read More >>

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Computer Aided Verification: 36th International Conference,...
Author: Arie Gurfinkel , Vijay Ganesh ISBN: 9783031656293 Format: Paperback	$131.97
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided... Read More >>

DSP 320F28335 Programming

DSP 320F28335 Programming
Author: Majid Pakdel ISBN: 9788770041973 Format: Paperback	$120.00
This book provides a comprehensive, practical approach to understanding and implementing the programming concepts... Read More >>

Parallel Programming Patterns: Working with Concurrency in OpenMP, MPI, Java, and OpenCL

Parallel Programming Patterns: Working with Concurrency...
Author: Timothy Mattson , Berna Massingill ISBN: 9780321685995 Format: Hardback	$158.37
"From cloud computing to smartphones, today's highest-growth software environments depend on parallel programming.... Read More >>

Learning Kali Linux: Security Testing, Penetration Testing & Ethical Hacking

Learning Kali Linux: Security Testing, Penetration Testing...
Author: Ric Messier ISBN: 9781098154134 Format: Paperback	$158.37
The new edition of this practical book covers updates to the tools, including deeper coverage of reverse engineering.... Read More >>

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated...
Author: Alessandro Aldini ISBN: 9783031660207 Format: Paperback	$118.77
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software... Read More >>

Metaheuristics Algorithm and Optimization of Engineering and Complex Systems

Metaheuristics Algorithm and Optimization of Engineering...
Author: Thanigaivelan R. , Suchithra M. ISBN: 9798369350027 Format: Paperback	$726.00
Examines the critical need for inventive algorithmic solutions, exploring hyperheuristic approaches that offer solutions... Read More >>

Taming Your Dragon: Addressing Your Technical Debt

Taming Your Dragon: Addressing Your Technical Debt
Author: Dr. Andrew Richard Brown ISBN: 9798868802638 Format: Paperback	$142.29
Technical debt is an often-overlooked problem that the software industry needs to take more seriously. All organizations... Read More >>

Page 10 of 609 ... 5 6 7 8 9 10 11 12 13 14 ...

Sub Categories for

Software Engineering

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now