Limit Search Results
Author
SpringerLink (Online service)
(163)
Taylor and Francis.
(5)
Agarwal, Sonali. editor.
(3)
CRC Press LLC.
(3)
Ekbal, Asif. editor.
(3)
Language
Publication Date
-
Subject
Electronic books.
(105)
TECHNOLOGY & ENGINEERING.
(33)
SCIENCE.
(28)
Computational intelligence.
(18)
Model theory.
(17)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
518 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93317-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Author 
Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21155-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Time and relational theory : temporal databases in the relational model and SQL
Time and relational theory : temporal databases in the relational model and SQL
Author 
Date, C. J., author. Darwen, Hugh, author. Lorentzos, Nikos A., author.
Preferred Shelf Number 
ONLINE(355582.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128006313
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos
Author 
Nourani, Cyrus F., author.
Preferred Shelf Number 
QA169 .N68 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
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:
Select an Action