Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Seminar on Concurrency [electronic resource] : Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 / by Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel
| 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.)]
|
|
| Software | |
| 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
| 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]
|
|
| Software | |
| 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
| 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]
|
|
| Software | |
| 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
| 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]
|
|
| Software | |
| 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
| 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-]
|
|
| Software | |
| 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
| 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]
|
|
| Software | |
| 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
| 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]
|
|
| Software | |
| 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
| 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]
|
|
| Software | |
| 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
| 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]
|
|
| Software | |
| 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
| 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]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
