Advances in Information Systems Development
This volume features a collection of papers on emerging concepts, significant insights, novel approaches and ideas in information ...
Lire la suite
Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lire la suite
Conceptual Modelling in Information Systems Engineering
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
Lire la suite
Conceptual Modelling in Information Systems Engineering
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
Lire la suite
Ethics for People Who Work in Tech / Marc Steen
This book is for people who work in the tech industry—computer and data scientists, software developers and engineers, ...
Lire la suite
Guide to Software Systems Development
This book argues that the key problems of software systems development (SSD) are socio-technical rather than purely technical ...
Lire la suite
Introduction to C++ : 500+ Difficulty-Scaled Solved Programming Exercises / George S. Tselikis
Includes more than 500 exercises and examples of progressive difficulty to aid the reader in understanding the C++ principles ...
Lire la suite
Model Driven Architecture - Foundations and Applications
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
Lire la suite
Python Crash Course / Eric Matthes
Fast-paced, thorough introduction to programming with Python will have you writing code, solving problems, and making cool ...
Lire la suite
The Making of Information Systems
"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)
This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suite
ZB 2005: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Lire la suite
