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