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
Select an Action
107 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
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:
39. 
Cover image for A Primer on Scientific Programming with Python
A Primer on Scientific Programming with Python
Author 
Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30293-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
42. 
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:
43. 
Cover image for Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles
Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles
Author 
Han, Maoan. author. Yu, Pei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2918-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Pyomo – Optimization Modeling in Python
Pyomo – Optimization Modeling in Python
Author 
Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3226-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
Cover image for Fixed-Point Algorithms for Inverse Problems in Science and Engineering
Fixed-Point Algorithms for Inverse Problems in Science and Engineering
Author 
Bauschke, Heinz H. editor. Burachik, Regina S. editor. Combettes, Patrick L. editor. Elser, Veit. editor. Luke, D. Russell. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9569-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Algorithms Unplugged
Algorithms Unplugged
Author 
Vöcking, Berthold. editor. Alt, Helmut. editor. Dietzfelbinger, Martin. editor. Reischuk, Rüdiger. editor. Scheideler, Christian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15328-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings
Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings
Author 
Baras, John S. editor. Katz, Jonathan. editor. Altman, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25280-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action