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.
Hybrid Systems [electronic resource] / by Robert L. Grossman, Anil Nerode, Anders P. Ravn
Hybrid Systems [electronic resource] / by Robert L. Grossman, Anil Nerode, Anders P. Ravn
Creatore [Grossman, Robert L.]
Accesso persona Nerode, Anil
Ravn, Anders P.
Rischel, Hans
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Logics and Meanings of Programs
Processor Architectures
Software Engineering
Special Purpose and Application-Based Systems
ISBN 9783540573180
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355154
[Grossman, Robert L.]  
Software
Lo trovi qui: University of Chicago
Trees in Algebra and Programming - CAAP '94 [electronic resource] : 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings / by Sophie Tison
Trees in Algebra and Programming - CAAP '94 [electronic resource] : 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings / by Sophie Tison
Creatore [Tison, Sophie]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Combinatorics
Computation by Abstract Devices
Data Structures
Logics and Meanings of Programs
Programming Techniques
ISBN 9783540578796
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355202
[Tison, Sophie]  
Software
Lo trovi qui: University of Chicago
Computer Science Logic [electronic resource] : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers / by Egon Börger, Yuri Gurevich, Karl Meinke
Computer Science Logic [electronic resource] : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers / by Egon Börger, Yuri Gurevich, Karl Meinke
Creatore [Börger, Egon]
Accesso persona Gurevich, Yuri
Meinke, K. (Karl)
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
ISBN 9783540582779
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355247
[Börger, Egon]  
Software
Lo trovi qui: University of Chicago
Algorithms and Computation [electronic resource] : 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings / by Ding-Zhu Du, Xiang-Sun Zhang
Algorithms and Computation [electronic resource] : 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings / by Ding-Zhu Du, Xiang-Sun Zhang
Creatore [Du, Dingzhu]
Accesso persona Zhang, Xiang-Sun
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Combinatorics
Computation by Abstract Devices
Data Structures
ISBN 9783540583257
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355249
[Du, Dingzhu]  
Software
Lo trovi qui: University of Chicago
Evolutionary Computing [electronic resource] : AISB Workshop, Leeds, U.K., April 11 - 13, 1994. Selected Papers / by Terence C. Fogarty
Evolutionary Computing [electronic resource] : AISB Workshop, Leeds, U.K., April 11 - 13, 1994. Selected Papers / by Terence C. Fogarty
Creatore [Fogarty, Terence C.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Computer Appl. in Life Sciences
Mathematical Biology in General
Pattern Recognition
ISBN 9783540584834
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355277
[Fogarty, Terence C.]  
Software
Lo trovi qui: University of Chicago
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings / by P.S. Thiagarajan
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings / by P.S. Thiagarajan
Creatore [Thiagarajan, P. S.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Combinatorics
Computation by Abstract Devices
Computer Graphics
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
ISBN 9783540587156
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355293
[Thiagarajan, P. S.]  
Software
Lo trovi qui: University of Chicago
Languages and Compilers for Parallel Computing [electronic resource] : 7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings / by Keshav Pingali, Utpal Banerjee, David Gelernter
Languages and Compilers for Parallel Computing [electronic resource] : 7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings / by Keshav Pingali, Utpal Banerjee, David Gelernter
Creatore [Pingali, Keshav]
Accesso persona Banerjee, Utpal
Gelernter, David
Nicolau, Alexandru
Padua, David
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Arithmetic and Logic Structures
Computation by Abstract Devices
Computer Graphics
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783540588689
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355305
[Pingali, Keshav]  
Software
Lo trovi qui: University of Chicago
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers / by Leszek Pacholski, Jerzy Tiuryn
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers / by Leszek Pacholski, Jerzy Tiuryn
Creatore [Pacholski, Leszek]
Accesso persona Tiuryn, Jerzy
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
ISBN 9783540600176
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355344
[Pacholski, Leszek]  
Software
Lo trovi qui: University of Chicago
Computing and Combinatorics [electronic resource] : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings / by Ding-Zhu Du, Ming Li.
Computing and Combinatorics [electronic resource] : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings / by Ding-Zhu Du, Ming Li.
Creatore [Du, Dingzhu]
Accesso persona Li, Ming, 1955 July 16-
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Combinatorics
Computation by Abstract Devices
Computer Graphics
Mathematical Logic and Formal Languages
ISBN 9783540602163
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355371
[Du, Dingzhu]  
Software
Lo trovi qui: University of Chicago
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings / by Horst Reichel
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings / by Horst Reichel
Creatore [Reichel, Horst]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Combinatorics
Computation by Abstract Devices
Computer Graphics
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
ISBN 9783540602491
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355378
[Reichel, Horst]  
Software
Lo trovi qui: University of Chicago