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. Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
by Fabio Mogavero
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
シリーズ名: Atlantis Studies in Computing ; 3
オンライン: http://dx.doi.org/10.2991/978-94-91216-95-4
所蔵情報: loading…
目次情報: 続きを見る
Graded Computation Tree Logic
Minimal Model Quantifiers
Reasoning About Strategies
Relentful Strategic Reasoning
Appendix A Mathematical Notation
Graded Computation Tree Logic
Minimal Model Quantifiers
Reasoning About Strategies
19.

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

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

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

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

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

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

電子ブック
ＥＢ
25. Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I. 1st ed. 2020
edited by Sheng Wen, Albert Zomaya, Laurence T. Yang
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11944
オンライン: https://doi.org/10.1007/978-3-030-38991-8
所蔵情報: loading…
目次情報: 続きを見る
PPS: A Low-Latency and Low-Complexity switching architecture based on packet prefetch and arbitration prediction
SWR: Using Windowed Reordering to Achieve Fast and Balanced Heuristic for Streaming Vertex-Cut Graph Partitioning
Flexible Data Flow Architecture for Embedded Hardware Accelerators
HBL-Sketch: a New Three-tier Sketch for Accurate Network Measurement
Accelerating Large Integer Multiplication Using Intel AVX-512IFMA
A Communication-Avoiding Algorithm for Molecular Dynamics Simulation
Out-of-Core GPU-Accelerated Causal Structure Learning
Accelerating Lattice Boltzmann Method by Fully Exposing Vectorizable Loops
A Solution for High Availability Memory Access
Verication of Microservices Using Metamorphic Testing
A New Robust and Reversible Watermarking Technique Based on Erasure Code
Exit-Less Hypercall: Asynchronous System Calls in Virtualized Processes
Automatic Optimization of Python Skeletal Parallel Programs
Distributed & Parallel & Network-based Computing Impromptu Rendezvous Based Multi-Threaded Algorithm for Shortest Lagrangian Path Problem on Road Networks
FANG: Fast and E cient Successor-State Generation for Heuristic Optimization on GPUs
DETER: Streaming Graph Partitioning via Combined Degree and Cluster Information
Which Node Properties Identify the Propagation Source in Networks?
t/t-Diagnosability of BCube Network
Strark-H: A Strategy for Spatial Data Storage to Improve Query Efficiency Based on Spark
Multitask Assignment Algorithm Based on Decision Tree in Spatial Crowdsourcing Environment
TIMOM: a novel time in uence multi-objective optimization cloud data storage model for business process management
RTEF-PP: A Robust Trust Evaluation Framework with Privacy Protection for Cloud Services Providers
A Privacy-Preserving Access Control Scheme with Veri able and Outsourcing Capabilities in Fog-Cloud Computing
Utility-aware Edge Server Deployment in Mobile Edge Computing
Predicting Hard Drive Failures for Cloud Storage Systems
Efficient Pattern Matching on CPU-GPU Heterogeneous Systems
Improving Performance of Batch Point-to-point Communications by Active Contention Reduction through Congestion-avoiding Message Scheduling
Applications of Distributed & Parallel Computing
An Open Identity Authentication Scheme Based on Blockchain
RBAC-GLA role-based access control gasless architecture of consortium blockchain
Developing Patrol Strategies for the Cooperative Opportunistic Criminals
Deep Learning vs. Traditional Probabilistic Models: Case Study on Short Inputs for Password Guessing
PPS: A Low-Latency and Low-Complexity switching architecture based on packet prefetch and arbitration prediction
SWR: Using Windowed Reordering to Achieve Fast and Balanced Heuristic for Streaming Vertex-Cut Graph Partitioning
Flexible Data Flow Architecture for Embedded Hardware Accelerators
26.

電子ブック
ＥＢ
26. Optimal Social Influence. 1st ed. 2020
by Wen Xu, Weili Wu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: SpringerBriefs in Optimization ;
オンライン: https://doi.org/10.1007/978-3-030-37775-5
所蔵情報: loading…
目次情報: 続きを見る
1. Introduction of Social Influence Analysis
2. Diffusion of Information
3. Information Source Detection in Social Networks
4. Rumor Blocking in Social Networks
5. Multiple Social Influence: Models and Applications
1. Introduction of Social Influence Analysis
2. Diffusion of Information
3. Information Source Detection in Social Networks
27.

電子ブック
ＥＢ
27. Learning and Intelligent Optimization : 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers. 1st ed. 2020
edited by Nikolaos F. Matsatsinis, Yannis Marinakis, Panos Pardalos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11968
オンライン: https://doi.org/10.1007/978-3-030-38629-0
所蔵情報: loading…
目次情報: 続きを見る
Machine learning
Artificial Intelligence
Machine learning approaches
Bio-inspired optimization
Optimization with randomized search heuristics
Evolutionary algorithms
Continuous optimization
Mathematical optimization
Routing and network design problems
Supervised learning
Unsupervised learning
Reinforcement learning
Planning and scheduling
Distributed artificial intelligence
Multi-agent systems
Intelligent agents
Machine learning
Artificial Intelligence
Machine learning approaches