Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Continue reading
Software Engineering 1
Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...
Continue reading
Software Engineering and Middleware
Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...
Continue reading
Software Engineering for Multi-Agent Systems V
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
Continue reading
Spatial Cognition VI. Learning, Reasoning, and Talking about Space : International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
This book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...
Continue reading
Squeak: Learn Programming with Robots
Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...
Continue reading
Static Analysis
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Continue reading
SystemC Kernel Extensions for Heterogeneous System Modeling
SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand ...
Continue reading
The Arché Papers on the Mathematics of Abstraction
This volume collects together a number of important papers concerning both the method of abstraction generally and the use ...
Continue reading
The Enigma of Good and Evil: The Moral Sentiment in Literature
At the roots of these questions lies human experience which ought to be appropriately clarified before entering into speculative ...
Continue reading
The Role of Mathematics in Physical Sciences
Even though mathematics and physics have been related for centuries and this relation appears to be unproblematic, there ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Transaction-Level Modeling with SystemC
The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
Continue readingUndergraduate Algebra
Undergraduate Algebra is a text for the standard undergraduate algebra course. It concentrates on the basic structures and ...
Continue reading
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Continue reading
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Continue reading
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Continue reading
