Electronic Books

Total Books: 1 - 20 /104

A Concise Introduction to Software Engineering

This text focuses on the essential elements, providing readers with the basic skills and introductory knowledge required ...

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 ...

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 ...

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 ...

Agent-Oriented Software Engineering V

The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...

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 ...

An Integrated Approach to Software Engineering

An Integrated Approach to Software Engineering introduces software engineering to advanced-level undergraduate and graduate ...

Anti-fragile ICT Systems

This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions ...

Anti-fragile ICT Systems

Introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their ...

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 ...

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 ...

Architecting Dependable Systems III

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

Architecting Dependable Systems V

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...

Architecture of Computing Systems

This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...

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 ...

Categories for Software Engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...

Component Deployment

his volume of Lecture Notes in Computer Science contains the proceedings of the rd 3 Working Conference on Component Deployment ...

Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

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 ...

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 ...

Total Books: 1 - 20 /104