Limit Search Results
Author
SpringerLink (Online service)
(2176)
Kim, Tai-hoon. editor.
(34)
Yung, Moti. editor.
(25)
Gervasi, Osvaldo. editor.
(22)
Apduhan, Bernady O. editor.
(20)
Language
Publication Date
-
2011
(346)
2010
(316)
2012
(308)
2013
(222)
2005
(176)
Subject
Computer science.
(2011)
Computer Communication Networks.
(873)
Artificial intelligence.
(857)
Software engineering.
(554)
Computational complexity.
(545)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
2189 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Author 
Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70151-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
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-74727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
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-74718-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Author 
Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330901.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings
Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings
Author 
Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03161-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Author 
Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number 
ONLINE(334106.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
Author 
Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334356.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37067-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings
Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings
Author 
Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334572.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38267-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Author 
Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number 
ONLINE(334939.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40395-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets