Arama Sonuçları Mathematical logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMathematical$002blogic.$0026te$003dILS$0026ps$003d300?dt=list
2024-12-25T16:46:28Z
Mathematical logic
ent://SD_ILS/0/SD_ILS:303099
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Tourlakis, George J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781118032435">http://dx.doi.org/10.1002/9781118032435</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical logic
ent://SD_ILS/0/SD_ILS:256600
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444504234">http://www.sciencedirect.com/science/book/9780444504234</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:364720
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Mendelson, Elliott.<br/>Yer Numarası QA9 M4 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46048
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Mendelson, Elliott.<br/>Yer Numarası QA 9 M4 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Aspects of Mathematical Logic
ent://SD_ILS/0/SD_ILS:191571
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Casari, E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11080-1">http://dx.doi.org/10.1007/978-3-642-11080-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331853.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Logic for Computer Science
ent://SD_ILS/0/SD_ILS:173540
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical aspects of logic programming semantics
ent://SD_ILS/0/SD_ILS:285188
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hitzler, Pascal. Seda, Anthony.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Logic Foundations for Information Science
ent://SD_ILS/0/SD_ILS:198215
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:172186
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-1221-3">http://dx.doi.org/10.1007/978-1-4419-1221-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:167320
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Srivastava, S. M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-76277-7">http://dx.doi.org/10.1007/978-0-387-76277-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:166020
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical logic and programming languages
ent://SD_ILS/0/SD_ILS:72687
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hoare, C. A. R., ed. Shepherdson, J. C., ed.<br/>Yer Numarası QA 9 M42 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A mathematical introduction to logic
ent://SD_ILS/0/SD_ILS:46041
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Enderton, Herbert B.<br/>Yer Numarası QA 9 E54 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A profile of mathematical logic
ent://SD_ILS/0/SD_ILS:46037
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar DeLong, Howard, 1936-<br/>Yer Numarası QA 9 B37 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
An introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:46050
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Robinson, Gerson B., 1909-<br/>Yer Numarası QA 9 R72 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Elements of mathematical logic (Model theory)
ent://SD_ILS/0/SD_ILS:257214
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534125">http://www.sciencedirect.com/science/book/9780444534125</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A survey of mathematical logic
ent://SD_ILS/0/SD_ILS:257354
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Wang, Hao, 1921-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533982">http://www.sciencedirect.com/science/book/9780444533982</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The development of mathematical logic
ent://SD_ILS/0/SD_ILS:774
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Nidditch, P. H.<br/>Yer Numarası BC 135 N5 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
The elements of mathematical logic
ent://SD_ILS/0/SD_ILS:776
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Rosenbloom, Paul C.<br/>Yer Numarası BC 135 R7236 1950<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A Course in Mathematical Logic for Mathematicians
ent://SD_ILS/0/SD_ILS:172015
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Manin, Yu. I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-0615-1">http://dx.doi.org/10.1007/978-1-4419-0615-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
ent://SD_ILS/0/SD_ILS:257260
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444854025">http://www.sciencedirect.com/science/book/9780444854025</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
ent://SD_ILS/0/SD_ILS:257361
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720407525">http://www.sciencedirect.com/science/book/9780720407525</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
ent://SD_ILS/0/SD_ILS:257231
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422559">http://www.sciencedirect.com/science/book/9780720422559</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:520259
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Farmer, William M. author. SpringerLink (Online service)<br/>Yer Numarası XX(520259.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Strict Finitism and the Logic of Mathematical Applications
ent://SD_ILS/0/SD_ILS:206041
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ye, Feng. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-1347-5">http://dx.doi.org/10.1007/978-94-007-1347-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Logic and Model Theory A Brief Introduction
ent://SD_ILS/0/SD_ILS:173380
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2176-3">http://dx.doi.org/10.1007/978-1-4471-2176-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940
ent://SD_ILS/0/SD_ILS:231522
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Mancosu, Paolo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
ent://SD_ILS/0/SD_ILS:170432
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Problems from Applied Logic II Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:166711
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-69245-6">http://dx.doi.org/10.1007/978-0-387-69245-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Outline of mathematical logic : fundamental results and notions explained with all details
ent://SD_ILS/0/SD_ILS:751
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Grzegorczyk, Andrzej.<br/>Yer Numarası BC 131 G7 1974<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
ent://SD_ILS/0/SD_ILS:257232
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422610">http://www.sciencedirect.com/science/book/9780720422610</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
ent://SD_ILS/0/SD_ILS:257318
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534149">http://www.sciencedirect.com/science/book/9780444534149</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
ent://SD_ILS/0/SD_ILS:257286
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534101">http://www.sciencedirect.com/science/book/9780444534101</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The axiomatic method : an introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:23478
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Lightstone, A. H.<br/>Yer Numarası QA 248 L53 1964<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The foundations of mathematics
ent://SD_ILS/0/SD_ILS:267321
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Kunen, Kenneth.<br/>Yer Numarası QA9 K796 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Set theory
ent://SD_ILS/0/SD_ILS:352659
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Kunen, Kenneth.<br/>Yer Numarası QA248 K858 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Yer Numarası QA 9 R23 1931<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Black, Max, 1909-<br/>Yer Numarası QA 9 B62 1933 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Yer Numarası Q 175 C494 1948 A (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937 P (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520219
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Gibadullin, Arthur. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520219.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31353-0">https://doi.org/10.1007/978-3-031-31353-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
ent://SD_ILS/0/SD_ILS:520574
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası XX(520574.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520477
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520477.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34896-9">https://doi.org/10.1007/978-3-031-34896-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482677
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21348-0">https://doi.org/10.1007/978-3-030-21348-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482857
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-26773-5">https://doi.org/10.1007/978-3-030-26773-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:482916
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482979
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482984
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483052
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483434
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484219
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34146-6">https://doi.org/10.1007/978-3-030-34146-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:485008
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17938-0">https://doi.org/10.1007/978-3-030-17938-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485016
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cai, Zhipeng. editor. Skums, Pavel. editor. Li, Min. editor. (orcid)0000-0002-0188-1394 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20242-2">https://doi.org/10.1007/978-3-030-20242-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485199
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59533-6">https://doi.org/10.1007/978-3-662-59533-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485265
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486429
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486431
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-3146-6">https://doi.org/10.1007/978-981-13-3146-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486438
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483131
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483222
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21733-4">https://doi.org/10.1007/978-3-030-21733-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483256
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21451-7">https://doi.org/10.1007/978-3-030-21451-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:483257
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483469
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-33749-0">https://doi.org/10.1007/978-3-030-33749-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484478
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14812-6">https://doi.org/10.1007/978-3-030-14812-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485282
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485306
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23247-4">https://doi.org/10.1007/978-3-030-23247-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485559
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13435-8">https://doi.org/10.1007/978-3-030-13435-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485579
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19432-1">https://doi.org/10.1007/978-3-030-19432-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486010
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-15-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486017
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486058
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59565-7">https://doi.org/10.1007/978-3-662-59565-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486169
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-60292-8">https://doi.org/10.1007/978-3-662-60292-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486304
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486307
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486336
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486866
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-19823-7">https://doi.org/10.1007/978-3-030-19823-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483088
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35166-3">https://doi.org/10.1007/978-3-030-35166-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483155
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32505-3">https://doi.org/10.1007/978-3-030-32505-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483377
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59648-7">https://doi.org/10.1007/978-3-662-59648-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483600
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774 Barla, Annalisa. editor. (orcid)0000-0002-3436-035X Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090 Peterson, Leif. editor. (orcid)0000-0002-1187-0883<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14160-8">https://doi.org/10.1007/978-3-030-14160-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483605
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Functions and Equations Binary Models for Computer Science
ent://SD_ILS/0/SD_ILS:483633
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483688
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483829
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484198
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28796-2">https://doi.org/10.1007/978-3-030-28796-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484438
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22996-2">https://doi.org/10.1007/978-3-030-22996-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:484616
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484819
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Suzuki, Kenji. editor. Reyes, Mauricio. editor. Syeda-Mahmood, Tanveer. editor. Konukoglu, Ender. editor. Glocker, Ben. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-33850-3">https://doi.org/10.1007/978-3-030-33850-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484880
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27629-4">https://doi.org/10.1007/978-3-030-27629-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:485354
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31423-1">https://doi.org/10.1007/978-3-030-31423-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:485610
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32236-6">https://doi.org/10.1007/978-3-030-32236-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:485649
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17935-9">https://doi.org/10.1007/978-3-030-17935-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:485699
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485700
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486239
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30763-9">https://doi.org/10.1007/978-3-030-30763-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486559
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486610
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-36599-8">https://doi.org/10.1007/978-3-030-36599-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486683
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486687
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-32-9767-8">https://doi.org/10.1007/978-981-32-9767-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
ent://SD_ILS/0/SD_ILS:486727
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-59620-3">https://doi.org/10.1007/978-3-662-59620-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486755
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Fred, Ana. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Dietz, Jan L. G. editor. Liu, Kecheng. editor. Bernardino, Jorge. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-15640-4">https://doi.org/10.1007/978-3-030-15640-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486889
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12544-8">https://doi.org/10.1007/978-3-030-12544-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486899
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 Siatri, Rania. editor. Zervas, Marios. editor. (orcid)0000-0002-4466-7910 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14401-2">https://doi.org/10.1007/978-3-030-14401-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486827
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30278-8">https://doi.org/10.1007/978-3-030-30278-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486946
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14815-7">https://doi.org/10.1007/978-3-030-14815-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486950
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30284-9">https://doi.org/10.1007/978-3-030-30284-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483548
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483549
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35895-2">https://doi.org/10.1007/978-3-030-35895-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:483708
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04879-2">https://doi.org/10.1007/978-3-030-04879-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
ent://SD_ILS/0/SD_ILS:483709
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar de Haan, Ronald. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-60670-4">https://doi.org/10.1007/978-3-662-60670-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483779
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ekštein, Kamil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27947-9">https://doi.org/10.1007/978-3-030-27947-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483884
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30179-8">https://doi.org/10.1007/978-3-030-30179-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483886
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30281-8">https://doi.org/10.1007/978-3-030-30281-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484033
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484225
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
ent://SD_ILS/0/SD_ILS:399566
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
ent://SD_ILS/0/SD_ILS:399576
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Foundations of Cyber-Physical Systems
ent://SD_ILS/0/SD_ILS:399499
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Platzer, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics for Computer Science Classical and Non-Classical
ent://SD_ILS/0/SD_ILS:399616
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Wasilewska, Anita. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Model Checking
ent://SD_ILS/0/SD_ILS:401293
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Introduction to the Technique of Formative Processes in Set Theory
ent://SD_ILS/0/SD_ILS:401806
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74778-1">https://doi.org/10.1007/978-3-319-74778-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Artifacts Towards a Philosophy of Computer Science
ent://SD_ILS/0/SD_ILS:402712
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Turner, Raymond. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-55565-1">https://doi.org/10.1007/978-3-662-55565-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions
ent://SD_ILS/0/SD_ILS:402514
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75049-1">https://doi.org/10.1007/978-3-319-75049-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A concise introduction to pure mathematics
ent://SD_ILS/0/SD_ILS:378828
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Liebeck, M. W. (Martin W.), 1954-<br/>Yer Numarası QA9 L478 2016<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic and discrete mathematics : a concise introduction
ent://SD_ILS/0/SD_ILS:374000
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Yer Numarası QA9 C7423 2015<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519117
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519117.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:482713
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Goertzel, Ben. editor. Orseau, Laurent. editor. Snaider, Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09274-4">https://doi.org/10.1007/978-3-319-09274-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
ent://SD_ILS/0/SD_ILS:482733
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44116-9">https://doi.org/10.1007/978-3-662-44116-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:482800
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44121-3">https://doi.org/10.1007/978-3-662-44121-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:482852
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44145-9">https://doi.org/10.1007/978-3-662-44145-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Commonsense reasoning an event calculus-based approach
ent://SD_ILS/0/SD_ILS:355437
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Mueller, Erik T., author.<br/>Yer Numarası ONLINE(355437.1)<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128014165">http://www.sciencedirect.com/science/book/9780128014165</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal logic, or, The calculus of inference, necessary and probable
ent://SD_ILS/0/SD_ILS:363957
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar De Morgan, Augustus, 1806-1871, author.<br/>Yer Numarası BC135 D4 2014<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487471
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487655
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Beierle, Christoph. editor. Meghini, Carlo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04939-7">https://doi.org/10.1007/978-3-319-04939-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487680
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44124-4">https://doi.org/10.1007/978-3-662-44124-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Refinement in Z and Object-Z Foundations and Advanced Applications
ent://SD_ILS/0/SD_ILS:488030
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Derrick, John. author. Boiten, Eerke A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-5355-9">https://doi.org/10.1007/978-1-4471-5355-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488547
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Shi, Zhongzhi. editor. Wu, Zhaohui. editor. Leake, David. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44980-6">https://doi.org/10.1007/978-3-662-44980-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:488987
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44522-8">https://doi.org/10.1007/978-3-662-44522-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488994
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Przepiórkowski, Adam. editor. Ogrodniczuk, Maciej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10888-9">https://doi.org/10.1007/978-3-319-10888-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489095
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09698-8">https://doi.org/10.1007/978-3-319-09698-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:489017
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489018
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08970-6">https://doi.org/10.1007/978-3-319-08970-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489028
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489137
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Jones, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489599
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bulling, Nils. editor. van der Torre, Leendert. editor. Villata, Serena. editor. (orcid)0000-0003-3495-493X Jamroga, Wojtek. editor. Vasconcelos, Wamberto. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09764-0">https://doi.org/10.1007/978-3-319-09764-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489622
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Yahav, Eran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:483100
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485472
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485507
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Baptista, Jorge. editor. Mamede, Nuno. editor. Candeias, Sara. editor. Paraboni, Ivandré. editor. Pardo, Thiago A.S. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09761-9">https://doi.org/10.1007/978-3-319-09761-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485515
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485524
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485525
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485526
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06251-8">https://doi.org/10.1007/978-3-319-06251-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:486931
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Barkatou, Moulay. editor. Cluzeau, Thomas. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54479-8">https://doi.org/10.1007/978-3-642-54479-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantics of Probabilistic Processes An Operational Approach
ent://SD_ILS/0/SD_ILS:487163
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Deng, Yuxin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45198-4">https://doi.org/10.1007/978-3-662-45198-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487329
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44602-7">https://doi.org/10.1007/978-3-662-44602-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487364
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Dowek, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08918-8">https://doi.org/10.1007/978-3-319-08918-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487782
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09165-5">https://doi.org/10.1007/978-3-319-09165-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:487786
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08852-5">https://doi.org/10.1007/978-3-319-08852-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487888
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
KI 2014: Advances in Artificial Intelligence 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488915
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Lutz, Carsten. editor. Thielscher, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11206-0">https://doi.org/10.1007/978-3-319-11206-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488926
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488931
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44923-3">https://doi.org/10.1007/978-3-662-44923-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488949
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Muscholl, Anca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488966
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:488979
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06880-0">https://doi.org/10.1007/978-3-319-06880-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
ent://SD_ILS/0/SD_ILS:489074
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13350-8">https://doi.org/10.1007/978-3-319-13350-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489075
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08867-9">https://doi.org/10.1007/978-3-319-08867-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
ent://SD_ILS/0/SD_ILS:489515
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54789-8">https://doi.org/10.1007/978-3-642-54789-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489520
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Davis, Brian. editor. Kaljurand, Kaarel. editor. Kuhn, Tobias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10223-8">https://doi.org/10.1007/978-3-319-10223-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Regulated Grammars and Automata
ent://SD_ILS/0/SD_ILS:489527
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4939-0369-6">https://doi.org/10.1007/978-1-4939-0369-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485454
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04534-4">https://doi.org/10.1007/978-3-319-04534-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485585
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08587-6">https://doi.org/10.1007/978-3-319-08587-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485592
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08615-6">https://doi.org/10.1007/978-3-319-08615-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485597
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485605
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Kryszkiewicz, Marzena. editor. Cornelis, Chris. editor. Ciucci, Davide. editor. Medina-Moreno, Jesús. editor. Motoda, Hiroshi. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08729-0">https://doi.org/10.1007/978-3-319-08729-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485606
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cornelis, Chris. editor. Kryszkiewicz, Marzena. editor. Slezak, Dominik. editor. Menasalvas Ruiz, Ernestina. editor. Bello, Rafael. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08644-6">https://doi.org/10.1007/978-3-319-08644-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485637
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09704-6">https://doi.org/10.1007/978-3-319-09704-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485652
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Nakano, Yukiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10061-6">https://doi.org/10.1007/978-3-319-10061-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concrete Semantics With Isabelle/HOL
ent://SD_ILS/0/SD_ILS:485672
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485675
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10587-1">https://doi.org/10.1007/978-3-319-10587-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485721
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Fermé, Eduardo. editor. Leite, Joao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11558-0">https://doi.org/10.1007/978-3-319-11558-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485725
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485783
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485806
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13413-0">https://doi.org/10.1007/978-3-319-13413-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:485824
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08795-5">https://doi.org/10.1007/978-3-319-08795-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486672
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Glodeanu, Cynthia Vera. editor. Kaytoue, Mehdi. editor. Sacarea, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07248-7">https://doi.org/10.1007/978-3-319-07248-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:486691
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08855-6">https://doi.org/10.1007/978-3-319-08855-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486886
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Abadi, Martín. editor. Lluch Lafuente, Alberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05119-2">https://doi.org/10.1007/978-3-319-05119-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486822
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486852
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08434-3">https://doi.org/10.1007/978-3-319-08434-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486854
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07602-7">https://doi.org/10.1007/978-3-319-07602-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
ent://SD_ILS/0/SD_ILS:487212
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Software Quality
ent://SD_ILS/0/SD_ILS:487425
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar O’Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484531
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:484565
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar O'Sullivan, Barry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10428-7">https://doi.org/10.1007/978-3-319-10428-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487419
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489012
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08846-4">https://doi.org/10.1007/978-3-319-08846-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489043
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43742-1">https://doi.org/10.1007/978-3-662-43742-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489054
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Maffei, Matteo. editor. Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45917-1">https://doi.org/10.1007/978-3-662-45917-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489310
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:489262
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44465-8">https://doi.org/10.1007/978-3-662-44465-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489519
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12214-4">https://doi.org/10.1007/978-3-319-12214-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489579
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Discrete mathematics and its applications
ent://SD_ILS/0/SD_ILS:271169
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Rosen, Kenneth H. Krithivasan, Kamala.<br/>Yer Numarası QA39.3 R674 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Kurt Gödel Essays for his Centennial
ent://SD_ILS/0/SD_ILS:236216
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Önermeler mantığı
ent://SD_ILS/0/SD_ILS:311337
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Nesin, Ali.<br/>Yer Numarası QA270 N476 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>
A transition to mathematics with proofs
ent://SD_ILS/0/SD_ILS:269594
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cullinane, Michael J.<br/>Yer Numarası QA9 C84 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Belief Revision in Non-Classical Logics
ent://SD_ILS/0/SD_ILS:330925
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330925.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
ent://SD_ILS/0/SD_ILS:330942
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330942.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
ent://SD_ILS/0/SD_ILS:331002
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar O’Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331002.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Structure
ent://SD_ILS/0/SD_ILS:331010
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331010.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4558-5">http://dx.doi.org/10.1007/978-1-4471-4558-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
ent://SD_ILS/0/SD_ILS:331026
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331026.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4616-2">http://dx.doi.org/10.1007/978-1-4471-4616-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba
ent://SD_ILS/0/SD_ILS:331582
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.<br/>Yer Numarası ONLINE(331582.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4769-6">http://dx.doi.org/10.1007/978-1-4614-4769-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Mathematics of Paul Erdős II
ent://SD_ILS/0/SD_ILS:332243
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332243.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-7254-4">http://dx.doi.org/10.1007/978-1-4614-7254-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
ent://SD_ILS/0/SD_ILS:332859
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332859.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01333-6">http://dx.doi.org/10.1007/978-3-319-01333-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Real Numbers An Introduction to Set Theory and Analysis
ent://SD_ILS/0/SD_ILS:332876
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Stillwell, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332876.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01577-4">http://dx.doi.org/10.1007/978-3-319-01577-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concise Computer Mathematics Tutorials on Theory and Problems
ent://SD_ILS/0/SD_ILS:332887
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bagdasar, Ovidiu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332887.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01751-8">http://dx.doi.org/10.1007/978-3-319-01751-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Stochastic Calculus with Infinitesimals
ent://SD_ILS/0/SD_ILS:333673
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Herzberg, Frederik. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333673.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33149-7">http://dx.doi.org/10.1007/978-3-642-33149-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Industrial Deployment of System Engineering Methods
ent://SD_ILS/0/SD_ILS:333675
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333675.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333922.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics of Fuzzy Sets and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:333950
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bede, Barnabas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333950.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334014
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334014.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1
ent://SD_ILS/0/SD_ILS:334017
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334017.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35641-4">http://dx.doi.org/10.1007/978-3-642-35641-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
ent://SD_ILS/0/SD_ILS:334018
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334018.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35644-5">http://dx.doi.org/10.1007/978-3-642-35644-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334034
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334034.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334038.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334041
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Yer Numarası ONLINE(334041.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334069
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334069.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334073
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334073.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334092
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.<br/>Yer Numarası ONLINE(334092.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35975-0">http://dx.doi.org/10.1007/978-3-642-35975-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:334096
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334096.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334105.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334111
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334111.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36062-6">http://dx.doi.org/10.1007/978-3-642-36062-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334120
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334120.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334264.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An introduction to Gödel's theorems
ent://SD_ILS/0/SD_ILS:280594
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Smith, Peter, 1944- author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331181.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Visual Reasoning with Diagrams
ent://SD_ILS/0/SD_ILS:332637
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332637.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0600-8">http://dx.doi.org/10.1007/978-3-0348-0600-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Towards a General Theory of Classifications
ent://SD_ILS/0/SD_ILS:332639
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332639.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0609-1">http://dx.doi.org/10.1007/978-3-0348-0609-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332970
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332970.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03200-9">http://dx.doi.org/10.1007/978-3-319-03200-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332934
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332934.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332982
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332982.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Paule, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
ent://SD_ILS/0/SD_ILS:333036
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333036.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Rough Sets XVI
ent://SD_ILS/0/SD_ILS:334220
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.<br/>Yer Numarası ONLINE(334220.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36505-8">http://dx.doi.org/10.1007/978-3-642-36505-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335196.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334355
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334355.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335202
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335202.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45278-9">http://dx.doi.org/10.1007/978-3-642-45278-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Teoria degli Automi Finiti
ent://SD_ILS/0/SD_ILS:335644
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335644.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-5474-5">http://dx.doi.org/10.1007/978-88-470-5474-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Paraconsistency: Logic and Applications
ent://SD_ILS/0/SD_ILS:335759
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335759.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4438-7">http://dx.doi.org/10.1007/978-94-007-4438-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logicism and its philosophical legacy
ent://SD_ILS/0/SD_ILS:280304
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Demopoulos, William.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Logical Introduction to Proof
ent://SD_ILS/0/SD_ILS:331358
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cunningham, Daniel W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3631-7">http://dx.doi.org/10.1007/978-1-4614-3631-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
ent://SD_ILS/0/SD_ILS:336157
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cellucci, Carlo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336157.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-6091-2">http://dx.doi.org/10.1007/978-94-007-6091-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Argument of Mathematics
ent://SD_ILS/0/SD_ILS:336263
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336263.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-6534-4">http://dx.doi.org/10.1007/978-94-007-6534-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
ent://SD_ILS/0/SD_ILS:336850
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336850.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
ent://SD_ILS/0/SD_ILS:338283
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(338283.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8274-3000-7">http://dx.doi.org/10.1007/978-3-8274-3000-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
After Gödel : Platonism and rationalism in mathematics and logic
ent://SD_ILS/0/SD_ILS:371616
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Tieszen, Richard L., author.<br/>Yer Numarası QA9 T54 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334465
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334465.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Logics Essays in Memory of Harald Ganzinger
ent://SD_ILS/0/SD_ILS:334468
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334468.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:334547
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334547.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Albert, Elvira. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334552.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ontology Matching
ent://SD_ILS/0/SD_ILS:334659
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334659.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38721-0">http://dx.doi.org/10.1007/978-3-642-38721-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334666
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334666.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334673
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334673.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334683
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334683.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334698.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334702
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334702.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334868
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334868.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39931-2">http://dx.doi.org/10.1007/978-3-642-39931-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334875
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334875.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334877
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334877.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39998-5">http://dx.doi.org/10.1007/978-3-642-39998-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334925
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334925.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
ent://SD_ILS/0/SD_ILS:334934
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334934.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40355-2">http://dx.doi.org/10.1007/978-3-642-40355-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334946
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334946.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40447-4">http://dx.doi.org/10.1007/978-3-642-40447-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335072
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335072.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reactive Kripke Semantics
ent://SD_ILS/0/SD_ILS:335100
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335100.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335125
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335125.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335126
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hinze, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335126.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
ent://SD_ILS/0/SD_ILS:335941
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335941.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5301-3">http://dx.doi.org/10.1007/978-94-007-5301-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
ent://SD_ILS/0/SD_ILS:336496
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Mogavero, Fabio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336496.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-95-4">http://dx.doi.org/10.2991/978-94-91216-95-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
ent://SD_ILS/0/SD_ILS:336968
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Tapp, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336968.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29654-3">http://dx.doi.org/10.1007/978-3-642-29654-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
ent://SD_ILS/0/SD_ILS:337115
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(337115.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
ent://SD_ILS/0/SD_ILS:337476
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Zeidler, Eberhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(337476.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-658-00297-8">http://dx.doi.org/10.1007/978-3-658-00297-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:331210
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331210.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5514-0">http://dx.doi.org/10.1007/978-1-4471-5514-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Invitation to Abstract Mathematics
ent://SD_ILS/0/SD_ILS:332077
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Bajnok, Béla. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332077.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6636-9">http://dx.doi.org/10.1007/978-1-4614-6636-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332107.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling Computing Systems Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:332574
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332574.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
ent://SD_ILS/0/SD_ILS:332605
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Hinkis, Arie. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332605.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-0348-0224-6">http://dx.doi.org/10.1007/978-3-0348-0224-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
ent://SD_ILS/0/SD_ILS:332681
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Pudlák, Pavel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332681.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00119-7">http://dx.doi.org/10.1007/978-3-319-00119-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332979
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332979.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03524-6">http://dx.doi.org/10.1007/978-3-319-03524-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332981
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332981.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334358
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Pfenning, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334564
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334564.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334580
2024-12-25T16:46:28Z
2024-12-25T16:46:28Z
Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334580.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>