Limit Search Results
Author
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(3)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Finkbeiner, Bernd. editor.
(3)
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
(3)
Language
English
(325)
Publication Date
-
Subject
Computer science.
(52)
Software engineering.
(43)
Artificial intelligence.
(36)
Computational intelligence.
(35)
Control engineering.
(33)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
325 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 MDATA Cognitive Model: Theory and Applications
MDATA Cognitive Model: Theory and Applications
Author 
Jia, Yan. editor. Gu, Zhaoquan. editor. Li, Aiping. editor. (orcid)0000-0003-3335-0093 Fang, Binxing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3528-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Finite Model Theory and Its Applications
Finite Model Theory and Its Applications
Author 
Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-68804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Constraint Theory Multidimensional Mathematical Model Management
Constraint Theory Multidimensional Mathematical Model Management
Author 
Friedman, George J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27650-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Nonlinear Model Predictive Control Theory and Algorithms
Nonlinear Model Predictive Control Theory and Algorithms
Author 
Grüne, Lars. author. Pannek, Jürgen. author. (orcid)0000-0001-5109-9627 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46024-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
Cover image for Stochastic Two-Dimensional Microscopic Traffic Model Theory and Applications
Stochastic Two-Dimensional Microscopic Traffic Model Theory and Applications
Author 
Qi, HongSheng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3597-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Economic Model Predictive Control Theory, Formulations and Chemical Process Applications
Economic Model Predictive Control Theory, Formulations and Chemical Process Applications
Author 
Ellis, Matthew. author. Liu, Jinfeng. author. Christofides, Panagiotis D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41108-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets