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 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:
2. 
Cover image for Semantics in Adaptive and Personalized Services Methods, Tools and Applications
Semantics in Adaptive and Personalized Services Methods, Tools and Applications
Author 
Wallace, Manolis. editor. Anagnostopoulos, Ioannis E. editor. Mylonas, Phivos. editor. Bielikova, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11684-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
Author 
Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15057-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
Author 
Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85058-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Author 
Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Intelligent Techniques and Tools for Novel System Architectures
Intelligent Techniques and Tools for Novel System Architectures
Author 
Chountas, Panagiotis. editor. Petrounias, Ilias. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77623-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Multimedia Services in Intelligent Environments Advanced Tools and Methodologies
Multimedia Services in Intelligent Environments Advanced Tools and Methodologies
Author 
Tsihrintzis, George A. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78502-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Author 
Shankar, Natarajan. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87873-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Biologically Inspired Information Systems Models, Methods, and Tools
Advances in Biologically Inspired Information Systems Models, Methods, and Tools
Author 
Dressler, Falko. editor. Carreras, Iacopo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72693-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for AI and strategic communication
AI and strategic communication
Author 
Cheng, Yang (Associate professor), editor. Verčič, Dejan, editor.
Preferred Shelf Number 
HD59 .A4 2026
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394275434
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Inside cyber : how AI, 5G, IoT, and quantum computing will transform privacy and our security
Inside cyber : how AI, 5G, IoT, and quantum computing will transform privacy and our security
Author 
Brooks, Chuck (Writer of Inside cyber), author.
Preferred Shelf Number 
HC79 .T4 B735 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394310562
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action