Electronic Books

Total Books: 1 - 20 /111
A Concise Introduction to Software Engineering

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

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

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

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

Weiterlesen
Agent-Oriented Software Engineering V

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

Weiterlesen
Agent-Oriented Software Engineering VII

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...

Weiterlesen
Agent-Oriented Software Engineering VII

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...

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

Weiterlesen
An Integrated Approach to Software Engineering

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

Weiterlesen
Anti-fragile ICT Systems

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

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

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

Weiterlesen
Architecting Dependable Systems III

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

Weiterlesen
Architecting Dependable Systems V

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

Weiterlesen
Architecture of Computing Systems

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

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

Weiterlesen
Categories for Software Engineering

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

Weiterlesen
Component Deployment

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

Weiterlesen
Component-Based Software Development for Embedded Systems

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

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

Weiterlesen
Total Books: 1 - 20 /111