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.
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 | |
