Søk: 'Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude'
-
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
ISBN 9781447166863 , 2018 , Peter Csaba Olveczky
-
Formal Methods for Open Object-Based Distributed Systems
ISBN 9783540204916 , 2003 , Elie Najm, Uwe Nestmann, Perdita Stevens
-
Formal methods in systems engineering
ISBN 9783540197515 , 1993 , Peter Ryan
-
Distributed Systems
ISBN 9781543057386 , 2017 , Andrew S. Tanenbaum, Maarten van Steen
-
Distributed Systems
ISBN 9780273760597 , 2011 , Tim Kindberg, George F. Coulouris, Jean Dollimore,m.fl.
-
Swarm Robotics: A Formal Approach
ISBN 9783319745268 , 2018 , Heiko Hamann
-
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
ISBN 9781449373320 , 2017 , 1. utgave , Martin Kleppmann
-
Electronics: A Systems Approach
ISBN 9780273773276 , 2013 , Neil Storey
-
Introduction to Reliable and Secure Distributed Programming
ISBN 9783642423277 , 2014 , Christian Cachin, Luis Rodrigues
-
Introduction to Reliable and Secure Distributed Programming
ISBN 9783642152597 , 2011 , Christian Cachin, Luis Rodrigues
-
Enterprise information systems : a pattern-based approach
ISBN 9780071111201 , 2004 , Cheryl Dunn, Anita Sawyer Hollander
-
Mutiagent Systems: A Modern Approach to Distributed Artificial Intelligence
ISBN 9780262731317 , 2000 , Gerhard Weiss
-
Distributed Operating Systems
ISBN 9788177581799 , 2009 , Andrew S. Tanenbaum
-
Econometric Modeling: A Likelihood Approach
ISBN 9780691130897 , 2007 , David F. Hendry, Bent Nielsen
-
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
ISBN 9781491903100 , 2017 , Martin Kleppmann
-
Concurrent systems: operating systems, database and distributed systems--an integrated approach
ISBN 9780201177671 , 1998 , Jean Bacon
-
The Practice of Cloud System Administration: Designing and Operating Large Distributed Systems
ISBN 9780321943187 , 2014 , Strata R. Chalup, Christina J. Hogan
-
Electronics: A Systems Approach
ISBN 9781292114064 , 2017 , Neil Storey
-
Electronics: a systems approach
ISBN 9780273719182 , 2009 , Neil Storey
-
Distributed Operating Systems
ISBN 9780132199087 , 1994 , Andrew S. Tannenbaum
-
Working With Parents in Therapy: A Mentalization-Based Approach
ISBN 9781433836114 , 2023 , Elliot Jurist, Norka Malberg, Jordan Bate,m.fl.
-
Distributed Acoustic Sensing in Geophysics: Methods and Applications
ISBN 9781119521792 , 2022
-
Agent-Based and Individual-Based Modeling: A Practical Introduction
ISBN 9780691136745 , 2011 , Steven F. Railsback, Volker Grimm
-
A Formal Approach to Hardware Design
ISBN 9780792394273 , 1994 , Jørgen Staunstrup
-
Electronics: A Systems Approach
ISBN 9780131293960 , 2006 , Neil Storey
-
Designing Social Systems in a Changing World
ISBN 9780306452512 , 1996 , Banathy Bela H.
-
Econometric modeling: a likelihood approach
ISBN 9780691131283 , 2007
-
Security Engineering: A Guide to Building Dependable Distributed Systems
ISBN 9781119642787 , 2021 , Ross Anderson
-
Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling
ISBN 9783540718673 , 2007 , Óscar Pastor, Juan Carlos Molina
-
Research in University Pedagogy: Towards a Discipline-based Approach?
ISBN 9781786307934 , 2023