close
1.

電子ブック
ＥＢ
1. 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…
2.

電子ブック
ＥＢ
2. 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…
3.

電子ブック
ＥＢ
3. 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…
4.

電子ブック
ＥＢ
4. Fixed-Point Algorithms for Inverse Problems in Science and Engineering
edited by Heinz H. Bauschke, Regina S. Burachik, Patrick L. Combettes, Veit Elser, D. Russell Luke, Henry Wolkowicz
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Optimization and Its Applications ; 49
オンライン: http://dx.doi.org/10.1007/978-1-4419-9569-8
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. 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…
6.

電子ブック
ＥＢ
6. 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…
7.

電子ブック
ＥＢ
7. 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…
8.

電子ブック
ＥＢ
8. 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…
9.

電子ブック
ＥＢ
9. Ricerca Operativa
by Paolo Serafini
出版情報: Milano : Springer Milan, 2009
シリーズ名: UNITEXT ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0846-5
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Queueing Theory : A Linear Algebraic Approach
by Lester Lipsky
出版情報: New York, NY : Springer Science+Business Media, LLC, 2009
オンライン: http://dx.doi.org/10.1007/ 978-0-387-49706-8
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. 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…
12.

電子ブック
ＥＢ
12. Design and Analysis of Approximation Algorithms
by Ding-Zhu Du, Ker-I Ko, Xiaodong Hu
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: Springer Optimization and Its Applications ; 62
オンライン: http://dx.doi.org/10.1007/978-1-4614-1701-9
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. 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…
14.

電子ブック
ＥＢ
14. Monte Carlo and Quasi-Monte Carlo Methods 2010
edited by Leszek Plaskota, Henryk Woźniakowski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 23
オンライン: http://dx.doi.org/10.1007/978-3-642-27440-4
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Connected Dominating Set: Theory and Applications
by Ding-Zhu Du, Peng-Jun Wan
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Springer Optimization and Its Applications ; 77
オンライン: http://dx.doi.org/10.1007/978-1-4614-5242-3
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Structure of Solutions of Variational Problems
by Alexander J. Zaslavski
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-6387-0
所蔵情報: loading…
目次情報: 続きを見る
Preface
1. Introduction
2. Nonautonomous problems
3.Autonomous problems
4.Convex Autonomous Problems
References
Index
Preface
1. Introduction
2. Nonautonomous problems
17.

電子ブック
ＥＢ
17. Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction
by Pavel Pudlák
出版情報: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-3-319-00119-7
所蔵情報: loading…
目次情報: 続きを見る
Mathematician’s world
Language, logic and computations
Set theory
Proofs of impossibility
The complexity of computations
Proof complexity
Consistency, Truth and Existence
References.
Mathematician’s world
Language, logic and computations
Set theory
18.

電子ブック
ＥＢ
18. Numerical Optimization : Theoretical and Practical Aspects
by J. Frédéric Bonnans, J. Charles Gilbert, Claude Lemaréchal, Claudia A. Sagastizábal
出版情報: Berlin, Heidelberg : Springer, 2006
オンライン: http://dx.doi.org/10.1007/978-3-540-35447-5
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Entropy, Search, Complexity
edited by Imre Csiszár, Gyula O. H. Katona, Gábor Tardos, Gábor Wiener
出版情報: Berlin, Heidelberg : János Bolyai Mathematical Society and Springer-Verlag, 2007
シリーズ名: Bolyai Society Mathematical Studies ; 16
オンライン: http://dx.doi.org/10.1007/978-3-540-32777-6
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Handbook of Floating-Point Arithmetic. 1
by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Lefèvre Vincent, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres
出版情報: Boston : Birkhäuser Boston, 2010
オンライン: http://dx.doi.org/10.1007/978-0-8176-4705-6
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Matrices and Matroids for Systems Analysis
by Kazuo Murota
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Algorithms and Combinatorics ; 20
オンライン: http://dx.doi.org/10.1007/978-3-642-03994-2
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Sparsity : Graphs, Structures, and Algorithms
by Jaroslav Nešetřil, Patrice Ossona de Mendez
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
シリーズ名: Algorithms and Combinatorics ; 28
オンライン: http://dx.doi.org/10.1007/978-3-642-27875-4
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. The Tower of Hanoi – Myths and Maths
by Andreas M. Hinz, Sandi Klavžar, Uroš Milutinović, Ciril Petr
出版情報: Basel : Springer Basel : Imprint: Birkhäuser, 2013
オンライン: http://dx.doi.org/10.1007/978-3-0348-0237-6
所蔵情報: loading…
目次情報: 続きを見る
Foreword by Ian Stewart
Preface
0 The Beginning of the World
1 The Chinese Rings
2 The Classical Tower of Hanoi
3 Lucas’s Second Problem
4 Sierpinski Graphs
5 The Tower of Hanoi with More Pegs
6 Variations of the Puzzle
7 The Tower of London
8 Tower of Hanoi Variants with Oriented Disc Moves
9 The End of the World
A Hints and Solutions to Exercises
Glossary
Bibliography
Name Index
Subject Index
Symbol Index
Foreword by Ian Stewart
Preface
0 The Beginning of the World