Loading…
Semantics of concurrent computation : proceedings of the international symposium, Evian, July 2-4. 1979, France /
Saved in:
| Main Author: | Pnueli, Amir (Author) |
|---|---|
| Format: | Book |
| Language: | Czech |
| Published: |
Berlin :
Springer,
1979
|
| Series: | rz1
|
| Online Access: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Loading…
Computer semantics : studies of algorithms, processors and languages /
by: Lee, John A. N.
Published: (1972)
by: Lee, John A. N.
Published: (1972)
Loading…
Concurrent computation in chemical calculations /
by: Wilson, Stephen
Published: (1989)
by: Wilson, Stephen
Published: (1989)
Loading…
Computational semantics : an introduction to artificial intelligence and natural language comprehension /
Published: (1975)
Published: (1975)
Loading…
CONCURRENT PROGRAMMING /
by: Gehani, Narain
Published: (1988)
by: Gehani, Narain
Published: (1988)
Loading…
IEEE concurrency : parallel, distributed and mobile computing
Loading…
Concurrent engineering : research and applications
Loading…
Concurrent programming : principles and practice /
by: Andrews, Gregory R.
Published: (1991)
by: Andrews, Gregory R.
Published: (1991)
Loading…
Algebraic semantics /
by: Guessarian, Iréna
Published: (1981)
by: Guessarian, Iréna
Published: (1981)
Loading…
Semantics of data types : Internat. symp., Sophia-Antipolis, France, /
by: Burstall, R.
Published: (1984)
by: Burstall, R.
Published: (1984)
Loading…
Modelling of concurrent systems /
by: Juhás, Gabriel
Published: (2015)
by: Juhás, Gabriel
Published: (2015)
Loading…
Journal of Literary Semantics : An International Review
Published: (1972)
Published: (1972)
Loading…
Semantics. Foundations and applications : Proceedings, Beekbergen, The Netherlands, June 1 - 4, 1992 /
by: Back, R. J. R.
Published: (1993)
by: Back, R. J. R.
Published: (1993)
Loading…
COMBINING LINEAR TIME TEMPORAL LOGIC DESCRIPTIONS OF CONCURRENT COMPUTATIONS /
by: Kuiper, Ruurd
Published: (1989)
by: Kuiper, Ruurd
Published: (1989)
Loading…
Semantics, around and beyond : an introductory course /
by: Kavka, Stanislav J. 1946-
Published: (2015)
by: Kavka, Stanislav J. 1946-
Published: (2015)
Loading…
Retrieval from semantic memory /
by: Noordman-Vonk, Wietske
Published: (1979)
by: Noordman-Vonk, Wietske
Published: (1979)
Loading…
ALGEBRAIC APPROACHES TO PROGRAM SEMANTICS /
by: Manes, Ernest G.
Published: (1986)
by: Manes, Ernest G.
Published: (1986)
Loading…
Applied semantic web technologies /
Published: (2012)
Published: (2012)
Loading…
Formal semantics of programming languages /
Published: (1972)
Published: (1972)
Loading…
Metadata for semantic and social applications
by: Greenberg, Jane, et al.
Published: (2008)
by: Greenberg, Jane, et al.
Published: (2008)
Loading…
Semantische concurrency control in objektorientierten Datenbanksystemen /
by: Rakow, Thomas
Published: (1997)
by: Rakow, Thomas
Published: (1997)
Loading…
The SR programming language. Concurrency in practice /
by: Andrews, Gregory R.
Published: (1993)
by: Andrews, Gregory R.
Published: (1993)
Loading…
Concurrent engineering. Automation, tools, and techniques /
by: Kusiak, Andrew
Published: (1993)
by: Kusiak, Andrew
Published: (1993)
Loading…
Semantics, Pragmatics and Meaning Revisited The Case of Conditionals /
by: Sztencel, Magdalena
Published: (2018)
by: Sztencel, Magdalena
Published: (2018)
Loading…
Concurrence et restructuration des services publics /
Published: (2001)
Published: (2001)
Loading…
The temporal logic of reactive and concurrent systems. Specification /
by: Manna, Zohar
Published: (1992)
by: Manna, Zohar
Published: (1992)
Loading…
Verifying concurrent processes using temporal logic /
by: Hailpern, Brent T.
Published: (1982)
by: Hailpern, Brent T.
Published: (1982)
Loading…
Concurrent and real-time systems. The CSP approach /
by: Schneider, Steve
Published: (2000)
by: Schneider, Steve
Published: (2000)
Loading…
A structural approach to operational semantics /
by: Plotkin, Gordon D.
Published: (1981)
by: Plotkin, Gordon D.
Published: (1981)
Loading…
Semantic data modeling in relational environments /
by: Bekke, Johannes Hendrikus ter
Published: (1991)
by: Bekke, Johannes Hendrikus ter
Published: (1991)
Loading…
Mathematical foundations of programming semantics : international conference ; Manhattan, Kansas, April 11 - 12, 1985 /
by: Abdali, S. Kamal
Published: (1986)
by: Abdali, S. Kamal
Published: (1986)
Loading…
COMPUTATION OF LANGUAGE. AN ESSAY ON SYNTAX, SEMANTICS AND PRAGMATICS IN NATURAL MAN-MACHINE COMMUNICATION /
by: Hausser, Roland
Published: (1989)
by: Hausser, Roland
Published: (1989)
Loading…
The Semantics of Gradability, Vagueness, and Scale Structure Experimental Perspectives /
Published: (2018)
Published: (2018)
Loading…
CE. Concurrent engineering. The product development environment for the 1990s /
by: Carter, Donald E.
Published: (1992)
by: Carter, Donald E.
Published: (1992)
Loading…
Concurrency Control in Distributed System Using Mutual Exclusion
by: Kanrar, Sukhendu
Published: (2018)
by: Kanrar, Sukhendu
Published: (2018)
Loading…
A Lexical Semantic Study of Chinese Opposites
by: Ding, Jing
Published: (2018)
by: Ding, Jing
Published: (2018)
Loading…
Modeling with Rules Using Semantic Knowledge Engineering
by: Nalepa, Grzegorz J.
Published: (2018)
by: Nalepa, Grzegorz J.
Published: (2018)
Loading…
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Published: (2018)
Published: (2018)
Loading…
Pronouns in Embedded Contexts at the Syntax-Semantics Interface
Published: (2018)
Published: (2018)
Loading…
Bridging the Semantic Gap in Image and Video Analysis
Published: (2018)
Published: (2018)
Loading…
The enabling model. A tool for performance analysis of concurrent mechanisms /
by: Kloosterhuis, Willem Egbert Hendrik
Published: (1991)
by: Kloosterhuis, Willem Egbert Hendrik
Published: (1991)
Similar Items
-
Computer semantics : studies of algorithms, processors and languages /
by: Lee, John A. N.
Published: (1972) -
Concurrent computation in chemical calculations /
by: Wilson, Stephen
Published: (1989) -
Computational semantics : an introduction to artificial intelligence and natural language comprehension /
Published: (1975) -
CONCURRENT PROGRAMMING /
by: Gehani, Narain
Published: (1988) - IEEE concurrency : parallel, distributed and mobile computing