1 |
|
Advances in Algorithms, Languages, and Complexity [Ebook]
|
|
1997 |
|
Shelf Location: Online resource: Springer.
|
2 |
|
Advances in Optimization and Approximation [Ebook]
|
|
1994 |
|
Shelf Location: Online resource: Springer.
|
3 |
|
Advances in Randomized Parallel Computing [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
4 |
|
Advances in Steiner Trees [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
5 |
|
Advances in Temporal Logic [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
6 |
|
Algebraic Combinatorics and Applications: Proceedings of the Euroconference, Algebraic Combinatorics and Applications (ALCOMA), held in Gößweinstein, Germany, September 12–19, 1999 / [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
7 |
|
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
8 |
|
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
9 |
|
Approximation and Complexity in Numerical Optimization: Continuous and Discrete Problems / [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
10 |
|
Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
11 |
|
Cellular Automata: A Parallel Model / [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
12 |
|
Cellular Automata, Dynamical Systems and Neural Networks [Ebook]
|
|
1994 |
|
Shelf Location: Online resource: Springer.
|
13 |
|
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III” / [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
14 |
|
Classification, Clustering, and Data Mining Applications: Proceedings of the Meeting of the International Federation of Classification Societies (IFCS), Illinois Institute of Technology, Chicago, 15–18 July 2004 / [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
15 |
|
Classification, Data Analysis, and Data Highways: Proceedings of the 21st Annual Conference of the Gesellschaft für Klassifikation e.V., University of Potsdam, March 12–14, 1997 / [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
16 |
|
Codes, Systems, and Graphical Models [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
17 |
|
Collectives and the Design of Complex Systems [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
18 |
|
Colloquium on Methods of Optimization: Held in Novosibirsk/USSR, June 1968 / [Ebook]
|
|
1970 |
|
Shelf Location: Online resource: Springer.
|
19 |
|
Complementarity: Applications, Algorithms and Extensions [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
20 |
|
Complex systems, operational approaches in neurobiology, physics, and computers: proceedings of the International Symposium on Synergetics at Schloss Elmau, Bavaria, May 6-11, 1985 [Monograph ]
|
|
1985 |
|
Shelf Location: 51-76 COM.
Collections: General.
Number of Holdings: 1.
|
21 |
|
Cooperative Control and Optimization [Ebook]
|
|
2002 |
|
Shelf Location: Online resource: Springer.
|
22 |
|
Cooperative Control: Models, Applications and Algorithms [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
23 |
|
Designs 2002: Further Computational and Constructive Design Theory / [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
24 |
|
Developments in Reliable Computing [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
25 |
|
Dictionary of computing [Monograph ]
|
|
1990 |
|
Shelf Location: 004 DIC.
Collections: General.
Number of Holdings: 1.
|
26 |
|
Discrete Analysis and Operations Research [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
27 |
|
Encyclopedia of Applied and Computational Mathematics [Ebook]
|
|
2015 |
|
Shelf Location: Online resource: Springer.
|
28 |
|
Encyclopedia of Big Data Technologies [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
29 |
|
Feasible Mathematics II [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
30 |
|
Handbook of Combinatorial Optimization: Volume1–3 / [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
31 |
|
Hierarchical and Geometrical Methods in Scientific Visualization [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
32 |
|
High Performance Algorithms and Software for Nonlinear Optimization [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
33 |
|
High Performance Scientific and Engineering Computing: Proceedings of the International FORTWIHR Conference on HPSEC, Munich, March 16-18, 1998 / [Ebook]
|
|
1999 |
|
Shelf Location: Online resource: Springer.
|
34 |
|
Human and machine vision [Monograph ]
|
|
1983 |
|
Shelf Location: 006.3 HUM.
Collections: General.
Number of Holdings: 1.
|
35 |
|
Image understanding: 1985-86 [Monograph ]
|
|
1987 |
|
Shelf Location: 006.4 IMA 1985-86.
Collections: General.
Number of Holdings: 1.
|
36 |
|
From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
37 |
|
Learning and Intelligent Optimization: 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
38 |
|
Logic for Concurrency and Synchronisation [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
39 |
|
Mathematical Modeling: Problems, Methods, Applications / [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
40 |
|
Mathematical Optimization Theory and Operations Research: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings [Ebook]
|
|
2020 |
|
Shelf Location: Online resource: Springer.
|
41 |
|
Mathematics and Computer Science II: Algorithms, Trees, Combinatorics and Probabilities [Ebook]
|
|
2002 |
|
Shelf Location: Online resource: Springer.
|
42 |
|
Mathematics and Computer Science III: Algorithms, Trees, Combinatorics and Probabilities [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Birkhäuser.
|
43 |
|
Mathematics and computers in biomedical applications [Monograph ]
|
|
1985 |
|
Shelf Location: 57.08 MAT.
Collections: General.
Number of Holdings: 1.
|
44 |
|
Mesh Generation and Adaptation: Cutting-Edge Techniques / [Ebook]
|
|
2022 |
|
Shelf Location: Online resource: Springer.
|
45 |
|
Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications / [Ebook]
|
|
2002 |
|
Shelf Location: Online resource: Springer.
|
46 |
|
Multilevel Optimization: Algorithms and Applications [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
47 |
|
Multilevel Optimization in VLSICAD [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
48 |
|
Network Interdiction and Stochastic Integer Programming [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Springer.
|
49 |
|
Nonlinear Assignment Problems: Algorithms and Applications / [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
50 |
|
Nonlinear Optimization and Related Topics [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|