Limit Search Results
Author
Language
Subject
Model theory.
(3)
Computer science.
(2)
Logic, Symbolic and mathematical.
(2)
Mathematics.
(2)
Psychotherapy.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
26 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Finite and Algorithmic Model Theory
Finite and Algorithmic Model Theory
Author 
Esparza, Javier. Michaux, Christian. Steinhorn, Charles.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Nonlinear Model Predictive Control Theory and Algorithms
Nonlinear Model Predictive Control Theory and Algorithms
Author 
Grüne, Lars. Pannek, Jürgen. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-501-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
Author 
Cabot, Jordi. editor. Visser, Eelco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21732-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Economic Growth in the Regions of Europe Theory and Empirical Evidence from a Spatial Growth Model
Economic Growth in the Regions of Europe Theory and Empirical Evidence from a Spatial Growth Model
Author 
Sardadvar, Sascha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7908-2637-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Uzun Ömürlülük Bonolarını Fiyatlandırma : Uç Değer Kuramı ve Kübik Risk Fiyatlandırma Modeli = Pricing Longevity Bonds : Extreme Value Theory and Risk Cubic Pricing Model
Uzun Ömürlülük Bonolarını Fiyatlandırma : Uç Değer Kuramı ve Kübik Risk Fiyatlandırma Modeli = Pricing Longevity Bonds : Extreme Value Theory and Risk Cubic Pricing Model
Author 
Arık, Ayşe.
Preferred Shelf Number 
TEZ 10065 .A75 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.
Author 
Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 2.
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 2.
Author 
Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
11. 
Cover image for Optimization of regional industrial structures and applications
Optimization of regional industrial structures and applications
Author 
Dang, Yaoguo. Liu, Sifeng. Wang, Yuhong, 1978-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Modelling and computation in engineering proceedings of the International Conference on Modelling and Computation in Engineering, CMCE 2010, Hong Kong, 6-7 November 2010
Modelling and computation in engineering proceedings of the International Conference on Modelling and Computation in Engineering, CMCE 2010, Hong Kong, 6-7 November 2010
Author 
International Conference on Modelling and Computation in Engineering (2010 : Hong Kong, China) Zhu, Jinrong.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets