Limit Search Results
Author
SpringerLink (Online service)
(868)
Jansen, Klaus. editor.
(13)
Mayr, Ernst W. editor.
(9)
Du, Ding-Zhu. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Language
Publication Date
-
2011
(95)
2010
(89)
2013
(88)
2012
(86)
2005
(84)
Subject
Computer science.
(740)
Computer software.
(545)
Computer Communication Networks.
(228)
Data structures (Computer science).
(213)
Artificial intelligence.
(197)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
868 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Hypergraph Theory An Introduction
Hypergraph Theory An Introduction
Author 
Bretto, Alain. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332674.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00080-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Ramsey Theory for Discrete Structures
Ramsey Theory for Discrete Structures
Author 
Prömel, Hans Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332857.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01315-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Concise Computer Mathematics Tutorials on Theory and Problems
Concise Computer Mathematics Tutorials on Theory and Problems
Author 
Bagdasar, Ovidiu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332887.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Combinatorial Search: From Algorithms to Systems
Combinatorial Search: From Algorithms to Systems
Author 
Hamadi, Youssef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Lineare Algebra für die Informatik Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen
Lineare Algebra für die Informatik Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen
Author 
Witt, Kurt-Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337446.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00189-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Quantum Computing verstehen Grundlagen - Anwendungen - Perspektiven
Quantum Computing verstehen Grundlagen - Anwendungen - Perspektiven
Author 
Homeister, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338347.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2278-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
Author 
Makinson, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Cryptography and Security: From Theory to Applications Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday
Cryptography and Security: From Theory to Applications Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday
Author 
Naccache, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings
LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings
Author 
Fernández-Baca, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29344-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Author 
Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32211-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action