Search Results for Formal languages.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

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)

Language

(176)

(1)

(1)

Publication Date

-

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

Subject

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)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

178 Results Found

Subscribe to search results

1 2 3 4 5 .. 15

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

1.

Cover image for 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

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

Author

Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-33163-3

Format:

Availability

Online Library~1

Available:
Copies:

2.

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

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

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

Author

Fornasiero, Elena, author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110783445
https://www.degruyter.com/isbn/9783110783445
Cover https://www.degruyter.com/document/cover/isbn/9783110783445/original

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Computers in Language Research

Computers in Language Research

Computers in Language Research

Author

Backer, Paul O., contributor. Benson, David B., contributor. Bohnert, Herbert G., contributor. Goodman, S. E., contributor. Hedetniemi, S. T., contributor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783112419588
https://www.degruyter.com/isbn/9783112419588
Cover https://www.degruyter.com/document/cover/isbn/9783112419588/original

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Handbook of Home Language Maintenance and Development : Social and Affective Factors

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

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

Author

Albury, Nathan, contributor. Annamalai, E., contributor. Camacho, José, contributor. Cheatham, Gregory A., contributor. De Houwer, Annick, contributor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9781501510175
https://www.degruyter.com/isbn/9781501510175
Cover https://www.degruyter.com/document/cover/isbn/9781501510175/original

Format:

Availability

Online Library~1

Available:
Copies:

5.

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

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

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

Author

Nintemann, Julia, author. Hober, Nicole , author. Robbers, Maja, author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110672640
https://www.degruyter.com/isbn/9783110672640
Cover https://www.degruyter.com/document/cover/isbn/9783110672640/original

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Spatial Interrogatives in Europe and Beyond : Where, Whither, Whence

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

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

Author

Stolz, Thomas, author. Levkovych, Nataliya, author. Nintemann, Julia, author. Robbers, Maja, author. Urdze, Aina, author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110539516
https://www.degruyter.com/isbn/9783110539516
Cover https://www.degruyter.com/document/cover/isbn/9783110539516/original

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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

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

Author

Jureta, Ivan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

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

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

Author

Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-19225-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for 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

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

Author

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-23264-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for 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

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

Author

Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-26184-3

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for 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

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

Author

Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-23980-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for 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

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

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-17581-2

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 15

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11