Limit Search Results
Author
SpringerLink (Online service)
(106)
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
106 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Author 
Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332481.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9417-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
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:
16. 
Cover image for Robust Data Mining
Robust Data Mining
Author 
Xanthopoulos, Petros. author. Pardalos, Panos M. author. Trafalis, Theodore B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330861.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9878-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
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:
19. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42033-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335160.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
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:
22. 
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:
23. 
Cover image for Structure of Solutions of Variational Problems
Structure of Solutions of Variational Problems
Author 
Zaslavski, Alexander J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6387-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets