Electronic Books

Total Books: 61 - 80 /81

Software Architecture

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...

Software Engineering 1

Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...

Software Engineering and Middleware

Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...

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. ...

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, ...

Squeak: Learn Programming with Robots

Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...

Static Analysis

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Transaction-Level Modeling with SystemC

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...

Undergraduate Algebra

Undergraduate Algebra is a text for the standard undergraduate algebra course. It concentrates on the basic structures and ...

Unifying Theories of Programming

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

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, ...

Total Books: 61 - 80 /81