Seminar on Concurrency [electronic resource] : Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 / by Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel |
Creatore | [Brookes, S. D. (Stephen D.)] |
Accesso persona |
Roscoe, Andrew W.
Winskel, G. (Glynn) |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Computation by Abstract Devices Programming Techniques |
ISBN | 9783540156703 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7353949 |
[Brookes, S. D. (Stephen D.)]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Automata, Languages and Programming [electronic resource] : 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings / by Laurent Kott |
Creatore | [Kott, Laurent] |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 9783540167617 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7353977 |
[Kott, Laurent]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Mathematical Models for the Semantics of Parallelism [electronic resource] : Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings / by Marisa Venturini Zilli |
Creatore | [Venturini Zilli, Marisa] |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Foundations Programming Techniques |
ISBN | 9783540184195 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7354025 |
[Venturini Zilli, Marisa]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Trends, Techniques, and Problems in Theoretical Computer Science [electronic resource] : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986 / by Alica Kelemenova, Jozef Kelemen |
Creatore | [Kelemenova, Alica] |
Accesso persona | Kelemen, Jozef |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Mathematical Biology in General Mathematical Logic and Formal Languages Statistics for Life Sciences, Medicine, Health Sciences |
ISBN | 9783540185352 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7354029 |
[Kelemenova, Alica]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Fundamentals of Computation Theory [electronic resource] : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings / by Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov |
Creatore | [Budach, L. (Lothar), 1935-] |
Accesso persona |
Bukharajev, Rais G.
Lupanov, Oleg B. |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Combinatorics Computation by Abstract Devices Mathematical Logic and Formal Languages Models and Principles |
ISBN | 9783540187400 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7354036 |
[Budach, L. (Lothar), 1935-]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Modelling with Words [electronic resource] : Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework / by Jonathan Lawry, Jimi Shanahan, Anca Ralescu |
Creatore | [Lawry, Jonathan] |
Accesso persona |
Ralescu, Anca L., 1949-
Shanahan, James G. |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Database Management Information Storage and Retrieval Mathematical Logic and Formal Languages Simulation and Modeling |
ISBN | 9783540204879 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7354149 |
[Lawry, Jonathan]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Learning Classifier Systems [electronic resource] : 5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002, Revised Papers / by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson |
Creatore | [Lanzi, Pier Luca] |
Accesso persona |
Stolzmann, Wolfgang
Wilson, Stewart W. |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Database Management Mathematical Logic and Formal Languages |
ISBN | 9783540205449 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7354162 |
[Lanzi, Pier Luca]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Perspectives of Systems Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / by Manfred Broy, Alexandre V. Zamulin |
Creatore | [Broy, Manfred] |
Accesso persona | Zamulin, Alexandre V. |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Computation by Abstract Devices Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering |
ISBN | 9783540208136 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7354195 |
[Broy, Manfred]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / by Nachum Dershowitz |
Creatore | [Dershowitz, Nachum] |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems |
ISBN | 9783540210023 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7354220 |
[Dershowitz, Nachum]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Languages and Compilers for Parallel Computing [electronic resource] : 16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers / by Lawrence Rauchwerger |
Creatore | [Rauchwerger, Lawrence] |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Arithmetic and Logic Structures Computation by Abstract Devices Computer Communication Networks Data Structures Programming Languages, Compilers, Interpreters Programming Techniques |
ISBN | 9783540211990 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7354238 |
[Rauchwerger, Lawrence]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |