Limit Search Results
Author
SpringerLink (Online service)
(213)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
English
(213)
Publication Date
-
2013
(213)
Subject
Computer software.
(213)
Computer science.
(208)
Computer Communication Networks.
(74)
Artificial Intelligence (incl. Robotics).
(71)
Artificial intelligence.
(71)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
213 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Author 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334844.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Genetic Programming Theory and Practice X
Genetic Programming Theory and Practice X
Author 
Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332135.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Handbook of Human Computation
Handbook of Human Computation
Author 
Michelucci, Pietro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332449.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8806-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
Author 
Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03680-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings
Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings
Author 
Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number 
ONLINE(332953.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02895-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29752-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers
Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers
Author 
Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number 
ONLINE(333559.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32350-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Author 
Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334179.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36334-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers
Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers
Author 
Knudsen, Lars R. editor. Wu, Huapeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334097.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35999-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action