A Concise Introduction to Software Engineering
This text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required ...
Lee mas
Advanced Software Engineering: Expanding the Frontiers of Software Technology
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
Advances in Production Management Systems. Towards Smart and Digital Manufacturing
Part II: the Operator 4.0: new physical and cognitive evolutionary paths; digital transformation approaches in production ...
Lee mas
Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...
Lee mas
Agent-Oriented Software Engineering V
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...
Lee mas
Agent-Oriented Software Engineering VIII : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
Lee mas
An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering introduces software engineering to advanced-level undergraduate and graduate ...
Lee masAnti-fragile ICT Systems
This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions ...
Lee mas
Anti-fragile ICT Systems
Introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their ...
Lee mas
Applications and Usability of Interactive TV : 8th Iberoamerican Conference, jAUTI 2019, Rio de Janeiro, Brazil, October 29–November 1, 2019, Revised Selected Papers
This book constitutes the refereed proceedings of the 8th Iberoamerican Conference on Applications and Usability of Interactive ...
Lee mas
Applied Cryptography and Network Security Workshops : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings
This book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied ...
Lee mas
Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lee mas
Architecting Dependable Systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
Lee mas
Architecture of Computing Systems
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...
Lee mas
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lee mas
Categories for Software Engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
Lee mas
Component Deployment
his volume of Lecture Notes in Computer Science contains the proceedings of the rd 3 Working Conference on Component Deployment ...
Lee mas
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Lee mas
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee mas
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee mas
