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.
Formal Methods in Programming and Their Applications [electronic resource] : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / by Dines Bjorner, Manfred Broy, Igor V. Pottosin
| Formal Methods in Programming and Their Applications [electronic resource] : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / by Dines Bjorner, Manfred Broy, Igor V. Pottosin |
| Creatore | [Bjørner, D. (Dines), 1937-] |
| Accesso persona |
Broy, Manfred
Pottosin, Igor V. |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering Symbolic and Algebraic Manipulation |
| ISBN | 9783540573166 |
| Formato | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355153 |
[Bjørner, D. (Dines), 1937-]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Artificial Perception and Music Recognition [electronic resource] / by Andranick S. Tanguiane
| Artificial Perception and Music Recognition [electronic resource] / by Andranick S. Tanguiane |
| Creatore | [Tanguiane, Andranick S.] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Communications Engineering, Networks Data Storage Representation Pattern Recognition |
| ISBN | 9783540573944 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355163 |
|
[Tanguiane, Andranick S.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Conceptual Structures: Theory and Implementation [electronic resource] : 7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992. Proceedings / by Heather D. Pfeiffer, Timothy E. Nagle
| Conceptual Structures: Theory and Implementation [electronic resource] : 7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992. Proceedings / by Heather D. Pfeiffer, Timothy E. Nagle |
| Creatore | [Pfeiffer, Heather D.] |
| Accesso persona | Nagle, Timothy E. |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Combinatorics Database Management |
| ISBN | 9783540574545 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355170 |
|
[Pfeiffer, Heather D.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Computer Vision - ECCV '94 [electronic resource] : Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 1 / by Jan-Olof Eklundh
| Computer Vision - ECCV '94 [electronic resource] : Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 1 / by Jan-Olof Eklundh |
| Creatore | [Eklundh, Jan-Olof] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Computer Graphics Electromagnetism, Optics and Lasers Image Processing and Computer Vision Pattern Recognition |
| ISBN | 9783540579564 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355209 |
|
[Eklundh, Jan-Olof]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
The playful machine [electronic resource] : theoretical foundation and practical realization of self-organizing robots / Ralf Der and Georg Martius ; foreword by Rolf Pfeifer
| The playful machine [electronic resource] : theoretical foundation and practical realization of self-organizing robots / Ralf Der and Georg Martius ; foreword by Rolf Pfeifer |
| Creatore | [Der, Ralf] |
| Estensione | 1 online resource (xx, 333 p.) : col. ill. |
| Disciplina | 003/.7 |
| Accesso persona | Martius, Georg |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Mathematics
Artificial intelligence Applications of Mathematics Artificial Intelligence (incl. Robotics) |
| ISBN |
9783642202537 (electronic bk.)
3642202535 (electronic bk.) 9783642202520 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-8872607 |
|
[Der, Ralf]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Intelligent Decision Technologies [electronic resource] : Proceedings of the 4th International Conference on Intelligent Decision Technologies (IDT ́2012) - Volume 1 / edited by Junzo Watada, Toyohide Watanabe, Gloria Phillips-Wren, Robert J. Howlett, Lakhmi C. Jain
| Intelligent Decision Technologies [electronic resource] : Proceedings of the 4th International Conference on Intelligent Decision Technologies (IDT ́2012) - Volume 1 / edited by Junzo Watada, Toyohide Watanabe, Gloria Phillips-Wren, Robert J. Howlett, Lakhmi C. Jain |
| Creatore | [Watada, Junzo] |
| Accesso persona |
Watanabe, Toyohide
Phillips-Wren, Gloria Howlett, Robert J. Jain, L. C. |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computational Intelligence
Artificial Intelligence (incl. Robotics) Engineering |
| ISBN | 9783642299773 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-8829443 |
|
[Watada, Junzo]
|
|
| Risorse elettroniche | |
| Lo trovi qui: University of Chicago | |
Autonome Mobile Systeme 2005 [electronic resource] : 19. Fachgespräch Stuttgart, 8./9. Dezember 2005 / edited by Paul Levi, Michael Schanz, Reinhard Lafrenz, Viktor Avrutin
| Autonome Mobile Systeme 2005 [electronic resource] : 19. Fachgespräch Stuttgart, 8./9. Dezember 2005 / edited by Paul Levi, Michael Schanz, Reinhard Lafrenz, Viktor Avrutin |
| Creatore | [Levi, Paul] |
| Accesso persona |
Avrutin, Viktor
Lafrenz, Reinhard Schanz, Michael |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Information Systems Applications (incl.Internet) Processor Architectures System Performance and Evaluation |
| ISBN | 9783540302926 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UCHICAGO-6692335 |
|
[Levi, Paul]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Human-Computer Interaction: The Agency Perspective [electronic resource] / edited by Marielba Zacarias, José Valente Oliveira
| Human-Computer Interaction: The Agency Perspective [electronic resource] / edited by Marielba Zacarias, José Valente Oliveira |
| Creatore | [Zacarias, Marielba] |
| Edizione | [2012.] |
| Accesso persona | Oliveira, José Valente |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computational Intelligence
Artificial Intelligence (incl. Robotics) Engineering |
| ISBN | 9783642256912 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-8620778 |
|
[Zacarias, Marielba]
|
|
| Risorse elettroniche | |
| Lo trovi qui: University of Chicago | |
Handbuch Robotik [electronic resource] : Programmieren und Einsatz intelligenter Roboter / by Matthias Haun
| Handbuch Robotik [electronic resource] : Programmieren und Einsatz intelligenter Roboter / by Matthias Haun |
| Creatore | [Haun, Matthias] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Engineering
Artificial Intelligence (incl. Robotics) Automation and Robotics Numerical and Computational Methods in Engineering Systems and Information Theory in Engineering User Interfaces and Human Computer Interaction |
| ISBN | 9783540369189 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UCHICAGO-6692583 |
|
[Haun, Matthias]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Innovations in intelligent machines. 2, Intelligent paradigms and applications / Toyohide Watanabe and Lakhmi C. Jain (eds.).
| Innovations in intelligent machines. 2, Intelligent paradigms and applications / Toyohide Watanabe and Lakhmi C. Jain (eds.). |
| Estensione | 1 online resource (xv, 279 pages) : illustrations (some color). |
| Accesso persona |
Watanabe, Toyohide
Jain, L. C. |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Engineering
Artificial intelligence Computational Intelligence Artificial Intelligence (incl. Robotics) |
| ISBN |
9783642231902
364223190X 3642231896 9783642231896 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the content: Advances in Information Processing Paradigms -- The Extraction of Figure-related Sentences to Effectively Understand Figures -- Alignment-based Translation Unit for Simultaneous Japanese-English Spoken Dialogue Translation -- Automatic Collection of Useful Phrases for English Academic Writing -- An Effectively Focused Crawling System. |
| Record Nr. | UCHICAGO-11076097 |
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
