Limit Search Results
Author
SpringerLink (Online service)
(14388)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(53)
Taniar, David. editor.
(46)
Apduhan, Bernady O. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(11662)
Artificial intelligence.
(3896)
Software engineering.
(3227)
Computer Communication Networks.
(2803)
Information systems.
(2505)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
16226 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Author 
Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31759-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31762-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Biomedical Image Registration 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings
Biomedical Image Registration 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings
Author 
Dawant, Benoît M. editor. Christensen, Gary E. editor. Fitzpatrick, J. Michael. editor. Rueckert, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31340-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Agents and Peer-to-Peer Computing 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers
Agents and Peer-to-Peer Computing 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers
Author 
Beneventano, Domenico. editor. Despotovic, Zoran. editor. Guerra, Francesco. editor. Joseph, Sam. editor. Moro, Gianluca. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31809-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Emerging Intelligent Computing Technology and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
Emerging Intelligent Computing Technology and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings
Author 
Huang, De-Shuang. editor. Gupta, Phalguni. editor. Zhang, Xiang. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31837-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
Author 
Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31866-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Engaging Learners Through Emerging Technologies International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings
Engaging Learners Through Emerging Technologies International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings
Author 
Li, Kam Cheong. editor. Wang, Fu Lee. editor. Yuen, Kin Sun. editor. Cheung, Simon K. S. editor. Kwan, Reggie. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31398-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
Author 
Pallis, George. editor. Jmaiel, Mohamed. editor. Charfi, Anis. editor. Graupner, Sven. editor. Karabulut, Yücel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31875-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Progress in Cryptology - AFRICACRYPT 2012 5th International Conference on Cryptology in Africa, Ifrance, Morocco, July 10-12, 2012. Proceedings
Progress in Cryptology - AFRICACRYPT 2012 5th International Conference on Cryptology in Africa, Ifrance, Morocco, July 10-12, 2012. Proceedings
Author 
Mitrokotsa, Aikaterini. editor. Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31410-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Author 
Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31424-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Transactions on Edutainment VIII
Transactions on Edutainment VIII
Author 
Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Chang, Maiga. editor. Zhang, Mingmin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31439-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Information Security and Privacy 17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings
Information Security and Privacy 17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings
Author 
Susilo, Willy. editor. Mu, Yi. editor. Seberry, Jennifer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31448-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets