Search Results for Finite model theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFinite$002bmodel$002btheory.$0026ps$003d300?dt=list
2026-01-08T05:31:01Z
Finite Model Theory
ent://SD_ILS/0/SD_ILS:181857
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28788-4">http://dx.doi.org/10.1007/3-540-28788-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite model theory
ent://SD_ILS/0/SD_ILS:93288
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg.<br/>Preferred Shelf Number QA9.7 E23 1999<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Finite and Algorithmic Model Theory
ent://SD_ILS/0/SD_ILS:236315
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Esparza, Javier. Michaux, Christian. Steinhorn, Charles.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511974960">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Model Theory and Its Applications
ent://SD_ILS/0/SD_ILS:185593
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
ent://SD_ILS/0/SD_ILS:257253
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Keisler, H. Jerome.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422580">http://www.sciencedirect.com/science/book/9780720422580</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520677
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33728-4">https://doi.org/10.1007/978-3-031-33728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520890
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28083-2">https://doi.org/10.1007/978-3-031-28083-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Vibration Engineering and Technology of Machinery, Volume I Select Proceedings of VETOMAC XVI 2021
ent://SD_ILS/0/SD_ILS:528941
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Tiwari, Rajiv. editor. Ram Mohan, Y. S. editor. Darpe, Ashish K. editor. Kumar, V. Arun. editor. Tiwari, Mayank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-4721-8">https://doi.org/10.1007/978-981-99-4721-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022
ent://SD_ILS/0/SD_ILS:527376
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Mao, Zhu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-04090-0">https://doi.org/10.1007/978-3-031-04090-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521120
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42441-0">https://doi.org/10.1007/978-3-031-42441-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electromagnetic theory and applications for photonic crystals
ent://SD_ILS/0/SD_ILS:541505
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Yasumoto, Kiyotoshi, editor.<br/>Preferred Shelf Number TA1520<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781315221106">https://www.taylorfrancis.com/books/9781315221106</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519137
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electric machines : modeling, condition monitoring, and fault diagnosis
ent://SD_ILS/0/SD_ILS:541515
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Toliyat, Hamid A.<br/>Preferred Shelf Number TK2313 .E44 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420006285">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Mechanics of fiber and textile reinforced cement composites
ent://SD_ILS/0/SD_ILS:546937
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Mobasher, Barzin., author.<br/>Preferred Shelf Number TA438 .M63 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439806616">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Schaum's outline of discrete mathematics
ent://SD_ILS/0/SD_ILS:293972
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Lipschutz, Seymour. Lipson, Marc.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-outline-discrete-mathematics-revised-third-edition">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiscale modeling : from atoms to devices
ent://SD_ILS/0/SD_ILS:538696
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Derosa, Pedro. Cagin, Tahir.<br/>Preferred Shelf Number TA418.9 .N35 M85 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439810408">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Handbook of dynamic system modeling
ent://SD_ILS/0/SD_ILS:544999
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Fishwick, Paul A.<br/>Preferred Shelf Number QA76.9 .C65 H345 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420010855">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Survey sampling : theory and methods
ent://SD_ILS/0/SD_ILS:539817
2026-01-08T05:31:01Z
2026-01-08T05:31:01Z
Author Chaudhuri, Arijit, 1940, author. Stenger, Horst, 1935-<br/>Preferred Shelf Number QA276.6 .C43 2005<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420028638">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>