Limit Search Results
Author
SpringerLink (Online service)
(108)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Jatowt, Adam. editor.
(3)
Macpherson, Dugald.
(3)
Language
English
(200)
Publication Date
-
Subject
Computer science.
(15)
Model theory.
(14)
Mathematics.
(8)
Software engineering.
(8)
Logic design.
(5)
Material Type
Library
Switch to list view
Switch to thumbnail view
200 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
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:
39. 
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:
40. 
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:
41. 
Cover image for Linear model theory univariate, multivariate, and mixed models
Linear model theory univariate, multivariate, and mixed models
Author 
Muller, Keith E. Stewart, Paul Wilder.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
MyiLibrary, Table of contents http://www.myilibrary.com?id=54992&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0740/2006044266-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Dynamic model development methods, theory, and applications : proceedings from a Workshop on the Life of a Process Model--from Conception to Action, October 25-26, 2000, Imperial College, London, UK
Dynamic model development methods, theory, and applications : proceedings from a Workshop on the Life of a Process Model--from Conception to Action, October 25-26, 2000, Imperial College, London, UK
Author 
Workshop on the Life of a Process Model--from Conception to Action (2000 : London, England) Asprey, S. P. Macchietto, S.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444514653
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Temporal data and the relational model a detailed investigation into the application of interval and relation theory to the problem of temporal database management
Temporal data and the relational model a detailed investigation into the application of interval and relation theory to the problem of temporal database management
Author 
Date, C. J. Darwen, Hugh. Lorentzos, Nikos A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558608559
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Tits Buildings and the Model Theory of Groups
Tits Buildings and the Model Theory of Groups
Author 
Tent, Katrin.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Author 
Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407525
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Author 
Keisler, H. Jerome.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422580
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Introduction to model theory and to the metamathematics of algebra
Introduction to model theory and to the metamathematics of algebra
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533975
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
Author 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number 
XX(520345.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5844-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets