Søk: 'Formal Methods for Open Object-Based Distributed Systems'
-
Formal Methods for Open Object-Based Distributed Systems
ISBN 9783540204916 , 2003 , Elie Najm, Uwe Nestmann, Perdita Stevens
-
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
ISBN 9781447166863 , 2018 , Peter Csaba Olveczky
-
SDL: Formal Object-oriented Language for Communicating Systems
ISBN 9780136213840 , 1997 , Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma
-
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.
-
Formal methods in systems engineering
ISBN 9783540197515 , 1993 , Peter Ryan
-
Distributed Operating Systems
ISBN 9788177581799 , 2009 , Andrew S. Tanenbaum
-
Distributed Operating Systems
ISBN 9780132199087 , 1994 , Andrew S. Tannenbaum
-
Statistical Methods for Recommender Systems
ISBN 9781107036079 , 2016 , Deepak K. Agarwal, Bee-Chung Chen
-
Distributed Systems: Principles and Paradigms
ISBN 9781530281756 , 2016 , Andrew S. Tanenbaum, Maarten van Steen
-
Formal Methods Applications and Technology
ISBN 9783540709510 , 2007 , Boudewijn R. Haverkort, Lubos Brim,m.fl.
-
Distributed Systems: Concepts and Design
ISBN 9780132143011 , 2011 , Tim Kindberg, George F. Coulouris, Jean Dollimore,m.fl.
-
Distributed Systems: Concepts And Design
ISBN 9780321263544 , 2005 , Tim Kindberg, George F. Coulouris, Jean Dollimore
-
Distributed Systems: Pearson New International Edition
ISBN 9781292025520 , 2013 , Andrew S Tanenbaum
-
Distributed systems: concepts and design
ISBN 9780201619188 , 2001 , Tim Kindberg, George F. Coulouris, Jean Dollimore
-
Distributed Systems: Principles and Paradigms
ISBN 9780136135531 , 2006 , Maarten van Steen, Andrew S 1944- Tanenbaum
-
Distributed systems: principles and paradigms
ISBN 9780132392273 , 2006 , Andrew S. Tanenbaum, Maarten van Steen
-
Applications for Distributed Systems and Network Management
ISBN 9780471286394 , 1994 , Kornel Terplan, Jill Huntington-Lee
-
Applications for Distributed Systems and Network Management
ISBN 9780442018733 , 1994 , Kornel Terplan, Jill Huntington-Lee
-
A Formal Approach to Object-oriented Software Engineering
ISBN 9783826585753 , 2001 , Alexander Knapp
-
Principles of Distributed Database Systems
ISBN 9780136079385 , 1999 , M. Tamer Ozsu, Patrick Valduriez
-
Distributed Systems: Principles and Paradigms
ISBN 9780131217867 , 2002 , Andrew S. Tanenbaum, Maarten van Steen,m.fl.
-
Security Engineering: A Guide to Building Dependable Distributed Systems
ISBN 9781119642787 , 2021 , Ross Anderson
-
Distributed Systems: Concepts and Design
ISBN 9780201624335 , 1994 , Tim Kindberg, George F. Coulouris, Jean Dollimore
-
Iterative Methods for Sparse Linear Systems
ISBN 9780898715347 , 2003 , Yousef Saad
-
Mathematical Methods 1
ISBN 9781839610004 , 2019 , 1. utgave , Hans Hornaes
-
Distributed Acoustic Sensing in Geophysics: Methods and Applications
ISBN 9781119521792 , 2022
-
E-Business and Distributed Systems Handbook: E-Business and Distributed Systems Handbook: Integration Module
ISBN 9780972741446 , 2003 , Amjad Umar
-
Open Source Intelligence Methods and Tools: A Practical Guide to Online Intelligence
ISBN 9781484232125 , 2018 , Nihad A. Hassan, Rami Hijazi
-
monitoring and control of spatially distributed systems
ISBN 9789812771827 , 2009 , Dan S. Necsulescu