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
-
Formal methods in systems engineering
ISBN 9783540197515 , 1993 , Peter Ryan
-
Distributed Systems
ISBN 9780273760597 , 2011 , Tim Kindberg, George F. Coulouris, Jean Dollimore,m.fl.
-
Distributed Operating Systems
ISBN 9788177581799 , 2009 , Andrew S. Tanenbaum
-
Distributed Operating Systems
ISBN 9780132199087 , 1994 , Andrew S. Tannenbaum
-
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
-
A Formal Approach to Object-oriented Software Engineering
ISBN 9783826585753 , 2001 , Alexander Knapp
-
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
-
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
-
Distributed systems: concepts and design
ISBN 9780201619188 , 2001 , Tim Kindberg, George F. Coulouris, Jean Dollimore
-
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.
-
Iterative Methods for Sparse Linear Systems
ISBN 9780898715347 , 2003 , Yousef Saad
-
A DRM Architecture Based on Open Standards: Contribution to an Architecture for Multimedia Information Management and Protection Based on Open Standards
ISBN 9783639139594 , 2009 , Víctor Torres Padrosa
-
monitoring and control of spatially distributed systems
ISBN 9789812771827 , 2009 , Dan S. Necsulescu
-
Information Flow: The Logic of Distributed Systems
ISBN 9780521070997 , 2008 , Jon Barwise, Jerry Seligman
-
Concurrent systems: operating systems, database and distributed systems--an integrated approach
ISBN 9780201177671 , 1998 , Jean Bacon
-
Operating Systems: Concurrent and Distributed Software Disign
ISBN 9780321117892 , 2003 , Jean Bacon, Tim Harris
-
Organizations: Rational, Natural, and Open Systems
ISBN 9780131218031 , 2003 , David Levine, W. Richard Scott, Stephen Beach
-
Chaos-Based Digital Communication Systems: Operating Principles, Analysis Methods, and Performance Evaluation
ISBN 9783540006022 , 2003 , Francis C. M. Lau, Chi Kong Tse
-
Information Flow: The Logic of Distributed Systems
ISBN 9780521583862 , 1997 , C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel,m.fl.
-
Hardware-Software Co-Synthesis of Distributed Embedded Systems
ISBN 9781441951670 , 2010 , Wayne Wolf
-
Organizations and Organizing: Rational, Natural and Open Systems
ISBN 9780132329026 , 2006 , W. Richard Scott, Ann Arbor),m.fl.
-
A Finite Element Framework for Geotechnical Applications Based on Object-orientated Programming
ISBN 9783728128287 , 2002 , Peter Fritz, Xiong Zheng
-
Applied Optimal Control Theory of Distributed Systems
ISBN 9780306439933 , 1993 , K. A. Lurie