Limit Search Results
Author
SpringerLink (Online service)
(77)
Bembenik, Robert. editor.
(3)
Dastani, Mehdi. editor.
(3)
Leite, João. editor.
(3)
Bossoufi, Badre. editor.
(2)
Language
English
(121)
Publication Date
-
Subject
Intelligence artificielle.
(37)
Computational intelligence.
(29)
Electronic books.
(22)
Computer science.
(18)
COMPUTERS.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
121 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Author 
Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28756-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Intelligent Modelling and Simulation Simulation Tools and Applications
Advances in Intelligent Modelling and Simulation Simulation Tools and Applications
Author 
Byrski, Aleksander. editor. Oplatková, Zuzana. editor. Carvalho, Marco. editor. Kisiel-Dorohinicki, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28888-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Author 
Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers
Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers
Author 
Putnik, Goran D. editor. Cruz-Cunha, Maria Manuela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31800-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applications
Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applications
Author 
Berthold, Michael R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31830-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Human Modelling in Assisted Transportation Models, Tools and Risk Methods
Human Modelling in Assisted Transportation Models, Tools and Risk Methods
Author 
Cacciabue, P. Carlo. editor. Hjälmdahl, Magnus. editor. Luedtke, Andreas. editor. Riccioli, Costanza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1821-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding
Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding
Author 
Daradoumis, Thanasis. editor. Caballé, Santi. editor. Juan, Angel A. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19814-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19835-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Author 
Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21350-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
Author 
Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22723-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Author 
Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12002-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Fuzzy Cognitive Maps Advances in Theory, Methodologies, Tools and Applications
Fuzzy Cognitive Maps Advances in Theory, Methodologies, Tools and Applications
Author 
Glykas, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03220-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action