Limit Search Results
Author
SpringerLink (Online service)
(8)
Agarwal, Nitin. editor.
(1)
Bonjur, Jocelyn, editor.
(1)
Broniatowski, Michel, author.
(1)
Cagin, Tahir.
(1)
Language
Publication Date
-
Subject
Electronic books.
(3)
Computer science.
(2)
Logic, Symbolic and mathematical.
(2)
Model theory.
(2)
SCIENCE.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
26 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 Finite model theory
Finite model theory
Author 
Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg.
Preferred Shelf Number 
QA9.7 E23 1999
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
3. 
Cover image for Finite and Algorithmic Model Theory
Finite and Algorithmic Model Theory
Author 
Esparza, Javier. Michaux, Christian. Steinhorn, Charles.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
Cover image for Physical-layer security for 6G
Physical-layer security for 6G
Author 
Mohapatra, Parthajit, editor. Pappas, Nikolaos, 1982- editor. Chorti, Arsenia, editor. Tomasin, Stefano, editor.
Preferred Shelf Number 
TK5103.252 .P48 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394170944
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
Author 
Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Author 
Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Author 
Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42441-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022
Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022
Author 
Mao, Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-04090-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Vibration Engineering and Technology of Machinery, Volume I Select Proceedings of VETOMAC XVI 2021
Vibration Engineering and Technology of Machinery, Volume I Select Proceedings of VETOMAC XVI 2021
Author 
Tiwari, Rajiv. editor. Ram Mohan, Y. S. editor. Darpe, Ashish K. editor. Kumar, V. Arun. editor. Tiwari, Mayank. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4721-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Iterative learning control algorithms and experimental benchmarking
Iterative learning control algorithms and experimental benchmarking
Author 
Rogers, E. T. A. (Eric Thomas Alexander), 1956- Chu, Bing, author. Freeman, Christopher, author. Lewin, Paul, author.
Preferred Shelf Number 
TJ217.5 .R65 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118535349
Format: 
Availability 
Online Library~1
Available:
Copies: