Search Results for Formal languages.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

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)

Bijker, Wietske, 1965-

(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)

Tümünü genişlet

Dil

(176)

(1)

(1)

Yayın Yılı

-

(104)

(11)

(11)

(8)

(6)

(5)

(4)

(4)

(4)

(3)

(3)

(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)

Machine theory.

(6)

Math Applications in Computer Science.

(6)

Theory of Computation.

(6)

Computer Science, general.

(5)

Electronic data processing.

(5)

Information systems.

(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)

(1)

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)

Automobiles -- Automatic control -- Equipment and supplies.

(1)

Automobiles -- Electronic equipment.

(1)

Automotive computers.

(1)

Bilingualism in children.

(1)

(1)

Business Information Systems.

(1)

COMPUTERS / Programming Languages / General.

(1)

Cell aggregation -- Mathematics.

(1)

Code generators.

(1)

Coding and Information Theory.

(1)

(1)

Cognition -- Congresses.

(1)

Communication -- Philosophy.

(1)

Communication, International.

(1)

Communicative competence.

(1)

Compilers (Computer programs)

(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 science -- Handbooks, manuals, etc.

(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)

Embedded computer systems.

(1)

Encyclopedias and dictionaries -- Encyclopedias.

(1)

Engineering -- Handbooks, manuals, etc.

(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)

Formal languages.

(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)

Geographic information systems.

(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)

Integrated circuits -- Computer-aided design.

(1)

Integrated circuits -- Verification -- Data processing.

(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)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

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ç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

178 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.

37.

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:

38.

Prolog: The Next 50 Years için kapak resmi

Prolog: The Next 50 Years

Prolog: The Next 50 Years

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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:

46.

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

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

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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:

48.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 15

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11