Limit Search Results
Author
SpringerLink (Online service)
(1628)
Filipe, Joaquim. editor.
(9)
Cao, Longbing. editor.
(7)
Fred, Ana. editor.
(7)
Hameurlain, Abdelkader. editor.
(6)
Language
Subject
Computer science.
(1520)
Artificial intelligence.
(392)
Artificial Intelligence (incl. Robotics).
(388)
Information Systems Applications (incl. Internet).
(316)
Software engineering.
(308)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1663 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Author 
Mogavero, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336496.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-95-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for A practical guide to gender diversity for computer science faculty
A practical guide to gender diversity for computer science faculty
Author 
Franklin, Diana.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578516
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Advances in Intelligent Control Systems and Computer Science
Advances in Intelligent Control Systems and Computer Science
Author 
Dumitrache, Loan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333593.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32548-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Proceedings of the 2012 International Conference of Modern Computer Science and Applications
Proceedings of the 2012 International Conference of Modern Computer Science and Applications
Author 
Du, Zhenyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333653.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33030-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Real-Time Detection of Lines and Grids By PClines and Other Approaches
Real-Time Detection of Lines and Grids By PClines and Other Approaches
Author 
Herout, Adam. author. Dubská, Markéta. author. Havel, Jiří. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330974.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4414-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Energy-Efficient High Performance Computing Measurement and Tuning
Energy-Efficient High Performance Computing Measurement and Tuning
Author 
Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Preferred Shelf Number 
ONLINE(330991.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Guide to Modeling and Simulation of Systems of Systems User’s Reference
Guide to Modeling and Simulation of Systems of Systems User’s Reference
Author 
Zeigler, Bernard P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331013.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4570-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Time-of-Flight Cameras Principles, Methods and Applications
Time-of-Flight Cameras Principles, Methods and Applications
Author 
Hansard, Miles. author. Lee, Seungkyu. author. Choi, Ouk. author. Horaud, Radu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331036.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4658-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Dynamic Cloud Collaboration Platform A Market-Oriented Approach
Dynamic Cloud Collaboration Platform A Market-Oriented Approach
Author 
Hassan, Mohammad Mehedi. author. Huh, Eui-Nam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331690.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5146-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action