Limit Search Results
Author
SpringerLink (Online service)
(18161)
Wiley InterScience (Online service)
(208)
IGI Global, publisher.
(87)
ScienceDirect (Online service)
(73)
John Wiley & Sons.
(63)
Language
Publication Date
-
2011
(2328)
2013
(2264)
2012
(2092)
2010
(1908)
2023
(1856)
Subject
Computer science.
(11662)
Artificial intelligence.
(4866)
Software engineering.
(3545)
Computer Communication Networks.
(3149)
Information systems.
(2620)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
28642 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24021-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Author 
Plaat, Aske. editor. van den Herik, Jaap. editor. Kosters, Walter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27992-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Algebra and Polynomials Applications of Algebra and Number Theory
Computer Algebra and Polynomials Applications of Algebra and Number Theory
Author 
Gutierrez, Jaime. editor. Schicho, Josef. editor. Weimann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15081-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Reliability and Availability of Quality Control Based on Wavelet Computer Vision
Reliability and Availability of Quality Control Based on Wavelet Computer Vision
Author 
Kuzmanić, Ivica. author. Vujović, Igor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13317-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Networks 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings
Computer Networks 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings
Author 
Gaj, Piotr. editor. Kwiecień, Andrzej. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19419-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
Author 
Nalpantidis, Lazaros. editor. Krüger, Volker. editor. Eklundh, Jan-Olof. editor. Gasteratos, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20904-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27340-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Author 
Italiano, Giuseppe F. editor. Pighizzini, Giovanni. editor. Sannella, Donald T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48054-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Assisted Assessment -- Research into E-Assessment International Conference, CAA 2014, Zeist, The Netherlands, June 30 -- July 1, 2014. Proceedings
Computer Assisted Assessment -- Research into E-Assessment International Conference, CAA 2014, Zeist, The Netherlands, June 30 -- July 1, 2014. Proceedings
Author 
Kalz, Marco. editor. Ras, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08657-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for What Is Computer Science? An Information Security Perspective
What Is Computer Science? An Information Security Perspective
Author 
Page, Daniel. author. Smart, Nigel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04042-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action