close
1.

電子ブック
ＥＢ
1. Evolutionary Computation for Modeling and Optimization
by Daniel Ashlock
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-31909-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Optimization in Public Transportation : Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network
by Anita Schöbel
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Springer Optimization and Its Applications ; 3
オンライン: http://dx.doi.org/10.1007/978-0-387-36643-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Differential Evolution : In Search of Solutions
by Vitaliy Feoktistov
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Springer Optimization and Its Applications ; 5
オンライン: http://dx.doi.org/10.1007/978-0-387-36896-2
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. The Mathematica GuideBook for Numerics
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28814-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. The Mathematica GuideBook for Symbolics
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28815-5
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Global Optimization : From Theory to Implementation
edited by Leo Liberti, Nelson Maculan
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Nonconvex Optimization and Its Applications ; 84
オンライン: http://dx.doi.org/10.1007/0-387-30528-9
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Algorithms and Programming : Problems and Solutions. 2
by Alexander Shen
出版情報: New York, NY : Springer-Verlag New York, 2010
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-1748-5
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Notes on Introductory Combinatorics. 1st
by George Pólya, Robert E. Tarjan, Donald R. Woods
出版情報: Boston : Birkhäuser Boston, 2010
シリーズ名: Modern Birkhäuser Classics ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4953-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Mathematics for Multimedia. 1
by Mladen Victor Wickerhauser
出版情報: Boston : Birkhäuser Boston, 2010
シリーズ名: Applied and Numerical Harmonic Analysis ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4880-0
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. System Identification with Quantized Observations
by Le Yi Wang, G. George Yin, Ji-Feng Zhang, Yanlong Zhao
出版情報: Boston : Springer Science+Business Media, LLC, 2010
シリーズ名: Systems & Control: Foundations & Applications ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4956-2
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Linear Optimization : The Simplex Workbook
by Glenn Hurlbert
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-79148-7
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Triangulations : Structures for Algorithms and Applications
by Jesús A. Loera, Jörg Rambau, Francisco Santos
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Algorithms and Computation in Mathematics ; 25
オンライン: http://dx.doi.org/10.1007/978-3-642-12971-1
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Perspectives on Projective Geometry : A Guided Tour Through Real and Complex Geometry
by Jürgen Richter-Gebert
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-17286-1
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. The Linear Ordering Problem : Exact and Heuristic Methods in Combinatorial Optimization
by Rafael Martí, Gerhard Reinelt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Applied Mathematical Sciences ; 175
オンライン: http://dx.doi.org/10.1007/978-3-642-16729-4
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Evolutionary Statistical Procedures : An Evolutionary Computation Approach to Statistical Procedures Designs and Applications
by Roberto Baragona, Francesco Battaglia, Irene Poli
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Statistics and Computing ;
オンライン: http://dx.doi.org/10.1007/978-3-642-16218-3
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Approximation Algorithms for Complex Systems : Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009
edited by Emmanuil H Georgoulis, Armin Iske, Jeremy Levesley
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Springer Proceedings in Mathematics ; 3
オンライン: http://dx.doi.org/10.1007/978-3-642-16876-5
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Convex Analysis and Monotone Operator Theory in Hilbert Spaces
by Heinz H. Bauschke, Patrick L. Combettes
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: CMS Books in Mathematics, Ouvrages de mathématiques de la SMC ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-9467-7
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Arithmetics
by Marc Hindry
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-2131-2
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Mathematical Aspects of Network Routing Optimization. 1
by Carlos A.S. Oliveira, Panos M. Pardalos
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Optimization and Its Applications ; 53
オンライン: http://dx.doi.org/10.1007/978-1-4614-0311-1
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Game Theory for Control of Optical Networks
by Lacra Pavel
出版情報: Boston : Birkhäuser Boston, 2012
シリーズ名: Static & Dynamic Game Theory: Foundations & Applications ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-8322-1
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. A Singular Introduction to Commutative Algebra
by Gert-Martin Greuel, Gerhard Pfister
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
オンライン: http://dx.doi.org/10.1007/978-3-540-73542-7
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Horizons of Combinatorics
edited by Gábor Fejes Tóth, Dezső Miklós, Ervin Győri, Gyula O. H. Katona, László Lovász, Gábor Sági
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
シリーズ名: Bolyai Society Mathematical Studies ; 17
オンライン: http://dx.doi.org/10.1007/978-3-540-77200-2
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Algoritmi : Lo spirito dell’informatica
by David Harel, Yishai Feldman
出版情報: Milano : Springer-Verlag Italia, Milano, 2008
シリーズ名: Unitext ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0580-8
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Digraphs : Theory, Algorithms and Applications
by Jørgen Bang-Jensen, Gregory Z. Gutin
出版情報: London : Springer-Verlag London Limited, 2009
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-84800-998-1
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Optimal Design and Related Areas in Optimization and Statistics
edited by Luc Pronzato, Anatoly Zhigljavsky
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: Springer Optimization and Its Applications ; 28
オンライン: http://dx.doi.org/10.1007/978-0-387-79936-0
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Random Trees : An Interplay between Combinatorics and Probability
by Michael Drmota
出版情報: Vienna : Springer Vienna, 2009
オンライン: http://dx.doi.org/10.1007/978-3-211-75357-6
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Computability of Julia Sets
by Mark Braverman, Michael Yampolsky ; edited by Arjeh M. Cohen, Henri Cohen, David Eisenbud, Michael F. Singer, Bernd Sturmfels
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Algorithms and Computation in Mathematics ; 23
オンライン: http://dx.doi.org/10.1007/978-3-540-68547-0
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Algorithmic Composition : Paradigms of Automated Music Generation
by Gerhard Nierhaus
出版情報: Vienna : Springer Vienna, 2009
オンライン: http://dx.doi.org/10.1007/978-3-211-75540-2
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Explorations in Monte Carlo Methods
by Ronald W. Shonkwiler, Franklin Mendivil
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-87837-9
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Encyclopedia of Optimization. Second Edition
edited by Christodoulos A. Floudas, Panos M. Pardalos
出版情報: Boston, MA : Springer-Verlag, 2009
オンライン: http://dx.doi.org/10.1007/978-0-387-74759-0
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. G.W. Stewart : Selected Works with Commentaries
edited by Misha E. Kilmer, Dianne P. O'Leary
出版情報: Boston : Springer Science+Business Media, LLC, 2010
シリーズ名: Contemporary Mathematicians ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4968-5
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Algorithmic Randomness and Complexity. 1
by Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Theory and Applications of Computability, In cooperation with the association Computability in Europe ;
オンライン: http://dx.doi.org/10.1007/978-0-387-68441-3
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Statistical Signal Processing : Frequency Estimation
by Debasis Kundu, Swagata Nandi
出版情報: India : Springer India, 2012
シリーズ名: SpringerBriefs in Statistics ;
オンライン: http://dx.doi.org/10.1007/978-81-322-0628-6
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. The Linear Algebra a Beginning Graduate Student Ought to Know. 3rd ed. 2012
by Jonathan S. Golan
出版情報: Dordrecht : Springer Netherlands, 2012
オンライン: http://dx.doi.org/10.1007/978-94-007-2636-9
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Deterministic Global Optimization : Geometric Branch-and-bound Methods and their Applications
by Daniel Scholz
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: Springer Optimization and Its Applications ; 63
オンライン: http://dx.doi.org/10.1007/978-1-4614-1951-8
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Just-in-Time Systems. 1
edited by Roger Z. Ríos-Mercado, Yasmín A. Ríos-Solís
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: Springer Optimization and Its Applications ; 60
オンライン: http://dx.doi.org/10.1007/978-1-4614-1123-9
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Prime Numbers and Computer Methods for Factorization
by Hans Riesel
出版情報: Boston : Springer Science+Business Media, LLC, 2012
シリーズ名: Modern Birkhäuser Classics ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-8298-9
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Sensors: Theory, Algorithms, and Applications
edited by Vladimir L. Boginski, Clayton W. Commander, Panos M. Pardalos, Yinyu Ye
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: Springer Optimization and Its Applications ; 61
オンライン: http://dx.doi.org/10.1007/978-0-387-88619-0
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Mixed Integer Nonlinear Programming
edited by Jon Lee, Sven Leyffer
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: The IMA Volumes in Mathematics and its Applications ; 154
オンライン: http://dx.doi.org/10.1007/978-1-4614-1927-3
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Approximation Methods for Polynomial Optimization : Models, Algorithms, and Applications
by Zhening Li, Simai He, Shuzhong Zhang
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-3984-4
所蔵情報: loading…
目次情報: 続きを見る
1.  Introduction.-2. Polynomial over the Euclidean Ball
3. Extensions of the Constraint Sets
4. Applications
5. Concluding Remarks
1.  Introduction.-2. Polynomial over the Euclidean Ball
3. Extensions of the Constraint Sets
4. Applications
41.

電子ブック
ＥＢ
41. Stationarity and Convergence in Reduce-or-Retreat Minimization
by Adam B. Levy
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-4642-2
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Data Correcting Approaches in Combinatorial Optimization
by Boris Goldengorin, Panos M. Pardalos
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-5286-7
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Polyhedral and Algebraic Methods in Computational Geometry
by Michael Joswig, Thorsten Theobald
出版情報: London : Springer London : Imprint: Springer, 2013
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-4817-3
所蔵情報: loading…
目次情報: 続きを見る
Introduction and Overview
Geometric Fundamentals
Polytopes and Polyhedra
Linear Programming
Computation of Convex Hulls
Voronoi Diagrams
Delone Triangulations
Algebraic and Geometric Foundations
Gröbner Bases and Buchberger’s Algorithm
Solving Systems of Polynomial Equations Using Gröbner Bases
Reconstruction of Curves
Plücker Coordinates and Lines in Space
Applications of Non-Linear Computational Geometry
Algebraic Structures
Separation Theorems
Algorithms and Complexity
Software
Notation
Introduction and Overview
Geometric Fundamentals
Polytopes and Polyhedra
44.

電子ブック
ＥＢ
44. Stream Ciphers
by Andreas Klein
出版情報: London : Springer London : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-1-4471-5079-4
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Stream Ciphers
Linear Feedback Shift Registers
Non-linear Combinations of LFSRs
Correlation Attacks
BDD-Based Attacks
Algebraic Attacks
Irregular Clocked Shift Registers
The Security of Mobile Phones (GSM)
RC4 and Related Ciphers
The eStream Project
The Blum-Blum-Shub Generator and Related Ciphers
Mathematical Background
Part IV Exercises with Solutions
Introduction to Stream Ciphers
Linear Feedback Shift Registers
Non-linear Combinations of LFSRs
45.

電子ブック
ＥＢ
45. Recent Advances in Harmonic Analysis and Applications : In Honor of Konstantin Oskolkov
edited by Dmitriy Bilyk, Laura De Carli, Alexander Petukhov, Alexander M. Stokolos, Brett D. Wick
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 25
オンライン: http://dx.doi.org/10.1007/978-1-4614-4565-4
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Numerical Approximation of Exact Controls for Waves
by Sylvain Ervedoza, Enrique Zuazua
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-5808-1
所蔵情報: loading…
目次情報: 続きを見る
1.Numerical approximation of exact controls for waves
2.The discrete 1-d wave equation
3.Convergence for homogeneous boundary conditions
4.Convergence with non-homogeneous data
5. Further comments and open problems
References
1.Numerical approximation of exact controls for waves
2.The discrete 1-d wave equation
3.Convergence for homogeneous boundary conditions
47.

電子ブック
ＥＢ
47. An Introduction to Quasisymmetric Schur Functions : Hopf Algebras, Quasisymmetric Functions, and Young Composition Tableaux
by Kurt Luoto, Stefan Mykytiuk, Stephanie van Willigenburg
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-7300-8
所蔵情報: loading…
目次情報: 続きを見る
1. Introduction
2. Classical combinatorial concepts
3. Hopf algebras
4. Compsition tableaux and further combinatorial concepts
5. Quasisymmetric Schur functions
References
Index
1. Introduction
2. Classical combinatorial concepts
3. Hopf algebras
48.

電子ブック
ＥＢ
48. Space-Filling Curves : An Introduction with Applications in Scientific Computing
by Michael Bader
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Texts in Computational Science and Engineering ; 9
オンライン: http://dx.doi.org/10.1007/978-3-642-31046-1
所蔵情報: loading…
目次情報: 続きを見る
Two Motivating Examples
How to Construct Space-Filling Curves
Grammar-Based Description of Space-Filling Curves
Arithmetic Representation of Space-Filling Curves
Approximating Polygons
Sierpinski Curves
Further Space-Filling Curves
Space-Filling Curves in 3D
Refinement Trees and Space-Filling Curves
Parallelisation with Space-Filling Curves
Locality Properties of Space-Filling Curves
Sierpinski Curves on Triangular and Tetrahedral Meshes
Case Study: Cache Efficient Algorithms for Matrix Operations
Case Study: Numerical Simulation on Spacetree Grids Using Space-Filling Curves.- Further Applications of Space-Filling Curves.- Solutions to Selected Exercises.- References
Index
Two Motivating Examples
How to Construct Space-Filling Curves
Grammar-Based Description of Space-Filling Curves
49.

電子ブック
ＥＢ
49. Topics in Matroid Theory
by Leonidas S. Pitsoulis
出版情報: New York, NY : Springer New York : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-8957-3
所蔵情報: loading…
目次情報: 続きを見る
1.Introduction
2.Graph Theory, Vector Spaces and Transversals
3.Definition of Matroids
4.Representability, Duality, Minors, and Connectivity
5. Decomposition of Graphic Matroids
6.Signed-Graphic Matroids
List of Symbols
Index
1.Introduction
2.Graph Theory, Vector Spaces and Transversals
3.Definition of Matroids
50.

電子ブック
ＥＢ
50. Hypergeometric Summation : An Algorithmic Approach to Summation and Special Function Identities. 2nd ed. 2014
by Wolfram Koepf
出版情報: London : Springer London : Imprint: Springer, 2014
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-6464-7
所蔵情報: loading…
目次情報: 続きを見る
Introduction
The Gamma Function
Hypergeometric Identities
Hypergeometric Database
Holonomic Recurrence Equations
Gosper’s Algorithm
The Wilf-Zeilberger Method
Zeilberger’s Algorithm
Extensions of the Algorithms
Petkovˇsek’s and Van Hoeij’s Algorithm
Differential Equations for Sums
Hyperexponential Antiderivatives
Holonomic Equations for Integrals
Rodrigues Formulas and Generating Functions
Introduction
The Gamma Function
Hypergeometric Identities