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
Select an Action
223 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
Cover image for Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Author 
Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13688-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Integral theory in action applied, theoretical, and constructive perspectives on the AQAL model
Integral theory in action applied, theoretical, and constructive perspectives on the AQAL model
Author 
Esbjörn-Hargens, Sean. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Model-Based Control: Bridging Rigorous Theory and Advanced Technology
Model-Based Control: Bridging Rigorous Theory and Advanced Technology
Author 
Hof, Paul M.J. editor. Scherer, Carsten. editor. Heuberger, Peter S.C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0895-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Author 
Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
Author 
Vallecillo, Antonio. editor. Gray, Jeff. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69927-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
Cover image for Model Theory with Applications to Algebra and Analysis Volume 1.
Model Theory with Applications to Algebra and Analysis Volume 1.
Author 
Chatzidakis, Zoé. Macpherson, Dugald. Pillay, Anand. Wilkie, Alex.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Model Theory with Applications to Algebra and Analysis Volume 2.
Model Theory with Applications to Algebra and Analysis Volume 2.
Author 
Chatzidakis, Zoé. Macpherson, Dugald. Pillay, Anand. Wilkie, Alex.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Scattering from Model Nonspherical Particles Theory and Applications to Environmental Physics
Scattering from Model Nonspherical Particles Theory and Applications to Environmental Physics
Author 
Borghese, Ferdinando. author. Denti, Paolo. author. Saija, Rosalba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37414-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Multi-parametric model-based control. Volume 2, Theory and applications
Multi-parametric model-based control. Volume 2, Theory and applications
Author 
Pistikopoulos, Efstratios N. Georgiadis, Michael C. Dua, Vivek, Ph.D. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
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:
Select an Action