QR kód

Concurrent and real-time systems. The CSP approach /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Schneider, Steve
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Chichester : John Wiley & Sons, 2000
Vydání:	[1st ed.]
Edice:	Worldwide series in computer science
Témata:	proces následnej komunikácie > počítačový jazyk
ISBN:	0471623733
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Vybrané aspekty verejného manažmentu. I. diel /
Autor: Šupín, Mikuláš
Vydáno: (2000)

Scheduler optimization in real-time distributed databases /
Autor: Bodlaender, Maarten Peter
Vydáno: (1999)

Specification and compositional verification of real-time systems /
Autor: Hooman, Jozef Johannes Maria
Vydáno: (1991)

C. A software engineering approach /
Autor: Darnell, Peter A.
Vydáno: (1996)

Marketingová komunikace /
Autor: Nagyová, Jana
Vydáno: (1994)

Journal of Communication Management

Communication theory /
Autor: Balakrishnan, A. V. (Alampallam Venkatachataiyer) 1929-
Vydáno: (1968)

Městské komunikace /
Autor: Pavlíček, Jan
Vydáno: (1988)

Návrh a provádění vozovek městských komunikací. 2. díl /
Autor: Luxemburk, František
Vydáno: (1982)

Silniční komunikace pro 2. a 3. ročník SOU učební obor dlaždič /
Autor: Škoda, Jiří
Vydáno: (1984)

Electronics and communications /
Autor: Wells, G. W.
Vydáno: (1970)

Real - time computer systems /
Autor: Freedman, A. L., a další
Vydáno: (1977)

Introduction to real-time software design /
Autor: Allworth, Steve T.
Vydáno: (1981)

Fundamental approaches to software engineering : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
Autor: Young, Michael
Vydáno: (2003)

Real-time systems : formal specification and automatic verification /
Autor: Olderog, Ernst-Rüdiger, a další
Vydáno: (2008)

Mechatronic systems. Modelling and simulation with HDLs /
Autor: Pelz, Georg
Vydáno: (2003)

Optimised design of illuminating systems /
Autor: Šefčíková, Margita
Vydáno: (2001)

OECD statistics on international trade in services 1989 - 1998 /
Vydáno: (2000)

Transport economics research and policymaking. Summary of discussions and introductory reports : Internat. seminar, 10 - 11 May 1999 /
Autor: Krupp, Rudolf
Vydáno: (1999)

REAL TIME SOFTWARE /
Autor: Glass, Robert L.
Vydáno: (1983)

Výuka v terénu. 2. díl : Návody provádění automatizovaných dopravních průzkumů na silničních komunikacích /
Autor: Novák, Ludvík
Vydáno: (1988)

Mechanika vozoviek : Navrhovanie netuhých vozoviek pozemných komunikácií /
Autor: Poliaček, Ivan
Vydáno: (1983)

STRATEGIES FOR REAL TIME SYSTEM SPECIFICATION /
Autor: Hatley, Derek J.
Vydáno: (1987)

A calculus of real time systems /
Autor: Wang, Yi
Vydáno: (1991)

Real-time multicomputer software systems /
Autor: Stein, Richard Marlon
Vydáno: (1992)

Real-time embedded systems : optimization, synthesis, and networking /
Autor: Qiu, Meikang, a další
Vydáno: (2011)

Operating system concepts with Java /
Autor: Silberschatz, Abraham
Vydáno: (2004)

Modelling of concurrent systems /
Autor: Juhás, Gabriel
Vydáno: (2015)

Introduction to C++ for engineers and scientists /
Autor: Etter, Delores M.
Vydáno: (1997)

Problem-solving principles. Programming with Pascal /
Autor: Prather, Donald E.
Vydáno: (1983)

Pascal programming structures. An introduction to systematic programming /
Autor: Cherry, George W.
Vydáno: (1980)

Concurrent systems. An integrated approach to operating systems, database, and distributed systems /
Autor: Bacon, Jean
Vydáno: (1993)

Java. Grafické uživatelské prostředí a čeština /
Autor: Herout, Pavel 1961-
Vydáno: (2001)

Objektově orientované programování v C++ /
Autor: Racek, Stanislav
Vydáno: (1994)

OECD statistics on international trade in services = Statistiques de l'OCDE sur les échanges internationaux de services.
Vydáno: (2006)

Distributed algorithms for hard real-time systems /
Autor: Alstein, Dick
Vydáno: (1996)

MULTIPLE PROCESSOR SYSTEMS FOR REAL-TIME APPLICATIONS /
Autor: Liebowitz, Burt H.
Vydáno: (1985)

Real-time control of electric power systems /
Vydáno: (1972)

Lecture Notes in Real-Time Intelligent Systems
Vydáno: (2018)

Mechanika vozoviek. Navrhovanie vozoviek cestných komunikácií /
Autor: Poliaček, Ivan
Vydáno: (1990)