Limit Search Results
Author
SpringerLink (Online service)
(592)
Du, Ding-Zhu. editor.
(9)
Rießinger, Thomas. author.
(8)
Apduhan, Bernady O. editor.
(6)
Falcão, Maria Irene. editor.
(6)
Language
Publication Date
-
2014
(175)
2019
(128)
2006
(43)
2012
(35)
2005
(34)
Subject
Computer science.
(186)
Artificial intelligence.
(149)
Computer software.
(143)
Computational complexity.
(115)
Mathematics.
(100)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
592 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Arithmetics
Arithmetics
Author 
Hindry, Marc. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2131-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
Author 
Rießinger, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16851-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Übungsaufgaben zur Mathematik für Ingenieure Mit durchgerechneten und erklärten Lösungen
Übungsaufgaben zur Mathematik für Ingenieure Mit durchgerechneten und erklärten Lösungen
Author 
Rießinger, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16853-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Perspectives on Projective Geometry A Guided Tour Through Real and Complex Geometry
Perspectives on Projective Geometry A Guided Tour Through Real and Complex Geometry
Author 
Richter-Gebert, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17286-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Author 
Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch
Mathematik für Ingenieure Ein anwendungsorientiertes Lehrbuch
Author 
Westermann, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12760-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman
Author 
Goldreich, Oded. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22670-0
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Treatise on Intuitionistic Type Theory
Treatise on Intuitionistic Type Theory
Author 
Granström, Johan Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1736-7
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Vector Optimization with Infimum and Supremum
Vector Optimization with Infimum and Supremum
Author 
Löhne, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18351-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Game Start! Strumenti per comprendere i videogiochi
Game Start! Strumenti per comprendere i videogiochi
Author 
Alinovi, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1956-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Algorithms and Programming Problems and Solutions
Algorithms and Programming Problems and Solutions
Author 
Shen, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1748-5
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for The P=NP Question and Gödel’s Lost Letter
The P=NP Question and Gödel’s Lost Letter
Author 
Lipton, Richard J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action