1 |
|
Advances in Temporal Logic [Ebook]
|
|
2000 |
|
Shelf Location: Online resource: Springer.
|
2 |
|
Collectives and the Design of Complex Systems [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
3 |
|
MATLAB for neuroscientists: an introduction to scientific computing in MATLAB [Monograph ]
|
|
2009 |
|
Shelf Location: 005.331 MAT.
Collections: General.
Number of Holdings: 1.
|
4 |
|
MATLAB for neuroscientists : an introduction to scientific computing in MATLAB [Monograph ]
|
|
2014 |
|
Shelf Location: 005.331 MAT 2nd ed..
Collections: General.
Number of Holdings: 1.
|
5 |
|
Topological Methods in Data Analysis and Visualization IV: Theory, Algorithms, and Applications [Ebook]
|
|
2017 |
|
Shelf Location: Online resource: Springer.
|
6 |
|
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof [Ebook]
|
Andrews, Peter B.
|
2002 |
|
Shelf Location: Online resource: Springer.
|
7 |
|
Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations [Ebook]
|
Aubert, Gilles
|
2006 |
|
Shelf Location: Online Resource : Springer.
|
8 |
|
Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations / [Ebook]
|
Aubert, Gilles
|
2002 |
|
Shelf Location: Online resource: Springer.
|
9 |
|
Parallel Scientific Computing and Optimization: Advances and Applications [Ebook]
|
Čiegis, Raimondas
|
2009 |
|
Shelf Location: Online Resource: Springer.
|
10 |
|
Metaheuristics for Hard Optimization: Simulated Annealing, Tabu Search, Evolutionary and Genetic Algorithms, Ant Colonies. Methods and Case Studies [Ebook]
|
Dréo, Johann
|
2006 |
|
Shelf Location: Online Resource : Springer.
|
11 |
|
VLSI Planarization: Methods, Models, Implementation [Ebook]
|
Feinberg, Valerii, 1944-
|
1997 |
|
Shelf Location: Online resource: Springer.
|
12 |
|
Constraint Theory: Multidimensional Mathematical Model Management / [Ebook]
|
Friedman, George J.
|
2017 |
|
Shelf Location: Online resource: Springer.
|
13 |
|
German-Japanese Interchange of Data Analysis Results [Ebook]
|
Gaul, Wolfgang
|
2014 |
|
Shelf Location: Online Resource: Springer.
|
14 |
|
Statistical Models for Data Analysis [Ebook]
|
Giudici, Paolo
|
2013 |
|
Shelf Location: Online Resource : Springer.
|
15 |
|
Integrated Methods for Optimization [Ebook]
|
Hooker, John N.
|
2007 |
|
Shelf Location: Online Resource : Springer.
|
16 |
|
From Computer to Brain: Foundations of Computational Neuroscience / [Ebook]
|
Lytton, William W.
|
2002 |
|
Shelf Location: Online resource: Springer.
|
17 |
|
Topological Methods in Data Analysis and Visualization II: Theory, Algorithms, and Applications [Ebook]
|
Peikert, Ronald
|
2012 |
|
Shelf Location: Online Resource: Springer.
|
18 |
|
Wavelet Analysis: The Scalable Structure of Information [Ebook]
|
Resnikoff, Howard L.
|
1998 |
|
Shelf Location: Online resource: Springer.
|
19 |
|
The Statistical Theory of Shape [Ebook]
|
Small, Christopher G.
|
1996 |
|
Shelf Location: Online resource: Springer.
|
20 |
|
Intuitionistic Fuzzy Information Aggregation: Theory and Applications [Ebook]
|
Xu, Zeshui
|
2012 |
|
Shelf Location: Online Resource: Springer.
|
21 |
|
Linguistic Decision Making: Theory and Methods [Ebook]
|
Xu, Zeshui
|
2012 |
|
Shelf Location: Online Resource: Springer.
|