Limit Search Results
Author
SpringerLink (Online service)
(221)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Subject
Computer software.
(220)
Algorithm Analysis and Problem Complexity.
(213)
Computer science.
(211)
Computer Communication Networks.
(74)
Artificial Intelligence (incl. Robotics).
(71)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
231 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Distributed Graph Algorithms for Computer Networks
Distributed Graph Algorithms for Computer Networks
Author 
Erciyes, K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331165.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5173-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Guide to Programming and Algorithms Using R
Guide to Programming and Algorithms Using R
Author 
Ergül, Özgür. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331192.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Fundamentals of Parameterized Complexity
Fundamentals of Parameterized Complexity
Author 
Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331218.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Fast Compact Algorithms and Software for Spline Smoothing
Fast Compact Algorithms and Software for Spline Smoothing
Author 
Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for The Tower of Hanoi – Myths and Maths
The Tower of Hanoi – Myths and Maths
Author 
Hinz, Andreas M. author. Klavžar, Sandi. author. Milutinović, Uroš. author. Petr, Ciril. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332606.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0237-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
Cover image for Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings
Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings
Author 
Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.
Preferred Shelf Number 
ONLINE(332901.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02126-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings
Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings
Author 
Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332932.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02624-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings
Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings
Author 
Qing, Sihan. editor. Zhou, Jianying. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332941.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02726-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action