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]
![]() |
|
![]() | |
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 |
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]
![]() |
|
![]() | |
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 |
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]
![]() |
|
![]() | |
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 |
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.]
![]() |
|
![]() | |
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 |
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.]
![]() |
|
![]() | |
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 |
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.]
![]() |
|
![]() | |
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. |
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]
![]() |
|
![]() | |
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 |
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.]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
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]
![]() |
|
![]() | |
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 |
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]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |