Arama Sonuçları Finite model theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFinite$002bmodel$002btheory.$0026ic$003dtrue$0026ps$003d300?
2026-02-24T17:23:10Z
Finite Model Theory
ent://SD_ILS/0/SD_ILS:181857
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finite model theory
ent://SD_ILS/0/SD_ILS:93288
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg.<br/>Yer Numarası QA9.7 E23 1999<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Finite and Algorithmic Model Theory
ent://SD_ILS/0/SD_ILS:236315
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Esparza, Javier. Michaux, Christian. Steinhorn, Charles.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511974960">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finite Model Theory and Its Applications
ent://SD_ILS/0/SD_ILS:185593
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
ent://SD_ILS/0/SD_ILS:257253
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Keisler, H. Jerome.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422580">http://www.sciencedirect.com/science/book/9780720422580</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Physical-layer security for 6G
ent://SD_ILS/0/SD_ILS:599362
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Mohapatra, Parthajit, editor. Pappas, Nikolaos, 1982- editor. Chorti, Arsenia, editor. Tomasin, Stefano, editor.<br/>Yer Numarası TK5103.252 .P48 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394170944">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394170944</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Mao, Zhu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Vibration Engineering and Technology of Machinery, Volume I Select Proceedings of VETOMAC XVI 2021
ent://SD_ILS/0/SD_ILS:528941
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Tiwari, Rajiv. editor. Ram Mohan, Y. S. editor. Darpe, Ashish K. editor. Kumar, V. Arun. editor. Tiwari, Mayank. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Iterative learning control algorithms and experimental benchmarking
ent://SD_ILS/0/SD_ILS:598154
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Rogers, E. T. A. (Eric Thomas Alexander), 1956- Chu, Bing, author. Freeman, Christopher, author. Lewin, Paul, author.<br/>Yer Numarası TJ217.5 .R65 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118535349">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118535349</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Refrigerators, heat pumps and reverse cycle engines : principles, state of the art and trends
ent://SD_ILS/0/SD_ILS:598483
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Bonjur, Jocelyn, editor.<br/>Yer Numarası TP496 .R44 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228881">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228881</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in thermodynamics and circular thermoeconomics : fundamentals and criteria
ent://SD_ILS/0/SD_ILS:598874
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Feidt, Michel, editor. Valero Capilla, Antonio, editor.<br/>Yer Numarası TJ265<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394264872">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394264872</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Zeroing neural networks : finite-time convergence design, analysis and applications
ent://SD_ILS/0/SD_ILS:598009
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Xiao, Lin, author. Jia, Lei, author.<br/>Yer Numarası QA76.87<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119986041">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119986041</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Sampling and estimation from finite populations
ent://SD_ILS/0/SD_ILS:595842
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Tillé, Yves.<br/>Yer Numarası QA276.6 .S36 2020<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119071259">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119071259</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electromagnetic theory and applications for photonic crystals
ent://SD_ILS/0/SD_ILS:541505
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Yasumoto, Kiyotoshi, editor.<br/>Yer Numarası TA1520<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Surface plasmon enhanced, coupled, and controlled fluorescence
ent://SD_ILS/0/SD_ILS:593496
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Geddes, Chris D., editor.<br/>Yer Numarası QC477 .S87 2017 EB<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119325161">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119325161</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interpolation and extrapolation optimal designs. 2, Finite dimensional general models
ent://SD_ILS/0/SD_ILS:593627
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Celant, Giorgio, author. Broniatowski, Michel, author.<br/>Yer Numarası QA281<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119422327">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119422327</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electric machines : modeling, condition monitoring, and fault diagnosis
ent://SD_ILS/0/SD_ILS:541515
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Toliyat, Hamid A.<br/>Yer Numarası TK2313 .E44 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420006285">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mechanics of fiber and textile reinforced cement composites
ent://SD_ILS/0/SD_ILS:546937
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Mobasher, Barzin., author.<br/>Yer Numarası TA438 .M63 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439806616">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Schaum's outline of discrete mathematics
ent://SD_ILS/0/SD_ILS:293972
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Lipschutz, Seymour. Lipson, Marc.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/schaums-outline-discrete-mathematics-revised-third-edition">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multiscale modeling : from atoms to devices
ent://SD_ILS/0/SD_ILS:538696
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Derosa, Pedro. Cagin, Tahir.<br/>Yer Numarası TA418.9 .N35 M85 2010<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439810408">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of dynamic system modeling
ent://SD_ILS/0/SD_ILS:544999
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Fishwick, Paul A.<br/>Yer Numarası QA76.9 .C65 H345 2007<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420010855">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Survey sampling : theory and methods
ent://SD_ILS/0/SD_ILS:539817
2026-02-24T17:23:10Z
2026-02-24T17:23:10Z
Yazar Chaudhuri, Arijit, 1940, author. Stenger, Horst, 1935-<br/>Yer Numarası QA276.6 .C43 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420028638">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>