top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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