Limit Search Results
Author
Language
Publication Date
-
Subject
Computer science.
(6)
Computer science -- Mathematics.
(3)
Logic, Symbolic and mathematical.
(3)
Algorithms.
(2)
Applications of Mathematics.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
13 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Finite Model Theory
Finite Model Theory
Author 
Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28788-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Model Theory and Applications
Model Theory and Applications
Author 
Mangani, P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11121-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Institution-independent Model Theory
Institution-independent Model Theory
Author 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Model Based Parameter Estimation Theory and Applications
Model Based Parameter Estimation Theory and Applications
Author 
Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Preferred Shelf Number 
ONLINE(333324.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30367-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical Finance: Theory Review and Exercises From Binomial Model to Risk Measures
Mathematical Finance: Theory Review and Exercises From Binomial Model to Risk Measures
Author 
Gianin, Emanuela Rosazza. author. Sgarra, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332862.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01357-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematical Logic and Model Theory A Brief Introduction
Mathematical Logic and Model Theory A Brief Introduction
Author 
Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Model Order Reduction: Theory, Research Aspects and Applications
Model Order Reduction: Theory, Research Aspects and Applications
Author 
Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Foundations and Applications of Mis A Model Theory Approach
Foundations and Applications of Mis A Model Theory Approach
Author 
Takahara, Yasuhiko. author. Liu, Yongmei. author. Klir, George J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-35840-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Foundations of Soft Logic
Foundations of Soft Logic
Author 
Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58233-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Author 
Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55417-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Random-Like Bi-level Decision Making
Random-Like Bi-level Decision Making
Author 
Xu, Jiuping. author. (orcid)0000-0003-3756-3969 Li, Zongmin. author. Tao, Zhimiao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1768-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets