Limit Search Results
Author
SpringerLink (Online service)
(668)
Quarteroni, Alfio. author.
(19)
Resch, Michael. editor.
(11)
Saleri, Fausto. author.
(11)
Nagel, Wolfgang E. editor.
(10)
Language
Publication Date
-
Subject
Computer science.
(452)
Computer science -- Mathematics.
(280)
Engineering mathematics.
(104)
Mathematical optimization.
(70)
Numerical analysis.
(64)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
680 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Author 
Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
Author 
Janssen, Jeannette. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77294-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
Author 
Kohlhase, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11826095
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Combinatorial and Algorithmic Aspects of Networking Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers
Combinatorial and Algorithmic Aspects of Networking Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers
Author 
Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11922377
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author 
Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618027
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
Author 
Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11812289
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers
Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers
Author 
López-Ortiz, Alejandro. editor. Hamel, Angèle M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527954
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Author 
Huang, De-Shuang. editor. Gupta, Phalguni. editor. Wang, Ling. editor. Gromiha, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334835.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39678-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Reactive Search and Intelligent Optimization
Reactive Search and Intelligent Optimization
Author 
Battiti, Roberto. author. Brunato, Mauro. author. Mascia, Franco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09624-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Graphs, Dioids and Semirings New Models and Algorithms
Graphs, Dioids and Semirings New Models and Algorithms
Author 
Gondran, Michel. author. Minoux, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75450-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Graph Theory, Combinatorics and Algorithms Interdisciplinary Applications
Graph Theory, Combinatorics and Algorithms Interdisciplinary Applications
Author 
Golumbic, Martin Charles. editor. Hartman, Irith Ben-Arroyo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106672
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Metaheuristic Optimization via Memory and Evolution Tabu Search and Scatter Search
Metaheuristic Optimization via Memory and Evolution Tabu Search and Scatter Search
Author 
Sharda, Ramesh. editor. Voß, Stefan. editor. Rego, César. editor. Alidaee, Bahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b102147
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action