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.
Distributed Applications and Interoperable Systems [electronic resource] : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings / by Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont
Distributed Applications and Interoperable Systems [electronic resource] : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings / by Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont
Creatore [Stefani, Jean-Bernard]
Accesso persona Demeure, Isabelle
Hagimont, Daniel
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Communication Networks
Information Systems Applications (incl.Internet)
Operating Systems
Software Engineering
ISBN 9783540205296
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354156
[Stefani, Jean-Bernard]  
Software
Lo trovi qui: University of Chicago
Advances in Agent Communication [electronic resource] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 / by Frank Dignum
Advances in Agent Communication [electronic resource] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 / by Frank Dignum
Creatore [Dignum, Frank]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Communication Networks
Logics and Meanings of Programs
Software Engineering
ISBN 9783540207696
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354188
[Dignum, Frank]  
Software
Lo trovi qui: University of Chicago
Regulated Agent-Based Social Systems [electronic resource] : First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers / by Gabriela Lindemann, Daniel Moldt, Mario Paolucci
Regulated Agent-Based Social Systems [electronic resource] : First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers / by Gabriela Lindemann, Daniel Moldt, Mario Paolucci
Creatore [Lindemann, Gabriela]
Accesso persona Moldt, Daniel
Paolucci, Mario
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Appl. in Social and Behavioral Sciences
Computer Communication Networks
Simulation and Modeling
ISBN 9783540209232
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354210
[Lindemann, Gabriela]  
Software
Lo trovi qui: University of Chicago
Entertainment Computing - ICEC 2004 [electronic resource] : Third International Conference, Eindhoven, The Netherlands, September 1-3, 2004, Proceedings / by Matthias Rauterberg
Entertainment Computing - ICEC 2004 [electronic resource] : Third International Conference, Eindhoven, The Netherlands, September 1-3, 2004, Proceedings / by Matthias Rauterberg
Creatore [Rauterberg, Matthias]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Appl. in Arts and Humanities
Information Systems Applications (incl.Internet)
Multimedia Information Systems
Personal Computing
User Interfaces and Human Computer Interaction
ISBN 9783540229476
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354445
[Rauterberg, Matthias]  
Software
Lo trovi qui: University of Chicago
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings / by Christoph Bussler, Dieter Fensel
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings / by Christoph Bussler, Dieter Fensel
Creatore [Bussler, Christoph]
Accesso persona Fensel, Dieter
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Information Storage and Retrieval
Information Systems Applications (incl.Internet)
Pattern Recognition
ISBN 9783540229599
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354449
[Bussler, Christoph]  
Software
Lo trovi qui: University of Chicago
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings. Part II / by Robert Meersman, Zahir Tari
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings. Part II / by Robert Meersman, Zahir Tari
Creatore [Meersman, R.]
Accesso persona Tari, Zahir
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Communication Networks
Database Management
Information Storage and Retrieval
Information Systems Applications (incl.Internet)
User Interfaces and Human Computer Interaction
ISBN 9783540236627
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354544
[Meersman, R.]  
Software
Lo trovi qui: University of Chicago
Computational Methods in Neural Modeling [electronic resource] : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part I / by José Mira, José R. Álvarez
Computational Methods in Neural Modeling [electronic resource] : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part I / by José Mira, José R. Álvarez
Creatore [Mira, J. (José)]
Accesso persona Álvarez, José R.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Evolutionary Biology
Image Processing and Computer Vision
Pattern Recognition
ISBN 9783540402107
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354589
[Mira, J. (José)]  
Software
Lo trovi qui: University of Chicago
Computational Processing of the Portuguese Language [electronic resource] : 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings / by Nuno J. Mamede, Jorge Baptista, Isabel Trancoso
Computational Processing of the Portuguese Language [electronic resource] : 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings / by Nuno J. Mamede, Jorge Baptista, Isabel Trancoso
Creatore [Mamede, Nuno J.]
Accesso persona das Gracas Volpe Nunes, Maria
Baptista, Jorge
Trancoso, Isabel
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computer Science, general
Document Preparation and Text Processing
Information Storage and Retrieval
Mathematical Logic and Formal Languages
ISBN 9783540404361
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354616
[Mamede, Nuno J.]  
Software
Lo trovi qui: University of Chicago
Agents and Peer-to-Peer Computing [electronic resource] : First International Workshop, AP2PC 2002, Bologna, Italy, July, 2002, Revised and Invited Papers / by Gianluca Moro, Manolis Koubarakis
Agents and Peer-to-Peer Computing [electronic resource] : First International Workshop, AP2PC 2002, Bologna, Italy, July, 2002, Revised and Invited Papers / by Gianluca Moro, Manolis Koubarakis
Creatore [Moro, Gianluca]
Accesso persona Koubarakis, Manolis
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Business Information Systems
Computer Communication Networks
Computers and Society
Information Storage and Retrieval
Information Systems Applications (incl.Internet)
ISBN 9783540405382
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354640
[Moro, Gianluca]  
Software
Lo trovi qui: University of Chicago
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / by David Basin, Burkhart Wolff
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / by David Basin, Burkhart Wolff
Creatore [Basin, David]
Accesso persona Wolff, Burkhart
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
ISBN 9783540406648
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354661
[Basin, David]  
Software
Lo trovi qui: University of Chicago