Carregant...

Codi QR

Formal techniques in real-time and fault tolerant systems /

Dades bibliogràfiques
Autor principal:	Joseph, Mathai
Format:	Printed Book
Idioma:	English
Publicat:	New York : Springer , 2000.
Matèries:	Real-time systems

Ítems similars

Real- time systems
per: Liu, Jane W.S
Publicat: (2003)

Real Time Systems, Management and Design
per: Tebbs, David
Publicat: (1977)

Real-Time systems: Theory and Practice
per: Mall, Rajib
Publicat: (2013)

Reliability and fault-tolerance issues in real-time systems
per: Viswanadham, N; Ed
Publicat: (1987)

Real-time systems /
per: Liu, Jane W S.
Publicat: (2001)

Real-time systems /
per: Krishna, C. M.
Publicat: (1997)

Real-time systems /
per: Krishna, C M .
Publicat: (1997)

Handbook of real-time and embedded systems /
per: Lee, Insup
Publicat: (2008)

Real time programming languages, specifications and verification
per: Shyamasundar, R K
Publicat: (2010)

Real-Time systems /
per: Liu, Jane W. S.
Publicat: (2000)

Real-time systems :
per: Olderog, E.-R
Publicat: (2008)

introduction to real-time systems: from design to multitasking with C/C++
per: Buhr, R.J.A
Publicat: (1999)

Real-time embedded systems Open-source operating systems perspective
per: Bertolotti, Ivan Cibrario
Publicat: (2012)

Real-time systems development /
per: Williams, Rob
Publicat: (2009)

Real time transaction procesiing
per: Thorin,Marc

Real-Time systems /
per: Liu, Jane W. S.
Publicat: (2013)

Real-time systems design and analysis: an engineer`s handbook
per: Laplante, Philip A; Author
Publicat: (2002)

Resource management in real-time systems and networks /
per: Murthy, C. Siva Ram
Publicat: (2001)

Resource management in real-time systems and networks /
per: Murthy, C. Siva Ram
Publicat: (2005)

HAND BOOK OF REAL TIME AND EMBEDDED SYSTEMS
per: LEE,INSUP

Real-time embedded system optimization, synthesis, and networking
per: Qiu, Meikang
Publicat: (2011)

Real-time systems symposium proceeding
per: Silver Spring, MD
Publicat: (1985)

3D videocommunication algorithms, concepts and real-time systems in human centred communication /
per: Schreer, Oliver
Publicat: (2005)

Real-time concepts for embedded systems /
per: Li, Qing
Publicat: (2003)

Resource management in real-time systems and networks /
per: Murthy, C. Siva Ram
Publicat: (2001)

Real-time embedded systems : optimization, synthesis, and networking
per: Qiu, Meikang
Publicat: (2011)

Real-time embedded systems : optimization, synthesis, and networking /
per: Qiu, Meikang
Publicat: (2011)

Linux for embedded and real-time applications /
per: Abbott, Doug
Publicat: (2006)

Real-time systems design and analysis:an engineer's handbook
per: Laplante, Phillip A.
Publicat: (2002)

Symbian OS internals : real-time kernel programming /
per: Sales, Jane
Publicat: (2005)

Real-time rendering/
per: Akenine-Möller, Tomas
Publicat: (2008)

Operating systems and services
Publicat: (2000)

Embedded real- time systems: concepts, design and programming
per: Prasad, K V K K.
Publicat: (2010)

Embedded systems development from functional models to implementations
per: Sangiovanni-Vincentelli, Alberto;ed...[et.al]
Publicat: (2014)

Real-time rendering /
per: Möller, Tomas, 1971-
Publicat: (2002)

Real-time software design for embedded systems /
per: Gomaa, Hassan
Publicat: (2016)

Parallel and Real -Time Distributed Computing.
Publicat: (1992)

Real time UML : advances in the UML for real-time systems /
per: Douglass, Bruce Powel
Publicat: (2012)

Embedded/real-time systems: concepts, design and programming Black book
per: Prasad, K V K K; Author
Publicat: (2005)

Fault Tolerence in distributed systems
per: Pankaj Jalote