Limit Search Results
Author
SpringerLink (Online service)
(15)
Müller, Wolfgang H. author.
(2)
Agarwal, Nitin. editor.
(1)
Alexandru, Andrei. author.
(1)
Bonjur, Jocelyn, editor.
(1)
Language
Publication Date
-
Subject
Mechanics, Applied.
(6)
Computer science.
(4)
Solid Mechanics.
(4)
Solids.
(4)
Electronic books.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
33 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 Model Order Reduction for Design, Analysis and Control of Nonlinear Vibratory Systems
Model Order Reduction for Design, Analysis and Control of Nonlinear Vibratory Systems
Author 
Touzé, Cyril. editor. (orcid)0000-0002-4346-4484 Frangi, Attilio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67499-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Mechanics of Elastic Solids
Mechanics of Elastic Solids
Author 
Zhang, Junqian. author. Song, Yicheng. author. (orcid)0000-0001-5749-1654 Lu, Bo. author. (orcid)0000-0001-7953-7131 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9699-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
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:
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 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:
Go to:Search Results
|
Top of Page
|
Search Facets