realme  (2 752 Angebote unter 17 260 013 Artikeln)

Stochastik ist nicht sexy. Der anonyme Autor widerlegt mittels Heuristik und einer Begleitsoftware auf humorvoll interessante Art die stochastische Unabhängigkeit. Für alle Gambler ein Muss, für Ma...

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 1...

Architectures, Methodologies and Trade-offs

8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

AMAST's goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movem...

Without correct timing, there is no safe and reliable embedded software. This book shows how to consider timing early in the development process for embedded systems, how to solve acute timing prob...

This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995. The 37 selected revised papers are organized i...

Heterogeneous Modeling Support for Embedded Systems Design.- Hierarchical Hybrid Modeling of Embedded Systems.- Some Synchronization Issues When Designing Embedded Systems from Components.- Synchro...

This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bri...

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. The 94 r...

I. Basic Concepts.- A. Dependability -- Its Attributes, Impairments and Means.- References for Chapter 1.- II. Fault Prevention.- A. Analysis of Safety Requirements for Process Control Systems.- B....

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July...

This book constitutes the refereed proceedings of the 36th International Conference  on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 rev...

This conference provides a forum for academics, researchers, and engineers to share and exchange R&D experience on both theoretical studies and practical applications of the ELM technique and brain...

This conference provides a forum for academics, researchers, and engineers to share and exchange R&D experience on both theoretical studies and practical applications of the ELM technique and brain...