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
Publication Date
-
Subject
Computational intelligence.
(28)
Computer science.
(18)
Software engineering.
(17)
Engineering.
(13)
Logic design.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
79 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
Cover image for Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
Languages, Methodologies, and Development Tools for Multi-Agent Systems Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
Author 
Dastani, Mehdi. editor. El Fallah Segrouchni, 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-642-13338-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems
Author 
Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04407-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
Select an Action