Arama Sonuçları Formal languages.

Formal languages

2025-03-15T12:30:35Z

Yazar Salomaa, Arto.
Yer Numarası QA 267.3 S24 1973
Format: Kitap
Durum Beytepe Kütüphanesi~1

Formal Languages and Compilation

2025-03-15T12:30:35Z

Yazar Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04879-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Languages and Compilation

2025-03-15T12:30:35Z

Yazar Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası ONLINE(331210.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Languages and Compilation

2025-03-15T12:30:35Z

Yazar Crespi Reghizzi, Stefano. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-050-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An introduction to formal languages and automata

2025-03-15T12:30:35Z

Yazar Linz, Peter.
Yer Numarası QA267.3 L56 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

New Developments in Formal Languages and Applications

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)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78291-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Formal Languages and Applications

2025-03-15T12:30:35Z

Yazar Esik, Zoltán. editor. Martín-Vide, Carlos. editor. Mitrana, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-33461-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal languages and their relation to automata

2025-03-15T12:30:35Z

Yazar Hopcroft, John E., 1939- Ullman, Jeffrey D., ort. yaz.
Yer Numarası QA 267.3 H6 1969
Format: Kitap
Durum Beytepe Kütüphanesi~2

Formal Grammars in Linguistics and Psycholinguistics. Volume 1, An Introduction to the Theory of Formal Languages and Automata.

2025-03-15T12:30:35Z

Yazar Levelt, W. J., author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110885316 https://www.degruyter.com/isbn/9783110885316 Cover https://www.degruyter.com/document/cover/isbn/9783110885316/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Formal Analysis of Natural Languages : Proceedings of the First International Conference, Paris, April 27-29, 1970

2025-03-15T12:30:35Z

Yazar Browne, Wayles, contributor. Dixon, R. M. W., contributor. Emonds, Joseph, contributor. Gross, Maurice, contributor. Gross, Maurice, editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110885248 https://www.degruyter.com/isbn/9783110885248 Cover https://www.degruyter.com/document/cover/isbn/9783110885248/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words

2025-03-15T12:30:35Z

Yazar Rigo, Michel.
Yer Numarası ONLINE(342165.1)
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9781119008200 John Wiley http://dx.doi.org/10.1002/9781119042853
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Languages in Logic A Philosophical and Cognitive Analysis

2025-03-15T12:30:35Z

Yazar Dutilh Novaes, Catarina.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-03-15T12:30:35Z

Yazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Course in Formal Languages, Automata and Groups

2025-03-15T12:30:35Z

Yazar Chiswell, Ian M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-940-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

2025-03-15T12:30:35Z

Yazar Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01748-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2025-03-15T12:30:35Z

Yazar Bollig, Benedikt. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32923-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The formal semantics of programming languages an introduction

2025-03-15T12:30:35Z

Yazar Winskel, G. (Glynn)
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A programmer's introduction to computability and formal languages

2025-03-15T12:30:35Z

Yazar Kurki-Suonio, Reino.
Yer Numarası QA 267.3 K87 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

L'analyse formelle des langues naturelles = Introduction to the formal analysisof natural languages = Traduction de l'anglais =

2025-03-15T12:30:35Z

Yazar Chomsky, Noam.
Yer Numarası P 123 C5214 1968
Format: Kitap
Durum Beytepe Kütüphanesi~1

Learning Languages, Being Social : Informal Language Learning and Socialization in Additional Languages

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110794670 https://www.degruyter.com/isbn/9783110794670 Cover https://www.degruyter.com/document/cover/isbn/9783110794670/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

2025-03-15T12:30:35Z

Yazar Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33264-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

2025-03-15T12:30:35Z

Yazar Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40132-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33163-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Prolog: The Next 50 Years

2025-03-15T12:30:35Z

Yazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35254-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluative Constructions in Italian Sign Language (LIS) : A Multi-Theoretical Analysis

2025-03-15T12:30:35Z

Yazar Fornasiero, Elena, author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110783445 https://www.degruyter.com/isbn/9783110783445 Cover https://www.degruyter.com/document/cover/isbn/9783110783445/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers in Language Research

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783112419588 https://www.degruyter.com/isbn/9783112419588 Cover https://www.degruyter.com/document/cover/isbn/9783112419588/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Home Language Maintenance and Development : Social and Affective Factors

2025-03-15T12:30:35Z

Yazar Albury, Nathan, contributor. Annamalai, E., contributor. Camacho, José, contributor. Cheatham, Gregory A., contributor. De Houwer, Annick, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9781501510175 https://www.degruyter.com/isbn/9781501510175 Cover https://www.degruyter.com/document/cover/isbn/9781501510175/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Here - Hither - Hence and Related Categories : A Cross-linguistic Study

2025-03-15T12:30:35Z

Yazar Nintemann, Julia, author. Hober, Nicole , author. Robbers, Maja, author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110672640 https://www.degruyter.com/isbn/9783110672640 Cover https://www.degruyter.com/document/cover/isbn/9783110672640/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Interrogatives in Europe and Beyond : Where, Whither, Whence

2025-03-15T12:30:35Z

Yazar Stolz, Thomas, author. Levkovych, Nataliya, author. Nintemann, Julia, author. Robbers, Maja, author. Urdze, Aina, author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110539516 https://www.degruyter.com/isbn/9783110539516 Cover https://www.degruyter.com/document/cover/isbn/9783110539516/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-17581-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

2025-03-15T12:30:35Z

Yazar Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21500-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-03-15T12:30:35Z

Yazar Franke, Björn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46663-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings

2025-03-15T12:30:35Z

Yazar Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23980-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering

2025-03-15T12:30:35Z

Yazar Jureta, Ivan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18821-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models of Strategic Reasoning Logics, Games, and Communities

2025-03-15T12:30:35Z

Yazar van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-48540-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

2025-03-15T12:30:35Z

Yazar Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19225-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2025-03-15T12:30:35Z

Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23264-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2025-03-15T12:30:35Z

Yazar Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26184-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28114-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability The PAAMS Collection

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19629-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110238136 https://www.degruyter.com/isbn/9783110238136 Cover https://www.degruyter.com/document/cover/isbn/9783110238136/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2025-03-15T12:30:35Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

2025-03-15T12:30:35Z

Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333036.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334038.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Language of Mathematics A Linguistic and Philosophical Investigation

2025-03-15T12:30:35Z

Yazar Ganesalingam, Mohan. author. SpringerLink (Online service)
Yer Numarası ONLINE(334341.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37012-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334355.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334683.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334698.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Hasegawa, Masahito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334702.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Belief Revision in Non-Classical Logics

2025-03-15T12:30:35Z

Yazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası ONLINE(330925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2025-03-15T12:30:35Z

Yazar Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE(331181.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Computing Systems Mathematics for Computer Science

2025-03-15T12:30:35Z

Yazar Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Yer Numarası ONLINE(332574.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-322-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332970.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03524-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Shan, Chung-chieh. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332981.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03542-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2025-03-15T12:30:35Z

Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332982.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cylindric-like Algebras and Algebraic Logic

2025-03-15T12:30:35Z

Yazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1

2025-03-15T12:30:35Z

Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334017.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35641-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334111.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334673.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2025-03-15T12:30:35Z

Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334552.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334626.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-03-15T12:30:35Z

Yazar Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334630.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Yer Numarası ONLINE(334781.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334875.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2025-03-15T12:30:35Z

Yazar Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334814.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39614-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334825.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334848.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334968.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2025-03-15T12:30:35Z

Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334973.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası ONLINE(334979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Paraconsistency: Logic and Applications

2025-03-15T12:30:35Z

Yazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335759.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

2025-03-15T12:30:35Z

Yazar Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Yer Numarası ONLINE(335941.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5301-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

2025-03-15T12:30:35Z

Yazar O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE(331002.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba

2025-03-15T12:30:35Z

Yazar Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Yer Numarası ONLINE(331582.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Course on Mathematical Logic

2025-03-15T12:30:35Z

Yazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Yer Numarası ONLINE(331853.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A General Framework for Reasoning On Inconsistency

2025-03-15T12:30:35Z

Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası ONLINE(332107.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Computer Mathematics Tutorials on Theory and Problems

2025-03-15T12:30:35Z

Yazar Bagdasar, Ovidiu. author. SpringerLink (Online service)
Yer Numarası ONLINE(332887.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01751-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Deployment of System Engineering Methods

2025-03-15T12:30:35Z

Yazar Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333675.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33170-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334014.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35632-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Lodaya, Kamal. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334105.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36039-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası ONLINE(334041.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334337.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-03-15T12:30:35Z

Yazar Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334564.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334580.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334666.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334617.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334724.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334725.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Gaag, Linda C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334728.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39091-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334634.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Konstantinidis, Stavros. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334771.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39274-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334772.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39277-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Erdős Centennial

2025-03-15T12:30:35Z

Yazar Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334774.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39286-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334778.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology Matching

2025-03-15T12:30:35Z

Yazar Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Yer Numarası ONLINE(334659.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38721-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334868.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39931-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334877.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39998-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

2025-03-15T12:30:35Z

Yazar Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334978.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40615-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Schulte, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334980.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334985.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334987.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

2025-03-15T12:30:35Z

Yazar Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40355-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335031.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40942-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2025-03-15T12:30:35Z

Yazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335032.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

2025-03-15T12:30:35Z

Yazar Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40972-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335040.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41010-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2025-03-15T12:30:35Z

Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335202.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45278-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Argument of Mathematics

2025-03-15T12:30:35Z

Yazar Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6534-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334069.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334073.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

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.
Yer Numarası ONLINE(334092.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35975-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2025-03-15T12:30:35Z

Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334096.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2025-03-15T12:30:35Z

Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334264.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Rough Sets XVI

2025-03-15T12:30:35Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Yer Numarası ONLINE(334220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334465.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Logics Essays in Memory of Harald Ganzinger

2025-03-15T12:30:35Z

Yazar Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334468.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334715.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39038-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335003.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40787-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335023.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

2025-03-15T12:30:35Z

Yazar Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335030.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334946.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2025-03-15T12:30:35Z

Yazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335046.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2025-03-15T12:30:35Z

Yazar Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335072.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reactive Kripke Semantics

2025-03-15T12:30:35Z

Yazar Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası ONLINE(335100.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335125.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2025-03-15T12:30:35Z

Yazar Hinze, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335126.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41582-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teoria degli Automi Finiti

2025-03-15T12:30:35Z

Yazar Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Yer Numarası ONLINE(335644.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-5474-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2025-03-15T12:30:35Z

Yazar Cellucci, Carlo. author. SpringerLink (Online service)
Yer Numarası ONLINE(336157.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6091-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

2025-03-15T12:30:35Z

Yazar Mogavero, Fabio. author. SpringerLink (Online service)
Yer Numarası ONLINE(336496.1)
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-95-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specialised Lexicography : Print and Digital, Specialised Dictionaries, Databases

2025-03-15T12:30:35Z

Yazar Aleksova, Krasimira, contributor. Almeida, Zara Soares de, contributor. Beguš, Ana, contributor. Benko, Anja, contributor. Bratanić, Maja, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110333435 https://www.degruyter.com/isbn/9783110333435 Cover https://www.degruyter.com/document/cover/isbn/9783110333435/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Disciplinary Perspectives on Lexical Blending

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110289572 https://www.degruyter.com/isbn/9783110289572 Cover https://www.degruyter.com/document/cover/isbn/9783110289572/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammars in Linguistics and Psycholinguistics. Volume 2, Applications in Linguistic Theory.

2025-03-15T12:30:35Z

Yazar Levelt, W. J., author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110889369 https://www.degruyter.com/isbn/9783110889369 Cover https://www.degruyter.com/document/cover/isbn/9783110889369/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Theory of Functional Grammar. Part 2, Complex and Derived Constructions.

2025-03-15T12:30:35Z

Yazar Dik, Simon C., author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110218374 https://www.degruyter.com/isbn/9783110218374 Cover https://www.degruyter.com/document/cover/isbn/9783110218374/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tense across Languages

2025-03-15T12:30:35Z

Yazar Bittner, Maria, contributor. Chen, Cheng-Fu, contributor. Demirdache, Hamida, contributor. Giannakidou, Anastasia, contributor. Haude, Katharina, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110267020 https://www.degruyter.com/isbn/9783110267020 Cover https://www.degruyter.com/document/cover/isbn/9783110267020/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-03-15T12:30:35Z

Yazar BRUCE, BERTRAM, contributor. ERICKSON, RAYMOND, contributor. KOWAL, SABINE, contributor. O\x27CONNELL, DANIEL C., contributor. SEDELOW, SALLY YEATES, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110823349 https://www.degruyter.com/isbn/9783110823349 Cover https://www.degruyter.com/document/cover/isbn/9783110823349/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discourse and Inference in Cognitive Anthropology : An Approach to Psychic Unity and Enculturation

2025-03-15T12:30:35Z

Yazar BOGUSLAWSKI, ANDRZEJ, contributor. COLBY, Β. N., contributor. DE LAURETIS, TERESA, contributor. GALLI, MATILDE CALLARI, contributor. HAMILL, JAMES F., contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110800050 https://www.degruyter.com/isbn/9783110800050 Cover https://www.degruyter.com/document/cover/isbn/9783110800050/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Insights in Germanic Linguistics. I, Methodology in Transition

2025-03-15T12:30:35Z

Yazar Berard, Stephen A., contributor. Chisholm, David, contributor. Cook, Nada Μ., contributor. Green, Eugene, contributor. Hawkins, John A., contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110810868 https://www.degruyter.com/isbn/9783110810868 Cover https://www.degruyter.com/document/cover/isbn/9783110810868/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammars in Linguistics and Psycholinguistics. Volume 3, Psycholinguistic Applications.

2025-03-15T12:30:35Z

Yazar Levelt, W. J., author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110889390 https://www.degruyter.com/isbn/9783110889390 Cover https://www.degruyter.com/document/cover/isbn/9783110889390/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Expecting the Unexpected: Exceptions in Grammar

2025-03-15T12:30:35Z

Yazar Alexiadou, Artemis, contributor. Anderson, Stephen R., contributor. Corbett, Greville G., contributor. Cysouw, Michael, contributor. Dahl, Östen, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110219098 https://www.degruyter.com/isbn/9783110219098 Cover https://www.degruyter.com/document/cover/isbn/9783110219098/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Origins of Semiosis : Sign Evolution in Nature and Culture

2025-03-15T12:30:35Z

Yazar Allott, Robin, contributor. Anati, Emmanuel, contributor. Anderson, Myrdene, contributor. Arndt, Horst, contributor. Bichakjian, Bernard Η., contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110877502 https://www.degruyter.com/isbn/9783110877502 Cover https://www.degruyter.com/document/cover/isbn/9783110877502/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-03-15T12:30:35Z

Yazar Abraham, Werner, contributor. Ahlqvist, Anders, contributor. Akhmanova, Olga, contributor. Alexandrova, Olga, contributor. Anderson, John, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110856132 https://www.degruyter.com/isbn/9783110856132 Cover https://www.degruyter.com/document/cover/isbn/9783110856132/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Dominance of English as a Language of Science : Effects on Other Languages and Language Communities

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110869484 https://www.degruyter.com/isbn/9783110869484 Cover https://www.degruyter.com/document/cover/isbn/9783110869484/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The language of the Inuit : syntax, semantics, and society in the Arctic

2025-03-15T12:30:35Z

Yazar Dorais, Louis-Jacques, 1945-
Yer Numarası ONLINE
Elektronik Erişim http://www.jstor.org/stable/10.2307/j.ctt80t0m
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linguistic Change under Contact Conditions

2025-03-15T12:30:35Z

Yazar Aitchison, Jean, contributor. Bull, Tove, contributor. Dalton-Puffer, Christiane, contributor. Danchev, Andrei, contributor. Diensberg, Bernhard, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110885170 https://www.degruyter.com/isbn/9783110885170 Cover https://www.degruyter.com/document/cover/isbn/9783110885170/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recursion and Human Language

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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110219258 https://www.degruyter.com/isbn/9783110219258 Cover https://www.degruyter.com/document/cover/isbn/9783110219258/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Never Say Die! : A Thousand Years of Yiddish in Jewish Life and Letters

2025-03-15T12:30:35Z

Yazar Aleykhem, Sholem, contributor. Berliner, Note, contributor. Birnboym, Shloyme, contributor. Clurman, Harold, contributor. Dinaburg, B., contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110820805 https://www.degruyter.com/isbn/9783110820805 Cover https://www.degruyter.com/document/cover/isbn/9783110820805/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rethinking Universals : How Rarities Affect Linguistic Theory

2025-03-15T12:30:35Z

Yazar Cysouw, Michael, contributor. Cysouw, Michael, editor. Hammarström, Harald, contributor. Hanke, Thomas, contributor. Harris, Alice C., contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110220933 https://www.degruyter.com/isbn/9783110220933 Cover https://www.degruyter.com/document/cover/isbn/9783110220933/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

UML 2 semantics and applications

2025-03-15T12:30:35Z

Yazar Lano, K.
Yer Numarası ONLINE
Elektronik Erişim Books24x7 http://www.books24x7.com/marc.asp?bookid=33734 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=711732 John Wiley http://dx.doi.org/10.1002/9780470522622
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Form and Function in Language Research : Papers in Honour of Christian Lehmann

2025-03-15T12:30:35Z

Yazar Ahoua, Firmin, contributor. Auwera, Johan, contributor. Bakker, Dik, contributor. Bohnemeyer, Jürgen, contributor. Cuzzolin, Pierluigi, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110216134 https://www.degruyter.com/isbn/9783110216134 Cover https://www.degruyter.com/document/cover/isbn/9783110216134/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and theory of computation handbook. General concepts and techniques

2025-03-15T12:30:35Z

Yazar Atallah, Mikhail J. Blanton, Marina.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Age Factor and Early Language Learning

2025-03-15T12:30:35Z

Yazar Alexiou, Thomaï, contributor. Carmel, Rivi, contributor. Curtain, Helena, contributor. Edelenbos, Peter, contributor. Enever, Janet, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110218282 https://www.degruyter.com/isbn/9783110218282 Cover https://www.degruyter.com/document/cover/isbn/9783110218282/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontolinguistics : How Ontological Status Shapes the Linguistic Coding of Concepts

2025-03-15T12:30:35Z

Yazar Bateman, John A., contributor. Brala, Marija M., contributor. Farrar, Scott, contributor. Fellbaum, Christiane, contributor. Gallese, Vittorio, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110197792 https://www.degruyter.com/isbn/9783110197792 Cover https://www.degruyter.com/document/cover/isbn/9783110197792/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Morphologie / Morphology : Ein internationales Handbuch zur Flexion und Wortbildung / An International Handbook on Inflection and Word-Formation. 1. Halbband

2025-03-15T12:30:35Z

Yazar Akamatsu, Tsutomu, contributor. Anderson, John M., contributor. Aronoff, Mark, contributor. Baldi, Philip, contributor. Basbøll, Hans, contributor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1515/9783110111286.1 https://www.degruyter.com/isbn/9783110194012 Cover https://www.degruyter.com/document/cover/isbn/9783110194012/original
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to automata theory, languages, and computation

2025-03-15T12:30:35Z

Yazar Hopcroft, John E., 1939- Motwani, Rajeev. Ullman, Jeffrey D., 1942-
Yer Numarası QA267 H56 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Grammars with context conditions and their applications

2025-03-15T12:30:35Z

Yazar Meduna, Alexander, 1957- Svec, Martin. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/0471736562
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grammars and automata for string processing from mathematics and computer science to biology, and back

2025-03-15T12:30:35Z

Yazar Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Problem solving in automata, languages, and complexity

2025-03-15T12:30:35Z

Yazar Du, Dingzhu. Ko, Ker-I.
Yer Numarası ONLINE
Elektronik Erişim Click for information John Wiley http://dx.doi.org/10.1002/0471224642 Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2001275892.html Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=215154
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The mathematical theory of L systems

2025-03-15T12:30:35Z

Yazar Rozenberg, Grzegorz. Salomaa, Arto.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780125971409
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, languages and machines. Volume A

2025-03-15T12:30:35Z

Yazar Eilenberg, Samuel.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780122340017
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1