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