Lataa...

QR-koodi

Concurrent and realtime systems: the CSP approach

Bibliografiset tiedot
Päätekijä:	Schneider, Steve
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Chichester John Wiley 2000
Aiheet:	Communicating sequential processes (CSP) > Real time computation > Computer science

Samankaltaisia teoksia

Understanding concurrent systems /
Tekijä: Roscoe, A. W.
Julkaistu: (2010)

Real- time systems
Tekijä: Liu, Jane W.S
Julkaistu: (2003)

Concurrent and real-time programming in Java
Tekijä: Wellings, Andy; Author
Julkaistu: (2004)

Operating systems and services
Julkaistu: (2000)

Real-time systems /
Tekijä: Krishna, C M .
Julkaistu: (1997)

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

Real-time systems /
Tekijä: Liu, Jane W S.
Julkaistu: (2001)

Real-time systems /
Tekijä: Krishna, C. M.
Julkaistu: (1997)

Real-Time systems /
Tekijä: Liu, Jane W. S.
Julkaistu: (2000)

Real-time systems :
Tekijä: Olderog, E.-R
Julkaistu: (2008)

Real-time embedded systems : optimization, synthesis, and networking
Tekijä: Qiu, Meikang
Julkaistu: (2011)

Communicating sequential processes
Tekijä: Hoare, C A R
Julkaistu: (1989)

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

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

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

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

Complexity and real computation /
Julkaistu: (1998)

Verification of sequential and concurrent programs /
Tekijä: Gries, David .
Julkaistu: (1991)

Real-Time systems /
Tekijä: Liu, Jane W. S.
Julkaistu: (2013)

Embedded real- time systems: concepts, design and programming
Tekijä: Prasad, K V K K.
Julkaistu: (2010)

Real-time systems symposium proceeding
Tekijä: Silver Spring, MD
Julkaistu: (1985)

Proceedings of the international school of physics: Data acquisition in high-energy physics
Tekijä: Bologna, G, Ed
Julkaistu: (1983)

Real-time rendering /
Tekijä: Möller, Tomas, 1971-
Julkaistu: (2002)

Real-time embedded systems : optimization, synthesis, and networking /
Tekijä: Qiu, Meikang
Julkaistu: (2011)

The theory and practice of concurrency /
Tekijä: Roscoe, A. W.
Julkaistu: (1998)

Complexity and real computation /
Tekijä: Blum, Lenore
Julkaistu: (1998)

Real Time Systems, Management and Design
Tekijä: Tebbs, David
Julkaistu: (1977)

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

Real-time rendering/
Tekijä: Akenine-Möller, Tomas
Julkaistu: (2008)

Real-time embedded system optimization, synthesis, and networking
Tekijä: Qiu, Meikang
Julkaistu: (2011)

Formal techniques in real-time and fault tolerant systems /
Tekijä: Joseph, Mathai
Julkaistu: (2000)

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

Real-time software design for embedded systems /
Tekijä: Gomaa, Hassan
Julkaistu: (2016)

The art of concurrency /
Tekijä: Breshears, Clay
Julkaistu: (2010)

Sequential methods and their applications
Tekijä: Mukhopadhyay, Nitis
Julkaistu: (2009)

Sequential analysis: hypothesis testing and changepoint detection
Tekijä: Tartakovsky, Alexander
Julkaistu: (2015)

Sequential nonparametrics: invariance principles and statistical inference
Tekijä: Sen, Pranab Kumar
Julkaistu: (1981)

Sequential analysis
Tekijä: Wald, Abraham
Julkaistu: (1947)

SEQUENTIAL ANALYSIS
Tekijä: WALD,Abraham
Julkaistu: (1947)

Realtime Systems
Tekijä: Sponsored By IEEE
Julkaistu: (1990)