Arama Sonuçları Formal languages.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFormal$002blanguages.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?
2025-03-15T12:30:35Z
Formal languages
ent://SD_ILS/0/SD_ILS:33637
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Salomaa, Arto.<br/>Yer Numarası QA 267.3 S24 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:483708
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:331210
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:175884
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Crespi Reghizzi, Stefano. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-050-0">http://dx.doi.org/10.1007/978-1-84882-050-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An introduction to formal languages and automata
ent://SD_ILS/0/SD_ILS:248864
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Linz, Peter.<br/>Yer Numarası QA267.3 L56 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
New Developments in Formal Languages and Applications
ent://SD_ILS/0/SD_ILS:188079
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78291-9">http://dx.doi.org/10.1007/978-3-540-78291-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Advances in Formal Languages and Applications
ent://SD_ILS/0/SD_ILS:183749
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Esik, Zoltán. editor. Martín-Vide, Carlos. editor. Mitrana, Victor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-33461-3">http://dx.doi.org/10.1007/978-3-540-33461-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal languages and their relation to automata
ent://SD_ILS/0/SD_ILS:70929
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Hopcroft, John E., 1939- Ullman, Jeffrey D., ort. yaz.<br/>Yer Numarası QA 267.3 H6 1969<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Formal Grammars in Linguistics and Psycholinguistics. Volume 1, An Introduction to the Theory of Formal Languages and Automata.
ent://SD_ILS/0/SD_ILS:532382
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Levelt, W. J., author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110885316">https://doi.org/10.1515/9783110885316</a>
<a href="https://www.degruyter.com/isbn/9783110885316">https://www.degruyter.com/isbn/9783110885316</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110885316/original">https://www.degruyter.com/document/cover/isbn/9783110885316/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Formal Analysis of Natural Languages : Proceedings of the First International Conference, Paris, April 27-29, 1970
ent://SD_ILS/0/SD_ILS:532478
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Browne, Wayles, contributor. Dixon, R. M. W., contributor. Emonds, Joseph, contributor. Gross, Maurice, contributor. Gross, Maurice, editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110885248">https://doi.org/10.1515/9783110885248</a>
<a href="https://www.degruyter.com/isbn/9783110885248">https://www.degruyter.com/isbn/9783110885248</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110885248/original">https://www.degruyter.com/document/cover/isbn/9783110885248/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
ent://SD_ILS/0/SD_ILS:342165
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Rigo, Michel.<br/>Yer Numarası ONLINE(342165.1)<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9781119008200">http://dx.doi.org/10.1002/9781119008200</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781119042853">http://dx.doi.org/10.1002/9781119042853</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Languages in Logic A Philosophical and Cognitive Analysis
ent://SD_ILS/0/SD_ILS:236923
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Dutilh Novaes, Catarina.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9781139108010">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
ent://SD_ILS/0/SD_ILS:192413
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Course in Formal Languages, Automata and Groups
ent://SD_ILS/0/SD_ILS:175863
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Chiswell, Ian M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-940-0">http://dx.doi.org/10.1007/978-1-84800-940-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:190109
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01748-3">http://dx.doi.org/10.1007/978-3-642-01748-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ent://SD_ILS/0/SD_ILS:183555
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Bollig, Benedikt. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The formal semantics of programming languages an introduction
ent://SD_ILS/0/SD_ILS:220170
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Winskel, G. (Glynn)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A programmer's introduction to computability and formal languages
ent://SD_ILS/0/SD_ILS:33636
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Kurki-Suonio, Reino.<br/>Yer Numarası QA 267.3 K87 1971<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
L'analyse formelle des langues naturelles = Introduction to the formal analysisof natural languages = Traduction de l'anglais =
ent://SD_ILS/0/SD_ILS:19942
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Chomsky, Noam.<br/>Yer Numarası P 123 C5214 1968<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Learning Languages, Being Social : Informal Language Learning and Socialization in Additional Languages
ent://SD_ILS/0/SD_ILS:534607
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Ackermann-Boström, Constanze, contributor. Barutçuoğlu, Nazlı Deniz, contributor. Costley, Tracey, contributor. Fazzi, Fabiana, contributor. Ferrara, Lindsay, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110794670">https://doi.org/10.1515/9783110794670</a>
<a href="https://www.degruyter.com/isbn/9783110794670">https://www.degruyter.com/isbn/9783110794670</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110794670/original">https://www.degruyter.com/document/cover/isbn/9783110794670/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520867
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33264-7">https://doi.org/10.1007/978-3-031-33264-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:521073
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40132-9">https://doi.org/10.1007/978-3-031-40132-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521295
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33163-3">https://doi.org/10.1007/978-3-031-33163-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Prolog: The Next 50 Years
ent://SD_ILS/0/SD_ILS:521397
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35254-6">https://doi.org/10.1007/978-3-031-35254-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evaluative Constructions in Italian Sign Language (LIS) : A Multi-Theoretical Analysis
ent://SD_ILS/0/SD_ILS:534640
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Fornasiero, Elena, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110783445">https://doi.org/10.1515/9783110783445</a>
<a href="https://www.degruyter.com/isbn/9783110783445">https://www.degruyter.com/isbn/9783110783445</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110783445/original">https://www.degruyter.com/document/cover/isbn/9783110783445/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computers in Language Research
ent://SD_ILS/0/SD_ILS:531704
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Backer, Paul O., contributor. Benson, David B., contributor. Bohnert, Herbert G., contributor. Goodman, S. E., contributor. Hedetniemi, S. T., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783112419588">https://doi.org/10.1515/9783112419588</a>
<a href="https://www.degruyter.com/isbn/9783112419588">https://www.degruyter.com/isbn/9783112419588</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783112419588/original">https://www.degruyter.com/document/cover/isbn/9783112419588/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Home Language Maintenance and Development : Social and Affective Factors
ent://SD_ILS/0/SD_ILS:531785
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Albury, Nathan, contributor. Annamalai, E., contributor. Camacho, José, contributor. Cheatham, Gregory A., contributor. De Houwer, Annick, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9781501510175">https://doi.org/10.1515/9781501510175</a>
<a href="https://www.degruyter.com/isbn/9781501510175">https://www.degruyter.com/isbn/9781501510175</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781501510175/original">https://www.degruyter.com/document/cover/isbn/9781501510175/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Here - Hither - Hence and Related Categories : A Cross-linguistic Study
ent://SD_ILS/0/SD_ILS:533662
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Nintemann, Julia, author. Hober, Nicole , author. Robbers, Maja, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110672640">https://doi.org/10.1515/9783110672640</a>
<a href="https://www.degruyter.com/isbn/9783110672640">https://www.degruyter.com/isbn/9783110672640</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110672640/original">https://www.degruyter.com/document/cover/isbn/9783110672640/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spatial Interrogatives in Europe and Beyond : Where, Whither, Whence
ent://SD_ILS/0/SD_ILS:531844
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Stolz, Thomas, author. Levkovych, Nataliya, author. Nintemann, Julia, author. Robbers, Maja, author. Urdze, Aina, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110539516">https://doi.org/10.1515/9783110539516</a>
<a href="https://www.degruyter.com/isbn/9783110539516">https://www.degruyter.com/isbn/9783110539516</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110539516/original">https://www.degruyter.com/document/cover/isbn/9783110539516/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518522
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17581-2">https://doi.org/10.1007/978-3-319-17581-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519049
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21500-6">https://doi.org/10.1007/978-3-319-21500-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519059
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Franke, Björn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46663-6">https://doi.org/10.1007/978-3-662-46663-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518502
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23980-4">https://doi.org/10.1007/978-3-319-23980-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering
ent://SD_ILS/0/SD_ILS:518651
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Jureta, Ivan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18821-8">https://doi.org/10.1007/978-3-319-18821-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models of Strategic Reasoning Logics, Games, and Communities
ent://SD_ILS/0/SD_ILS:519080
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48540-8">https://doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519199
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Shallit, Jeffrey. 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-19225-3">https://doi.org/10.1007/978-3-319-19225-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519293
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
ent://SD_ILS/0/SD_ILS:519297
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519139
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability The PAAMS Collection
ent://SD_ILS/0/SD_ILS:530586
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Bajo, Javier. editor. Hernández, Josefa Z. editor. Mathieu, Philippe. editor. Campbell, Andrew. editor. Fernández-Caballero, Antonio. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19629-9">https://doi.org/10.1007/978-3-319-19629-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Wörterbücher / Dictionaries / Dictionnaires : Ein internationales Handbuch zur Lexikographie / An International Encyclopedia of Lexicography / Encyclopédie internationale de lexicographie. Supplementary Volume, Dictionaries. An International Encyclopedia of Lexicography ; Supplementary Volume: Recent Developments with Focus on Electronic and Computational Lexicography
ent://SD_ILS/0/SD_ILS:533394
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Abel, Andrea, contributor. Afane-Otsaga, Thierry, contributor. Alvarez, Francisco, contributor. Asmussen, Jörg, contributor. Atkins, Beryl T. Sue, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110238136">https://doi.org/10.1515/9783110238136</a>
<a href="https://www.degruyter.com/isbn/9783110238136">https://www.degruyter.com/isbn/9783110238136</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110238136/original">https://www.degruyter.com/document/cover/isbn/9783110238136/original</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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
The Language of Mathematics A Linguistic and Philosophical Investigation
ent://SD_ILS/0/SD_ILS:334341
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Ganesalingam, Mohan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334341.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37012-0">http://dx.doi.org/10.1007/978-3-642-37012-0</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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334683
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Belief Revision in Non-Classical Logics
ent://SD_ILS/0/SD_ILS:330925
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Modelling Computing Systems Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:332574
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332970
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332982
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Cylindric-like Algebras and Algebraic Logic
ent://SD_ILS/0/SD_ILS:333922
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1
ent://SD_ILS/0/SD_ILS:334017
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334673
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334626
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334626.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334630
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334630.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334781
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.<br/>Yer Numarası ONLINE(334781.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39320-4">http://dx.doi.org/10.1007/978-3-642-39320-4</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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:334814
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334814.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334820.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334821
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334821.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334825
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334825.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334848
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334848.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39784-4">http://dx.doi.org/10.1007/978-3-642-39784-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334968
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334968.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334969.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
ent://SD_ILS/0/SD_ILS:334973
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334973.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334979
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Yer Numarası ONLINE(334979.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Paraconsistency: Logic and Applications
ent://SD_ILS/0/SD_ILS:335759
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
ent://SD_ILS/0/SD_ILS:335941
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
ent://SD_ILS/0/SD_ILS:331002
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba
ent://SD_ILS/0/SD_ILS:331582
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
A Course on Mathematical Logic
ent://SD_ILS/0/SD_ILS:331853
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Concise Computer Mathematics Tutorials on Theory and Problems
ent://SD_ILS/0/SD_ILS:332887
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Industrial Deployment of System Engineering Methods
ent://SD_ILS/0/SD_ILS:333675
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334014
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334337
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334337.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36976-6">http://dx.doi.org/10.1007/978-3-642-36976-6</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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334617
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334617.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334724.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334725
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334725.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334728
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Gaag, Linda C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334728.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334634
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334634.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334771
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Konstantinidis, Stavros. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334771.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39274-0">http://dx.doi.org/10.1007/978-3-642-39274-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334772
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Liu, Shaoying. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334772.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Erdős Centennial
ent://SD_ILS/0/SD_ILS:334774
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334774.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39286-3">http://dx.doi.org/10.1007/978-3-642-39286-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334778
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334778.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ontology Matching
ent://SD_ILS/0/SD_ILS:334659
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
ent://SD_ILS/0/SD_ILS:334978
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334978.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334980
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Schulte, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334980.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334985
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334985.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334987
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334987.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335031
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335031.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40942-4">http://dx.doi.org/10.1007/978-3-642-40942-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335032.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335034
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335034.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40972-1">http://dx.doi.org/10.1007/978-3-642-40972-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335040
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335040.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
The Argument of Mathematics
ent://SD_ILS/0/SD_ILS:336263
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334120
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Transactions on Rough Sets XVI
ent://SD_ILS/0/SD_ILS:334220
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334715
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334715.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335003
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335003.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335023.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335030
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335030.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:335046
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335046.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Teoria degli Automi Finiti
ent://SD_ILS/0/SD_ILS:335644
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
ent://SD_ILS/0/SD_ILS:336157
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
ent://SD_ILS/0/SD_ILS:336496
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
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/>
Specialised Lexicography : Print and Digital, Specialised Dictionaries, Databases
ent://SD_ILS/0/SD_ILS:531526
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Aleksova, Krasimira, contributor. Almeida, Zara Soares de, contributor. Beguš, Ana, contributor. Benko, Anja, contributor. Bratanić, Maja, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110333435">https://doi.org/10.1515/9783110333435</a>
<a href="https://www.degruyter.com/isbn/9783110333435">https://www.degruyter.com/isbn/9783110333435</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110333435/original">https://www.degruyter.com/document/cover/isbn/9783110333435/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cross-Disciplinary Perspectives on Lexical Blending
ent://SD_ILS/0/SD_ILS:533276
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Arcodia, Giorgio Francesco, contributor. Arnaud, Pierre J. L., contributor. Arnaud, Pierre, editor. Bassac, Christian, contributor. Bat-El, Outi, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110289572">https://doi.org/10.1515/9783110289572</a>
<a href="https://www.degruyter.com/isbn/9783110289572">https://www.degruyter.com/isbn/9783110289572</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110289572/original">https://www.degruyter.com/document/cover/isbn/9783110289572/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Grammars in Linguistics and Psycholinguistics. Volume 2, Applications in Linguistic Theory.
ent://SD_ILS/0/SD_ILS:532344
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Levelt, W. J., author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110889369">https://doi.org/10.1515/9783110889369</a>
<a href="https://www.degruyter.com/isbn/9783110889369">https://www.degruyter.com/isbn/9783110889369</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110889369/original">https://www.degruyter.com/document/cover/isbn/9783110889369/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Theory of Functional Grammar. Part 2, Complex and Derived Constructions.
ent://SD_ILS/0/SD_ILS:532841
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Dik, Simon C., author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110218374">https://doi.org/10.1515/9783110218374</a>
<a href="https://www.degruyter.com/isbn/9783110218374">https://www.degruyter.com/isbn/9783110218374</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110218374/original">https://www.degruyter.com/document/cover/isbn/9783110218374/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tense across Languages
ent://SD_ILS/0/SD_ILS:531545
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Bittner, Maria, contributor. Chen, Cheng-Fu, contributor. Demirdache, Hamida, contributor. Giannakidou, Anastasia, contributor. Haude, Katharina, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110267020">https://doi.org/10.1515/9783110267020</a>
<a href="https://www.degruyter.com/isbn/9783110267020">https://www.degruyter.com/isbn/9783110267020</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110267020/original">https://www.degruyter.com/document/cover/isbn/9783110267020/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computers in Language Research. (II), Computers in Language Research 2 ; Part I: Formalization in Literary and Discourse Analysis. Part II: Notating the Language of Music, and the (Pause) Rhythms of Speech
ent://SD_ILS/0/SD_ILS:532061
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar BRUCE, BERTRAM, contributor. ERICKSON, RAYMOND, contributor. KOWAL, SABINE, contributor. O\x27CONNELL, DANIEL C., contributor. SEDELOW, SALLY YEATES, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110823349">https://doi.org/10.1515/9783110823349</a>
<a href="https://www.degruyter.com/isbn/9783110823349">https://www.degruyter.com/isbn/9783110823349</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110823349/original">https://www.degruyter.com/document/cover/isbn/9783110823349/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Discourse and Inference in Cognitive Anthropology : An Approach to Psychic Unity and Enculturation
ent://SD_ILS/0/SD_ILS:532161
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar BOGUSLAWSKI, ANDRZEJ, contributor. COLBY, Β. N., contributor. DE LAURETIS, TERESA, contributor. GALLI, MATILDE CALLARI, contributor. HAMILL, JAMES F., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110800050">https://doi.org/10.1515/9783110800050</a>
<a href="https://www.degruyter.com/isbn/9783110800050">https://www.degruyter.com/isbn/9783110800050</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110800050/original">https://www.degruyter.com/document/cover/isbn/9783110800050/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Insights in Germanic Linguistics. I, Methodology in Transition
ent://SD_ILS/0/SD_ILS:532391
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Berard, Stephen A., contributor. Chisholm, David, contributor. Cook, Nada Μ., contributor. Green, Eugene, contributor. Hawkins, John A., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110810868">https://doi.org/10.1515/9783110810868</a>
<a href="https://www.degruyter.com/isbn/9783110810868">https://www.degruyter.com/isbn/9783110810868</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110810868/original">https://www.degruyter.com/document/cover/isbn/9783110810868/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Grammars in Linguistics and Psycholinguistics. Volume 3, Psycholinguistic Applications.
ent://SD_ILS/0/SD_ILS:532442
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Levelt, W. J., author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110889390">https://doi.org/10.1515/9783110889390</a>
<a href="https://www.degruyter.com/isbn/9783110889390">https://www.degruyter.com/isbn/9783110889390</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110889390/original">https://www.degruyter.com/document/cover/isbn/9783110889390/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Expecting the Unexpected: Exceptions in Grammar
ent://SD_ILS/0/SD_ILS:532667
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Alexiadou, Artemis, contributor. Anderson, Stephen R., contributor. Corbett, Greville G., contributor. Cysouw, Michael, contributor. Dahl, Östen, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110219098">https://doi.org/10.1515/9783110219098</a>
<a href="https://www.degruyter.com/isbn/9783110219098">https://www.degruyter.com/isbn/9783110219098</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110219098/original">https://www.degruyter.com/document/cover/isbn/9783110219098/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Origins of Semiosis : Sign Evolution in Nature and Culture
ent://SD_ILS/0/SD_ILS:534160
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Allott, Robin, contributor. Anati, Emmanuel, contributor. Anderson, Myrdene, contributor. Arndt, Horst, contributor. Bichakjian, Bernard Η., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110877502">https://doi.org/10.1515/9783110877502</a>
<a href="https://www.degruyter.com/isbn/9783110877502">https://www.degruyter.com/isbn/9783110877502</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110877502/original">https://www.degruyter.com/document/cover/isbn/9783110877502/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Linguistics across Historical and Geographical Boundaries : Vol 1: Linguistic Theory and Historical Linguistics. Vol 2: Descriptive, Contrastive, and Applied Linguistics. In Honour of Jacek Fisiak on the Occasion of His Fiftieth Birthday
ent://SD_ILS/0/SD_ILS:533696
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Abraham, Werner, contributor. Ahlqvist, Anders, contributor. Akhmanova, Olga, contributor. Alexandrova, Olga, contributor. Anderson, John, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110856132">https://doi.org/10.1515/9783110856132</a>
<a href="https://www.degruyter.com/isbn/9783110856132">https://www.degruyter.com/isbn/9783110856132</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110856132/original">https://www.degruyter.com/document/cover/isbn/9783110856132/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Dominance of English as a Language of Science : Effects on Other Languages and Language Communities
ent://SD_ILS/0/SD_ILS:534192
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Ammon, Ulrich, contributor. Ammon, Ulrich, editor. Baldauf, Richard B., contributor. Chan, Dennis W. K., contributor. Cillia, Rudolf de, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110869484">https://doi.org/10.1515/9783110869484</a>
<a href="https://www.degruyter.com/isbn/9783110869484">https://www.degruyter.com/isbn/9783110869484</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110869484/original">https://www.degruyter.com/document/cover/isbn/9783110869484/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The language of the Inuit : syntax, semantics, and society in the Arctic
ent://SD_ILS/0/SD_ILS:375951
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Dorais, Louis-Jacques, 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt80t0m">http://www.jstor.org/stable/10.2307/j.ctt80t0m</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Linguistic Change under Contact Conditions
ent://SD_ILS/0/SD_ILS:532456
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Aitchison, Jean, contributor. Bull, Tove, contributor. Dalton-Puffer, Christiane, contributor. Danchev, Andrei, contributor. Diensberg, Bernhard, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110885170">https://doi.org/10.1515/9783110885170</a>
<a href="https://www.degruyter.com/isbn/9783110885170">https://www.degruyter.com/isbn/9783110885170</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110885170/original">https://www.degruyter.com/document/cover/isbn/9783110885170/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recursion and Human Language
ent://SD_ILS/0/SD_ILS:532668
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Gibson, Edward, contributor. Harder, Peter, contributor. Hauser, Marc D., contributor. Hulst, Harry van der, contributor. Hulst, Harry van der, editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110219258">https://doi.org/10.1515/9783110219258</a>
<a href="https://www.degruyter.com/isbn/9783110219258">https://www.degruyter.com/isbn/9783110219258</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110219258/original">https://www.degruyter.com/document/cover/isbn/9783110219258/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Never Say Die! : A Thousand Years of Yiddish in Jewish Life and Letters
ent://SD_ILS/0/SD_ILS:532171
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Aleykhem, Sholem, contributor. Berliner, Note, contributor. Birnboym, Shloyme, contributor. Clurman, Harold, contributor. Dinaburg, B., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110820805">https://doi.org/10.1515/9783110820805</a>
<a href="https://www.degruyter.com/isbn/9783110820805">https://www.degruyter.com/isbn/9783110820805</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110820805/original">https://www.degruyter.com/document/cover/isbn/9783110820805/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rethinking Universals : How Rarities Affect Linguistic Theory
ent://SD_ILS/0/SD_ILS:532822
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Cysouw, Michael, contributor. Cysouw, Michael, editor. Hammarström, Harald, contributor. Hanke, Thomas, contributor. Harris, Alice C., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110220933">https://doi.org/10.1515/9783110220933</a>
<a href="https://www.degruyter.com/isbn/9783110220933">https://www.degruyter.com/isbn/9783110220933</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110220933/original">https://www.degruyter.com/document/cover/isbn/9783110220933/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
UML 2 semantics and applications
ent://SD_ILS/0/SD_ILS:297799
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Lano, K.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=33734">http://www.books24x7.com/marc.asp?bookid=33734</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=711732">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=711732</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470522622">http://dx.doi.org/10.1002/9780470522622</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Form and Function in Language Research : Papers in Honour of Christian Lehmann
ent://SD_ILS/0/SD_ILS:532743
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Ahoua, Firmin, contributor. Auwera, Johan, contributor. Bakker, Dik, contributor. Bohnemeyer, Jürgen, contributor. Cuzzolin, Pierluigi, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110216134">https://doi.org/10.1515/9783110216134</a>
<a href="https://www.degruyter.com/isbn/9783110216134">https://www.degruyter.com/isbn/9783110216134</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110216134/original">https://www.degruyter.com/document/cover/isbn/9783110216134/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms and theory of computation handbook. General concepts and techniques
ent://SD_ILS/0/SD_ILS:291680
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Atallah, Mikhail J. Blanton, Marina.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781584888239">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/>
The Age Factor and Early Language Learning
ent://SD_ILS/0/SD_ILS:532722
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Alexiou, Thomaï, contributor. Carmel, Rivi, contributor. Curtain, Helena, contributor. Edelenbos, Peter, contributor. Enever, Janet, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110218282">https://doi.org/10.1515/9783110218282</a>
<a href="https://www.degruyter.com/isbn/9783110218282">https://www.degruyter.com/isbn/9783110218282</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110218282/original">https://www.degruyter.com/document/cover/isbn/9783110218282/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ontolinguistics : How Ontological Status Shapes the Linguistic Coding of Concepts
ent://SD_ILS/0/SD_ILS:532997
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Bateman, John A., contributor. Brala, Marija M., contributor. Farrar, Scott, contributor. Fellbaum, Christiane, contributor. Gallese, Vittorio, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110197792">https://doi.org/10.1515/9783110197792</a>
<a href="https://www.degruyter.com/isbn/9783110197792">https://www.degruyter.com/isbn/9783110197792</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110197792/original">https://www.degruyter.com/document/cover/isbn/9783110197792/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Morphologie / Morphology : Ein internationales Handbuch zur Flexion und Wortbildung / An International Handbook on Inflection and Word-Formation. 1. Halbband
ent://SD_ILS/0/SD_ILS:532902
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Akamatsu, Tsutomu, contributor. Anderson, John M., contributor. Aronoff, Mark, contributor. Baldi, Philip, contributor. Basbøll, Hans, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110111286.1">https://doi.org/10.1515/9783110111286.1</a>
<a href="https://www.degruyter.com/isbn/9783110194012">https://www.degruyter.com/isbn/9783110194012</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110194012/original">https://www.degruyter.com/document/cover/isbn/9783110194012/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to automata theory, languages, and computation
ent://SD_ILS/0/SD_ILS:313324
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Hopcroft, John E., 1939- Motwani, Rajeev. Ullman, Jeffrey D., 1942-<br/>Yer Numarası QA267 H56 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Grammars with context conditions and their applications
ent://SD_ILS/0/SD_ILS:301770
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Meduna, Alexander, 1957- Svec, Martin. John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/0471736562">http://dx.doi.org/10.1002/0471736562</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Grammars and automata for string processing from mathematics and computer science to biology, and back
ent://SD_ILS/0/SD_ILS:287284
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9780203009642">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/>
Problem solving in automata, languages, and complexity
ent://SD_ILS/0/SD_ILS:300204
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Du, Dingzhu. Ko, Ker-I.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={8531CC0C-7884-423B-B1C3-3C4EDFF582EE}&Format=50">Click for information</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471224642">http://dx.doi.org/10.1002/0471224642</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley046/2001275892.html">http://catdir.loc.gov/catdir/bios/wiley046/2001275892.html</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=215154">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=215154</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The mathematical theory of L systems
ent://SD_ILS/0/SD_ILS:256928
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Rozenberg, Grzegorz. Salomaa, Arto.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125971409">http://www.sciencedirect.com/science/book/9780125971409</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, languages and machines. Volume A
ent://SD_ILS/0/SD_ILS:257300
2025-03-15T12:30:35Z
2025-03-15T12:30:35Z
Yazar Eilenberg, Samuel.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780122340017">http://www.sciencedirect.com/science/book/9780122340017</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>