Limit Search Results
Author
SpringerLink (Online service)
(16)
Project Muse.
(8)
Project Muse, distributor.
(3)
Filipe, Joaquim. editor.
(2)
Fred, Ana. editor.
(2)
Language
Subject
Computer science.
(16)
Software engineering.
(8)
Programming Languages, Compilers, Interpreters.
(7)
Artificial Intelligence (incl. Robotics).
(6)
Artificial intelligence.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
65 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers
Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers
Author 
Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333280.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for User Modeling, Adaptation, and Personalization 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings
User Modeling, Adaptation, and Personalization 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings
Author 
Carberry, Sandra. editor. Weibelzahl, Stephan. editor. Micarelli, Alessandro. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334680.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Multimodal Communication in Political Speech. Shaping Minds and Social Action International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers
Multimodal Communication in Political Speech. Shaping Minds and Social Action International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers
Author 
Poggi, Isabella. editor. D’Errico, Francesca. editor. Vincze, Laura. editor. Vinciarelli, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335121.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41545-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers
Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers
Author 
Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334059.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35828-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Author 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334305.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36830-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334348.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37036-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334353.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334354.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37057-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computer Vision, Imaging and Computer Graphics. Theory and Application 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers
Computer Vision, Imaging and Computer Graphics. Theory and Application 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers
Author 
Csurka, Gabriela. editor. Kraus, Martin. editor. Laramee, Robert S. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number 
ONLINE(334565.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38241-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action