Limit Search Results
Author
SpringerLink (Online service)
(72)
Dongarra, Jack. editor.
(2)
Jónasson, Kristján. editor.
(2)
Karczewski, Konrad. editor.
(2)
Korte, Bernhard. author.
(2)
Language
Subject
Mathematics.
(46)
Engineering mathematics.
(19)
Computer science -- Mathematics.
(17)
Computer software.
(13)
Engineering.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
72 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Mathematics of Approximation
Mathematics of Approximation
Author 
Villiers, Johan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-50-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematics and Modern Art Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010
Mathematics and Modern Art Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010
Author 
Bruter, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24497-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematics of Discrete Structures for Computer Science
Mathematics of Discrete Structures for Computer Science
Author 
Pace, Gordon J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Applications of Mathematics and Informatics in Military Science
Applications of Mathematics and Informatics in Military Science
Author 
Daras, Nicholas J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4109-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Author 
Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31113-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
Author 
Henderson-Sellers, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29825-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Author 
Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31374-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31464-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31500-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Visualization in Medicine and Life Sciences II Progress and New Challenges
Visualization in Medicine and Life Sciences II Progress and New Challenges
Author 
Linsen, Lars. editor. Hagen, Hans. editor. Hamann, Bernd. editor. Hege, Hans-Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21608-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Analyzing Markov Chains using Kronecker Products Theory and Applications
Analyzing Markov Chains using Kronecker Products Theory and Applications
Author 
Dayar, Tuğrul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4190-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Multiscale and Adaptivity: Modeling, Numerics and Applications C.I.M.E. Summer School, Cetraro, Italy 2009, Editors: Giovanni Naldi, Giovanni Russo
Multiscale and Adaptivity: Modeling, Numerics and Applications C.I.M.E. Summer School, Cetraro, Italy 2009, Editors: Giovanni Naldi, Giovanni Russo
Author 
Bertoluzza, Silvia. author. Nochetto, Ricardo H. author. Quarteroni, Alfio. author. Siebert, Kunibert G. author. Veeser, Andreas. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24079-9
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for An Introduction to Modern Mathematical Computing With Mathematica®
An Introduction to Modern Mathematical Computing With Mathematica®
Author 
Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4253-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Numerical Analysis
Numerical Analysis
Author 
Gautschi, Walter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8259-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Utility Maximization in Nonconvex Wireless Systems
Utility Maximization in Nonconvex Wireless Systems
Author 
Brehmer, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17438-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Pen-and-Paper User Interfaces Integrating Printed and Digital Documents
Pen-and-Paper User Interfaces Integrating Printed and Digital Documents
Author 
Steimle, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20276-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Das Studium: Vom Start zum Ziel Lei(d)tfaden für Studierende
Das Studium: Vom Start zum Ziel Lei(d)tfaden für Studierende
Author 
Messing, Barbara. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009
Numerical Analysis of Multiscale Computations Proceedings of a Winter Workshop at the Banff International Research Station 2009
Author 
Engquist, Björn. editor. Runborg, Olof. editor. Tsai, Yen-Hsi R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21943-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Numerical Analysis of Multiscale Problems
Numerical Analysis of Multiscale Problems
Author 
Graham, Ivan G. editor. Hou, Thomas Y. editor. Lakkis, Omar. editor. Scheichl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22061-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for High Performance Computing on Vector Systems 2011
High Performance Computing on Vector Systems 2011
Author 
Resch, Michael. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22244-3
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 Fractional Order Signal Processing Introductory Concepts and Applications
Fractional Order Signal Processing Introductory Concepts and Applications
Author 
Das, Saptarshi. author. Pan, Indranil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23117-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for High Performance Computing in Science and Engineering '11 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2011
High Performance Computing in Science and Engineering '11 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2011
Author 
Nagel, Wolfgang E. editor. Kröner, Dietmar B. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23869-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Der Wille zur Freiheit Eine gefährliche Reise durch Faschismus und Kommunismus
Der Wille zur Freiheit Eine gefährliche Reise durch Faschismus und Kommunismus
Author 
Balas, Egon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23921-2
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany
Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany
Author 
Bischof, Christian. editor. Hegering, Heinz-Gerd. editor. Nagel, Wolfgang E. editor. Wittum, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24025-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Combinatorial Optimization Theory and Algorithms
Combinatorial Optimization Theory and Algorithms
Author 
Korte, Bernhard. author. Vygen, Jens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24488-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Proceedings of the 20th International Meshing Roundtable
Proceedings of the 20th International Meshing Roundtable
Author 
Quadros, William Roshan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24734-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
Cover image for Einführung in Computational Social Choice Individuelle Strategien und kollektive Entscheidungen beim Spielen, Wählen und Teilen
Einführung in Computational Social Choice Individuelle Strategien und kollektive Entscheidungen beim Spielen, Wählen und Teilen
Author 
Rothe, Jörg. author. Baumeister, Dorothea. author. Lindner, Claudia. author. Rothe, Irene. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2571-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Crittografia nel Paese delle Meraviglie
Crittografia nel Paese delle Meraviglie
Author 
Venturi, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2481-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for The Science of Cities and Regions Lectures on Mathematical Model Design
The Science of Cities and Regions Lectures on Mathematical Model Design
Author 
Wilson, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2266-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Shearlets Multiscale Analysis for Multivariate Data
Shearlets Multiscale Analysis for Multivariate Data
Author 
Kutyniok, Gitta. editor. Labate, Demetrio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8316-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for A Brief History of Computing
A Brief History of Computing
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2359-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Matrix Transforms for Computer Games and Animation
Matrix Transforms for Computer Games and Animation
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4321-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computational Cancer Biology An Interaction Network Approach
Computational Cancer Biology An Interaction Network Approach
Author 
Vidyasagar, Mathukumalli. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4751-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Similarity and Modeling in Science and Engineering
Similarity and Modeling in Science and Engineering
Author 
Kuneš, Josef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-907343-78-0
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Éléments de théorie des graphes
Éléments de théorie des graphes
Author 
Bretto, Alain. author. Faisant, Alain. author. Hennecart, François. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-8178-0281-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
Author 
Makinson, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Stochastic Reachability Analysis of Hybrid Systems
Stochastic Reachability Analysis of Hybrid Systems
Author 
Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Modern Optimization Techniques with Applications in Electric Power Systems
Modern Optimization Techniques with Applications in Electric Power Systems
Author 
Soliman, Soliman Abdel-Hady. author. Mantawy, Abdel-Aal Hassan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1752-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Deterministic Global Optimization Geometric Branch-and-bound Methods and their Applications
Deterministic Global Optimization Geometric Branch-and-bound Methods and their Applications
Author 
Scholz, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1951-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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:
43. 
Cover image for The Cinderella.2 Manual Working with The Interactive Geometry Software
The Cinderella.2 Manual Working with The Interactive Geometry Software
Author 
Richter-Gebert, Jürgen. author. Kortenkamp, Ulrich H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34926-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Parallele Programmierung
Parallele Programmierung
Author 
Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13604-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for CGAL Arrangements and Their Applications A Step-by-Step Guide
CGAL Arrangements and Their Applications A Step-by-Step Guide
Author 
Fogel, Efi. author. Halperin, Dan. author. Wein, Ron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17283-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Inverse Analyses with Model Reduction Proper Orthogonal Decomposition in Structural Mechanics
Inverse Analyses with Model Reduction Proper Orthogonal Decomposition in Structural Mechanics
Author 
Buljak, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste
IRobot - uMan Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste
Author 
Barthelmeß, Ulrike. author. Furbach, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
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:
49. 
Cover image for LaTeX and Friends
LaTeX and Friends
Author 
van Dongen, M. R. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23816-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Boolean Function Complexity Advances and Frontiers
Boolean Function Complexity Advances and Frontiers
Author 
Jukna, Stasys. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24508-4
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Kombinatorische Optimierung Theorie und Algorithmen
Kombinatorische Optimierung Theorie und Algorithmen
Author 
Korte, Bernhard. author. Vygen, Jens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25401-7
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Soft Computing Methods for Microwave and Millimeter-Wave Design Problems
Soft Computing Methods for Microwave and Millimeter-Wave Design Problems
Author 
Chauhan, Narendra. author. Kartikeyan, Machavaram. author. Mittal, Ankush. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25563-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Thermo-Hydro-Mechanical-Chemical Processes in Porous Media Benchmarks and Examples
Thermo-Hydro-Mechanical-Chemical Processes in Porous Media Benchmarks and Examples
Author 
Kolditz, Olaf. editor. Görke, Uwe-Jens. editor. Shao, Hua. editor. Wang, Wenqing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27177-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for The Universal Machine From the Dawn of Computing to Digital Consciousness
The Universal Machine From the Dawn of Computing to Digital Consciousness
Author 
Watson, Ian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28102-0
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
Author 
Jónasson, Kristján. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28145-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I
Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I
Author 
Jónasson, Kristján. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28151-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28525-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings
Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings
Author 
Balasubramaniam, P. editor. Uthayakumar, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28926-2
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Nonlinear Flow Phenomena and Homotopy Analysis Fluid Flow and Heat Transfer
Nonlinear Flow Phenomena and Homotopy Analysis Fluid Flow and Heat Transfer
Author 
Vajravelu, Kuppalapalle. author. Gorder, Robert A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32102-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Computational Methods for Physicists Compendium for Students
Computational Methods for Physicists Compendium for Students
Author 
Sirca, Simon. author. Horvat, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32478-9
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Mathematik für Informatiker Ausführlich erklärt mit vielen Programmbeispielen und Aufgaben
Mathematik für Informatiker Ausführlich erklärt mit vielen Programmbeispielen und Aufgaben
Author 
Schubert, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-1995-6
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Mathematik für Informatiker Ein praxisbezogenes Lehrbuch
Mathematik für Informatiker Ein praxisbezogenes Lehrbuch
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2002-0
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Computational Intelligence Eine methodische Einführung in Künstliche Neuronale Netze, Evolutionäre Algorithmen, Fuzzy-Systeme und Bayes-Netze
Computational Intelligence Eine methodische Einführung in Künstliche Neuronale Netze, Evolutionäre Algorithmen, Fuzzy-Systeme und Bayes-Netze
Author 
Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Ruß, Georg. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8299-8
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Modeling, Simulation and Optimization of Complex Processes Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam
Modeling, Simulation and Optimization of Complex Processes Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam
Author 
Bock, Hans Georg. editor. Hoang, Xuan Phu. editor. Rannacher, Rolf. editor. Schlöder, Johannes P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25707-0
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
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:
66. 
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:
67. 
Cover image for Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing
Author 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
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:
69. 
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:
70. 
Cover image for Loewy Decomposition of Linear Differential Equations
Loewy Decomposition of Linear Differential Equations
Author 
Schwarz, Fritz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-1286-1
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Logic: A Brief Course
Logic: A Brief Course
Author 
Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2361-1
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Curves and Surfaces
Curves and Surfaces
Author 
Abate, Marco. author. Tovena, Francesca. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1941-6
Format: 
Availability 
Online Library~1
Available:
Copies: