Limit Search Results
Author
SpringerLink (Online service)
(108)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Jatowt, Adam. editor.
(3)
Macpherson, Dugald.
(3)
Language
Publication Date
-
Subject
Model theory.
(18)
Computer science.
(15)
Mathematics.
(8)
Software engineering.
(8)
Logic, Symbolic and mathematical.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
223 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Liquid glass transition : a unified theory from the two band model
Liquid glass transition : a unified theory from the two band model
Author 
Kitamura, Toyoyuki, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124071773
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
Cover image for Disequilibrium, polarization, and crisis model an international relations theory explaining conflict
Disequilibrium, polarization, and crisis model an international relations theory explaining conflict
Author 
Dierauer, Isabelle.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578748
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Author 
Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334691.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38883-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Author 
Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30476-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Explicit Nonlinear Model Predictive Control Theory and Applications
Explicit Nonlinear Model Predictive Control Theory and Applications
Author 
Grancharova, Alexandra. author. Johansen, Tor Arne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28780-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets