Electronic Books

Total Books: 1 - 14 /14

This volume features a collection of papers on emerging concepts, significant insights, novel approaches and ideas in information ...

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

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

This book is for people who work in the tech industry—computer and data scientists, software developers and engineers, ...

This book argues that the key problems of software systems development (SSD) are socio-technical rather than purely technical ...

Includes more than 500 exercises and examples of progressive difficulty to aid the reader in understanding the C++ principles ...

Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...

Fast-paced, thorough introduction to programming with Python will have you writing code, solving problems, and making cool ...

"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being ...

This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...

This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...

Total Books: 1 - 14 /14