Search Results for Formal languages.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

SpringerLink (Online service)

(124)

Crespi Reghizzi, Stefano. author.

(3)

Dressler, Wolfgang U., contributor.

(3)

Levelt, W. J., author.

(3)

Martín-Vide, Carlos. editor.

(3)

Skopeteas, Stavros, contributor.

(3)

Baldoni, Matteo. editor.

(2)

Bauer, Laurie, contributor.

(2)

Bergenholtz, Henning, contributor.

(2)

Bonacina, Maria Paola. editor.

(2)

Cysouw, Michael, contributor.

(2)

Danchev, Andrei, contributor.

(2)

Diensberg, Bernhard, contributor.

(2)

Dixon, R. M. W., contributor.

(2)

Gouws, Rufus H., contributor.

(2)

Gussmann, Edmund, contributor.

(2)

Hacken, Pius ten, contributor.

(2)

Hickey, Raymond, contributor.

(2)

Hoenigswald, Henry M., contributor.

(2)

Hopcroft, John E., 1939-

(2)

Ikegami, Yoshihiko, contributor.

(2)

Karlsson, Fred, contributor.

(2)

Kiefer, Ferenc, contributor.

(2)

Legay, Axel. editor.

(2)

Luraghi, Silvia, contributor.

(2)

Malchukov, Andrej, contributor.

(2)

Mańczak, Witold, contributor.

(2)

Mithun, Marianne, contributor.

(2)

Moravcsik, Edith, contributor.

(2)

Morzenti, Angelo. author.

(2)

Newmeyer, Frederick J., contributor.

(2)

Nintemann, Julia, author.

(2)

Potapov, Igor. editor.

(2)

Ramat, Paolo, contributor.

(2)

Robbers, Maja, author.

(2)

Rudolph, Sebastian. editor.

(2)

(2)

Schalley, Andrea C., contributor.

(2)

Schalley, Andrea C., editor.

(2)

Schierholz, Stefan J., contributor.

(2)

Sedelow, Walter A., editor.

(2)

Shohamy, Elana, contributor.

(2)

Silva-Corvalán, Carmen, contributor.

(2)

Son, Tran Cao. editor.

(2)

Subrahmanian, V.S. author.

(2)

Viereck, Wolfgang, contributor.

(2)

Voronkov, Andrei. editor.

(2)

Wiegand, Herbert Ernst, contributor.

(2)

Wurzel, Wolfgang Ullrich, contributor.

(2)

Yeates Sedelow, Sally, editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abel, Andrea, contributor.

(1)

Aberdein, Andrew. editor.

(1)

Abraham, Werner, contributor.

(1)

Achten, Peter. editor.

(1)

Ackermann-Boström, Constanze, contributor.

(1)

Afane-Otsaga, Thierry, contributor.

(1)

Ahlqvist, Anders, contributor.

(1)

Ahoua, Firmin, contributor.

(1)

Aitchison, Jean, contributor.

(1)

Akamatsu, Tsutomu, contributor.

(1)

Akhmanova, Olga, contributor.

(1)

Albert, Elvira. editor.

(1)

Albury, Nathan, contributor.

(1)

Aldini, Alessandro. editor.

(1)

Aleksova, Krasimira, contributor.

(1)

Alexandrova, Olga, contributor.

(1)

Alexiadou, Artemis, contributor.

(1)

Alexiou, Thomaï, contributor.

(1)

Aleykhem, Sholem, contributor.

(1)

Allott, Robin, contributor.

(1)

Almeida, Zara Soares de, contributor.

(1)

Alonso-Betanzos, Amparo. editor.

(1)

Alvarez, Francisco, contributor.

(1)

Amgoud, Leila. author.

(1)

Ammon, Ulrich, contributor.

(1)

Ammon, Ulrich, editor.

(1)

Anati, Emmanuel, contributor.

(1)

Anderson, John M., contributor.

(1)

Anderson, John, contributor.

(1)

Anderson, Myrdene, contributor.

(1)

Anderson, Stephen R., contributor.

(1)

Andréka, Hajnal. editor.

(1)

Annamalai, E., contributor.

(1)

Anttila, Raimo, contributor.

(1)

Arabski, Janusz, contributor.

(1)

Arcodia, Giorgio Francesco, contributor.

(1)

Arnaud, Pierre J. L., contributor.

(1)

Arnaud, Pierre, editor.

(1)

Arndt, Horst, contributor.

(1)

Aronoff, Mark, contributor.

(1)

Artemov, Sergei. editor.

(1)

Artho, Cyrille. editor.

(1)

Asmussen, Jörg, contributor.

(1)

Aspinall, David. editor.

(1)

Atallah, Mikhail J.

(1)

Atkins, Beryl T. Sue, contributor.

(1)

Austerlitz, Robert, contributor.

(1)

Auwera, Johan van der, contributor.

(1)

Auwera, Johan, contributor.

(1)

Awedyk, Wieslaw, contributor.

(1)

BOGUSLAWSKI, ANDRZEJ, contributor.

(1)

BRUCE, BERTRAM, contributor.

(1)

Backer, Paul O., contributor.

(1)

Bagdasar, Ovidiu. author.

(1)

Bajo, Javier. editor.

(1)

Baker, Collin, contributor.

(1)

Bakker, Dik, contributor.

(1)

Bald, Wolf-Dietrich, contributor.

(1)

Baldauf, Richard B., contributor.

(1)

Baldi, Philip, contributor.

(1)

Bammesberger, Alfred, contributor.

(1)

Baresi, Luciano. editor.

(1)

Baroglio, Cristina. editor.

(1)

Baroni, Marco, contributor.

(1)

Barutçuoğlu, Nazlı Deniz, contributor.

(1)

Basbøll, Hans, contributor.

(1)

Bassac, Christian, contributor.

(1)

Bat-El, Outi, contributor.

(1)

Bateman, John A., contributor.

(1)

Bauer, Gero, contributor.

(1)

Bańczerowski, Jerzy, contributor.

(1)

Becker, Thomas, contributor.

(1)

Beer, Sandra, contributor.

(1)

Beguš, Ana, contributor.

(1)

Bekki, Daisuke. editor.

(1)

Bel-Enguix, Gemma. editor.

(1)

Belentschikow, Renate, contributor.

(1)

Beltrami, Pietro G., contributor.

(1)

Benko, Anja, contributor.

(1)

Bensalem, Saddek. editor.

(1)

Benson, David B., contributor.

(1)

Benzehra, Radia, contributor.

(1)

Berard, Stephen A., contributor.

(1)

Berdine, Josh. editor.

(1)

Berliner, Note, contributor.

(1)

Bernardini, Silvia, contributor.

(1)

Bernardo, Marco. editor.

(1)

Bertacco, Valeria. editor.

(1)

Berto, Francesco. editor.

(1)

Beyer, Dirk. editor.

(1)

Bezhanishvili, Guram. editor.

(1)

Bhat, D. N. S., contributor.

(1)

Bichakjian, Bernard Η., contributor.

(1)

Biere, Armin. editor.

(1)

Binder, Walter. editor.

(1)

Binon, Jean, contributor.

(1)

Birnbaum, Henrik, contributor.

(1)

Birnboym, Shloyme, contributor.

(1)

Bittner, Maria, contributor.

(1)

Black, Jeremy, contributor.

(1)

Blackburn, Patrick. editor.

(1)

Blanton, Marina.

(1)

Blazy, Sandrine. editor.

(1)

Boas, Hans Christian, contributor.

(1)

Bobillo, Fernando. editor.

(1)

Bodden, Eric. editor.

(1)

Boella, Guido. editor.

(1)

Boer, Frank S. editor.

(1)

Bogaards, Paul, contributor.

(1)

Bohnemeyer, Jürgen, contributor.

(1)

Bohnert, Herbert G., contributor.

(1)

Bollig, Benedikt. author.

(1)

Bondarko, Aleksandr V., contributor.

(1)

Bondi-Johannessen, Janne, contributor.

(1)

Bonsangue, Marcello M. editor.

(1)

Booij, Geert E., editor.

(1)

Booij, Geert, contributor.

(1)

Boreale, Michele. editor.

(1)

Borgwaldt, Susanne R., contributor.

(1)

Bose, Arpita, contributor.

(1)

Botti, Vicente. editor.

(1)

Bouissac, Paul, contributor.

(1)

Bourcier, Georges, contributor.

(1)

Braasch, Anna, contributor.

(1)

Brala, Marija M., contributor.

(1)

Bratanić, Maja, contributor.

(1)

Bravetti, Mario. editor.

(1)

Breivik, Leiv Egil, contributor.

(1)

Brend, Ruth M., contributor.

(1)

Breveglieri, Luca. author.

(1)

Breveglieri, Luca. author. (orcid)0000-0001-5294-6840

(1)

Broselow, Ellen, contributor.

(1)

Browne, Wayles, contributor.

(1)

Brézillon, Patrick. editor.

(1)

Buchi, Eva, contributor.

(1)

Bugarski, Ranko, contributor.

(1)

Bulatov, Andrei A. editor.

(1)

Bull, Tove, contributor.

(1)

Butler, Alastair. editor.

(1)

Bybee, Joan, contributor.

(1)

Béal, Marie-Pierre. editor.

(1)

Będkowska-Kopczyk, Agnieszka, contributor.

(1)

COLBY, Β. N., contributor.

(1)

Cabalar, Pedro. editor.

(1)

Cabre, Maria Teresa, contributor.

(1)

Calimeri, Francesco. editor.

(1)

Camacho, José, contributor.

(1)

Campbell, Andrew. editor.

(1)

Campbell, Lyle, contributor.

(1)

Tümünü genişlet

Dil

(169)

(1)

(1)

Yayın Yılı

-

(104)

(11)

(11)

(7)

(6)

(5)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(108)

Mathematical Logic and Formal Languages.

(101)

(56)

Logics and Meanings of Programs.

(55)

Artificial intelligence.

(51)

Artificial Intelligence (incl. Robotics).

(48)

Software engineering.

(45)

Programming Languages, Compilers, Interpreters.

(30)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(29)

Computer software.

(24)

Algorithm Analysis and Problem Complexity.

(23)

Computation by Abstract Devices.

(21)

Programming Techniques.

(21)

Computational complexity.

(18)

Discrete Mathematics in Computer Science.

(15)

Logic, Symbolic and mathematical.

(13)

Formal languages.

(12)

Mathematical Logic and Foundations.

(11)

Algebra -- Data processing.

(9)

Information Storage and Retrieval.

(9)

Information storage and retrieval systems.

(9)

Symbolic and Algebraic Manipulation.

(9)

Computer Communication Networks.

(8)

Information theory.

(8)

Computer simulation.

(7)

Information Systems Applications (incl. Internet).

(7)

(7)

Simulation and Modeling.

(7)

Computer vision.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

(6)

Math Applications in Computer Science.

(6)

Theory of Computation.

(6)

Computer Science, general.

(5)

Electronic data processing.

(5)

Information systems.

(5)

Machine theory.

(5)

Philosophy (General).

(5)

(5)

(4)

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Data structures (Computer science).

(4)

(4)

Mathematics of Computing.

(4)

Numeric Computing.

(4)

Optical pattern recognition.

(4)

Pattern Recognition.

(4)

Aufsatzsammlung.

(3)

BİÇİMSEL DİL.

(3)

Computational linguistics.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Data Structures.

(3)

Database management.

(3)

(3)

Information Systems.

(3)

(3)

Management of Computing and Information Systems.

(3)

Mathematical linguistics.

(3)

(3)

(3)

Social sciences -- Data processing.

(3)

User Interfaces and Human Computer Interaction.

(3)

Applications of Mathematics.

(2)

Bioinformatics.

(2)

Computational Biology/Bioinformatics.

(2)

Engineering mathematics.

(2)

History of Mathematical Sciences.

(2)

History of Philosophy.

(2)

Image Processing and Computer Vision.

(2)

(2)

Languages in contact.

(2)

(2)

Linguistische Datenverarbeitung.

(2)

Mathematical Applications in Computer Science.

(2)

(2)

(2)

Probability and Statistics in Computer Science.

(2)

Psycholinguistics.

(2)

Second language acquisition.

(2)

(2)

Software Engineering/Programming and Operating Systems.

(2)

(2)

Translators (Computer programs).

(2)

Typologie /Sprache.

(2)

(2)

Typology (Linguistics).

(2)

Algebraic topology.

(1)

Angewandte Linguisitk.

(1)

Anthropological linguistics -- Congresses.

(1)

Anthropological linguistics.

(1)

Anthropologische Linguistik.

(1)

Application software -- Development.

(1)

Applied Linguistics.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Bilingualism in children.

(1)

(1)

Business Information Systems.

(1)

Cell aggregation -- Mathematics.

(1)

Coding and Information Theory.

(1)

(1)

Cognition -- Congresses.

(1)

Communication -- Philosophy.

(1)

Communication, International.

(1)

Communicative competence.

(1)

Computational Intelligence.

(1)

Computational intelligence.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Appl. in Arts and Humanities.

(1)

Computer algorithms.

(1)

Computer graphics.

(1)

Computer programming.

(1)

Computer software -- Development.

(1)

Computer system performance.

(1)

Computers and Society.

(1)

Computing Methodologies.

(1)

(1)

Constructional Complexity.

(1)

Context (Linguistics)

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data protection.

(1)

Discourse analysis -- Congresses.

(1)

Discrete Mathematics.

(1)

Distribution (Probability theory).

(1)

Document Preparation and Text Processing.

(1)

Encyclopedias and dictionaries -- Encyclopedias.

(1)

(1)

English language -- Technical English.

(1)

(1)

Ethnopsychology -- Congresses.

(1)

Evaluation (Linguistics).

(1)

Evaluative Morphology.

(1)

(1)

Fachsprachenwörterbücher.

(1)

Formal languages -- Semantics.

(1)

Formal methods (Computer science).

(1)

Formale Semantik.

(1)

Functional Typology.

(1)

Functionalism (Linguistics).

(1)

Funktionale Grammatik.

(1)

Gebärdensprache.

(1)

General Linguistics.

(1)

Generative Linguistics.

(1)

Generative grammar.

(1)

Genetic epistemology.

(1)

Germanic languages -- Grammar.

(1)

Grammar, Comparative and general -- Conditionals.

(1)

Grammar, Comparative and general -- Morphology -- Handbooks, manuals, etc.

(1)

Grammar, Comparative and general -- Morphology.

(1)

Grammar, Comparative and general -- Phonology -- Congresses.

(1)

Grammar, Comparative and general -- Syntax -- Congresses.

(1)

Grammar, Comparative and general -- Syntax.

(1)

Grammar, Comparative and general -- Tense.

(1)

Grammar, Comparative and general.

(1)

(1)

(1)

(1)

Health Informatics.

(1)

Heritage language speakers.

(1)

Historical Linguistics.

(1)

Historische Linguistik.

(1)

History of Science.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Inuit -- Languages -- Social aspects.

(1)

Inuit -- Languages.

(1)

Inuktitut language -- Social aspects.

(1)

Inuktitut language.

(1)

Italian Sign Language -- Morphology.

(1)

Italian Sign Language.

(1)

Jews -- Languages.

(1)

Kognitive Linguistik.

(1)

Kommunikative Kompetenz.

(1)

(1)

LANGUAGE ARTS & DISCIPLINES / Sign Language.

(1)

(1)

Language Management.

(1)

Language Policies.

(1)

Language Teaching.

(1)

Language Translation and Linguistics.

(1)

Language Typology.

(1)

Language acquisition -- Age factors.

(1)

Language and languages -- Origin.

(1)

Language and languages -- Study and teaching.

(1)

Language and languages -- Variation.

(1)

Language maintenance.

(1)

Lexical Semantics.

(1)

Lexicography -- Data processing.

(1)

Lexicography -- Encyclopedias.

(1)

Lexicography -- Methodology.

(1)

Lexicography, Specialised Dictionaries.

(1)

(1)

Linear and Multilinear Algebras, Matrix Theory.

(1)

Lingua dei Segni Italiana.

(1)

Linguistic Theories.

(1)

Linguistic change.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

171 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 15

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

25.

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings için kapak resmi

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Computers in Language Research için kapak resmi

Computers in Language Research

Computers in Language Research

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Handbook of Home Language Maintenance and Development : Social and Affective Factors için kapak resmi

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Here - Hither - Hence and Related Categories : A Cross-linguistic Study için kapak resmi

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Spatial Interrogatives in Europe and Beyond : Where, Whither, Whence için kapak resmi

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering için kapak resmi

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

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

Yazar

Jureta, Ivan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-18821-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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

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

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

Yazar

Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-21500-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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 için kapak resmi

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Models of Strategic Reasoning Logics, Games, and Communities için kapak resmi

Models of Strategic Reasoning Logics, Games, and Communities

Models of Strategic Reasoning Logics, Games, and Communities

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 15

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11