QR kód

COMBINING LINEAR TIME TEMPORAL LOGIC DESCRIPTIONS OF CONCURRENT COMPUTATIONS /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Kuiper, Ruurd
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Eindhoven : Technická univerzita, 1989
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

The temporal logic of reactive and concurrent systems. Specification /
Autor: Manna, Zohar
Vydáno: (1992)

Verifying concurrent processes using temporal logic /
Autor: Hailpern, Brent T.
Vydáno: (1982)

Temporal logic of programs /
Autor: Kröger, Fred
Vydáno: (1987)

Specifying message passing and time-critical systems with temporal logic /
Autor: Koymans, Ronald Leo Christiaan
Vydáno: (1989)

Concurrent and real-time systems. The CSP approach /
Autor: Schneider, Steve
Vydáno: (2000)

Concurrent computation in chemical calculations /
Autor: Wilson, Stephen
Vydáno: (1989)

CONCURRENT PROGRAMMING /
Autor: Gehani, Narain
Vydáno: (1988)

Temporal Bone Cancer
Vydáno: (2018)

IEEE concurrency : parallel, distributed and mobile computing

Semantics of concurrent computation : proceedings of the international symposium, Evian, July 2-4. 1979, France /
Autor: Pnueli, Amir
Vydáno: (1979)

TIME SERIES AND LINEAR SYSTEMS /
Autor: Hannan, E. J.
Vydáno: (1986)

An Africana Philosophy of Temporality Homo Liminalis /
Autor: Sawyer, Michael E.
Vydáno: (2018)

Concurrent engineering : research and applications

Concurrent programming : principles and practice /
Autor: Andrews, Gregory R.
Vydáno: (1991)

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

Migration, Temporality, and Capitalism Entangled Mobilities across Global Spaces /
Vydáno: (2018)

Optimization and computational logic /
Autor: Macaloon, Ken
Vydáno: (1996)

Fundamentals of computer logic /
Autor: Hutchison, David
Vydáno: (1981)

Combined transport. Hearing of combined transport. Organisations and companies /
Vydáno: (1995)

COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS /
Autor: Dasgupta, Subrata
Vydáno: (1985)

Computer hardware description languages and their applications /
Autor: Borrione, Dominique
Vydáno: (1981)

Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
Autor: Dalla Chiara, Maria Luisa
Vydáno: (2018)

Temporal order : Proceedings of a symp. on oscillations in heterogeneous chemical and biological systems, Bremen, Sept. 17 - 22, 1984 /
Autor: Rensing, Ludger
Vydáno: (1985)

Combination therapy in hypertension /
Autor: Poulter, Neil R.
Vydáno: (2010)

LINPROG. A linear programming solver. Mathematical description and model applications /
Autor: Kirkegaard, Peter
Vydáno: (1995)

REGULATION OF LINEAR DISCRETE TIME-VARYING SYSTEMS /
Autor: Engwerda, Jacob Christian
Vydáno: (1988)

Semigroups, invariance and time-invariant linear systems /
Autor: Rijcke, Michiel Max Albert de
Vydáno: (1996)

ACM transactions on computational logic
Vydáno: (2000)

Computer arithmetic. Logic and design /
Autor: Spaniol, Otto
Vydáno: (1981)

Computer logic, testing and verification /
Autor: Roth, John Paul
Vydáno: (1980)

Computer-assisted cartography for monitoring spatio-temporal aspects of urban air pollution /
Autor: Koussoulakou, Alexandra
Vydáno: (1990)

Logical design for computers and control /
Autor: Dodd, K. N.
Vydáno: (1972)

Digital logic and computer design /
Autor: Mano, M. Morris
Vydáno: (1979)

Computational logic : symposium proceedings, Brussels, Belgium, November 13/14, 1990 /
Vydáno: (1990)

Descriptive geometry /
Autor: Paré, E. G.
Vydáno: (1965)

Descriptive geometry /
Autor: Knor, Martin
Vydáno: (2009)

The SR programming language. Concurrency in practice /
Autor: Andrews, Gregory R.
Vydáno: (1993)

Concurrent engineering. Automation, tools, and techniques /
Autor: Kusiak, Andrew
Vydáno: (1993)

Semantische concurrency control in objektorientierten Datenbanksystemen /
Autor: Rakow, Thomas
Vydáno: (1997)

TEMPORAL DISORDER IN HUMAN OSCILLATORY SYSTEMS : Proceedings, Univ. Bremen, 1986 /
Autor: Rensing, Ludger
Vydáno: (1987)