Limit Search Results
Author
SpringerLink (Online service)
(83)
Enns, Richard H. author.
(3)
Sako, Kazue. editor.
(3)
Baras, John S. editor.
(2)
Borwein, Jonathan M. author.
(2)
Language
Publication Date
-
Subject
Computer software.
(82)
Computer science.
(36)
Algorithms.
(21)
Computer science -- Mathematics.
(15)
Mathematical optimization.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
83 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Technologien im Mathematikunterricht Eine Sammlung von Trends und Ideen
Technologien im Mathematikunterricht Eine Sammlung von Trends und Ideen
Author 
Ruppert, Markus. editor. Wörler, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-03008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
Cover image for Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Author 
Pudlák, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332681.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Author 
Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Übungsbuch Mathematik für Wirtschaftswissenschaftler Aufgabensammlung mit ausführlichen Lösungen
Übungsbuch Mathematik für Wirtschaftswissenschaftler Aufgabensammlung mit ausführlichen Lösungen
Author 
Wendler, Tilo. author. Tippe, Ulrike. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337084.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34008-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Design and Analysis of Approximation Algorithms
Design and Analysis of Approximation Algorithms
Author 
Du, Ding-Zhu. author. Ko, Ker-I. author. Hu, Xiaodong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1701-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Approximation Algorithms and Semidefinite Programming
Approximation Algorithms and Semidefinite Programming
Author 
Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22015-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Author 
Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23099-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Recent Advances in Algorithmic Differentiation
Recent Advances in Algorithmic Differentiation
Author 
Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Monte Carlo and Quasi-Monte Carlo Methods 2010
Monte Carlo and Quasi-Monte Carlo Methods 2010
Author 
Plaskota, Leszek. editor. Woźniakowski, Henryk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27440-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Sparsity Graphs, Structures, and Algorithms
Sparsity Graphs, Structures, and Algorithms
Author 
Nešetřil, Jaroslav. author. Ossona de Mendez, Patrice. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27875-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action