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