Advances in Information Systems Development
This volume features a collection of papers on emerging concepts, significant insights, novel approaches and ideas in information ...
Weiterlesen
Architecting Dependable Systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Weiterlesen
Conceptual Modelling in Information Systems Engineering
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
Weiterlesen
Conceptual Modelling in Information Systems Engineering
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...
Weiterlesen
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, ...
Weiterlesen
Guide to Software Systems Development
This book argues that the key problems of software systems development (SSD) are socio-technical rather than purely technical ...
Weiterlesen
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 ...
Weiterlesen
Model Driven Architecture - Foundations and Applications
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
Weiterlesen
Python Crash Course / Eric Matthes
Fast-paced, thorough introduction to programming with Python will have you writing code, solving problems, and making cool ...
Weiterlesen
The Making of Information Systems
"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being ...
Weiterlesen
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, ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
