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.
STACS 95 [electronic resource] : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings / by Ernst W. Mayr, Claude Puech
| STACS 95 [electronic resource] : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings / by Ernst W. Mayr, Claude Puech |
| Creatore | [Mayr, Ernst] |
| Accesso persona | Puech, Claude |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 9783540590422 |
| Formato | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355312 |
[Mayr, Ernst]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Current Topics in Artificial Intelligence [electronic resource] : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revi / by Ricardo Conejo, Maite Urretavizcaya, José-Luis Pérez-de-la-Cruz
| Current Topics in Artificial Intelligence [electronic resource] : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revi / by Ricardo Conejo, Maite Urretavizcaya, José-Luis Pérez-de-la-Cruz |
| Creatore | [Conejo, Ricardo] |
| Accesso persona |
Pérez-de-la-Cruz, José-Luis
Urretavizcaya, Maite |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Mathematical Logic and Formal Languages |
| ISBN | 9783540222187 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354358 |
|
[Conejo, Ricardo]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / by Dexter Kozen, Carron Shankland
| Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / by Dexter Kozen, Carron Shankland |
| Creatore | [Kozen, Dexter] |
| Accesso persona | Shankland, Carron |
| 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 |
| ISBN | 9783540223801 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354383 |
|
[Kozen, Dexter]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Knowledge Exploration in Life Science Informatics [electronic resource] : International Symposium KELSI 2004, Milan, Italy, November 25-26, 2004, Proceedings / by Jesús A. López, Emilio Benfenati, Werner Dubitzky
| Knowledge Exploration in Life Science Informatics [electronic resource] : International Symposium KELSI 2004, Milan, Italy, November 25-26, 2004, Proceedings / by Jesús A. López, Emilio Benfenati, Werner Dubitzky |
| Creatore | [López, Jesús A.] |
| Accesso persona |
Benfenati, Emilio
Dubitzky, Werner |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Bioinformatics Computation by Abstract Devices Computer Appl. in Life Sciences Database Management |
| ISBN | 9783540239277 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354561 |
|
[López, Jesús A.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Neural Information Processing [electronic resource] : 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004, Proceedings / by Nikil R. Pal, Nikola Kasabov, Rajani K. Mudi
| Neural Information Processing [electronic resource] : 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004, Proceedings / by Nikil R. Pal, Nikola Kasabov, Rajani K. Mudi |
| Creatore | [Pal, Nikil R.] |
| Accesso persona |
Kasabov, Nikola
Mudi, Rajani K. Pal, Srimanta Parui, Swapan K. |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Image Processing and Computer Vision Pattern Recognition Probability and Statistics in Computer Science |
| ISBN | 9783540239314 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354563 |
|
[Pal, Nikil R.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Anticipatory Behavior in Adaptive Learning Systems [electronic resource] : Foundations, Theories, and Systems / by Martin V. Butz, Olivier Sigaud, Pierre Gérard
| Anticipatory Behavior in Adaptive Learning Systems [electronic resource] : Foundations, Theories, and Systems / by Martin V. Butz, Olivier Sigaud, Pierre Gérard |
| Creatore | [Butz, Martin V.] |
| Accesso persona |
Gérard, Pierre
Sigaud, Olivier |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Automation and Robotics Computation by Abstract Devices Computer Appl. in Social and Behavioral Sciences |
| ISBN | 9783540404293 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354610 |
|
[Butz, Martin V.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Genetic and Evolutionary Computation - GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part II / by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb.
| Genetic and Evolutionary Computation - GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part II / by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb. |
| Creatore | [Cantú-Paz, Erick] |
| Accesso persona |
Beyer, Hans-Georg
Dasgupta, Dipankar Davis, Lawrence.1946- Deb, Kalyanmoy Foster, James A. Kendall, Graham O'Reilly, Una-May Potter, Mitchell A. Roy, Rajkumar Schultz, Alan C. Standish, Russel Wegener, Joachim Wilson, Stewart |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Bioinformatics Computation by Abstract Devices Computer Appl. in Administrative Data Processing Programming Techniques |
| ISBN | 9783540406037 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354656 |
|
[Cantú-Paz, Erick]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Mathematical Foundations of Computer Science 1988 [electronic resource] : 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings / by Michal P. Chytil, Ladislav Janiga, Vaclav Koubek
| Mathematical Foundations of Computer Science 1988 [electronic resource] : 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings / by Michal P. Chytil, Ladislav Janiga, Vaclav Koubek |
| Creatore | [Chytil, Michal P.] |
| Accesso persona |
Janiga, Ladislav
Koubek, Václav |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Computation by Abstract Devices |
| ISBN | 9783540501107 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354760 |
|
[Chytil, Michal P.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Optimal Algorithms [electronic resource] : International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings / by Hristo Djidjev
| Optimal Algorithms [electronic resource] : International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings / by Hristo Djidjev |
| Creatore | [Djidjev, Hristo] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Computation by Abstract Devices Data Structures |
| ISBN | 9783540518594 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354832 |
|
[Djidjev, Hristo]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Parallel Problem Solving from Nature [electronic resource] : 1st Workshop, PPSN I Dortmund, FRG, October 1-3, 1990. Proceedings / by Hans-Paul Schwefel, Reinhard Männer
| Parallel Problem Solving from Nature [electronic resource] : 1st Workshop, PPSN I Dortmund, FRG, October 1-3, 1990. Proceedings / by Hans-Paul Schwefel, Reinhard Männer |
| Creatore | [Schwefel, Hans-Paul] |
| Accesso persona | Männer, Reinhard |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Mathematical Biology in General Processor Architectures Programming Techniques |
| ISBN | 9783540541486 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354927 |
|
[Schwefel, Hans-Paul]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
