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