Limit Search Results
Author
SpringerLink (Online service)
(107)
Langtangen, Hans Petter. author.
(4)
Enns, Richard H. author.
(3)
Pardalos, Panos M. author.
(3)
Sako, Kazue. editor.
(3)
Language
Publication Date
-
Subject
Computer software.
(82)
Computer science.
(52)
Algorithms.
(22)
Computer science -- Mathematics.
(18)
Software engineering.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
107 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Introduction to Global Optimization Exploiting Space-Filling Curves
Introduction to Global Optimization Exploiting Space-Filling Curves
Author 
Sergeyev, Yaroslav D. author. Strongin, Roman G. author. Lera, Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332385.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8042-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Visual Mathematics and Cyberlearning
Visual Mathematics and Cyberlearning
Author 
Martinovic, Dragana. editor. Freiman, Viktor. editor. Karadag, Zekeriya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335714.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2321-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
Cover image for The SimCalc Vision and Contributions Democratizing Access to Important Mathematics
The SimCalc Vision and Contributions Democratizing Access to Important Mathematics
Author 
Hegedus, Stephen J. editor. Roschelle, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336043.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5696-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Beginning R An Introduction to Statistical Programming
Beginning R An Introduction to Statistical Programming
Author 
Pace, Larry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4555-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
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:
32. 
Cover image for Abgründe der Informatik Geheimnisse und Gemeinheiten
Abgründe der Informatik Geheimnisse und Gemeinheiten
Author 
Potton, Alois. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22975-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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:
34. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Author 
Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31612-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings
Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings
Author 
Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34266-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings
Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings
Author 
Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34961-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets