Search Results for Formal Languages and Automata Theory.

Skip to:Search Results

|

|

|

|

|

|

|

Select Language

|

|

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

15

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(984)

Rozenberg, Grzegorz. editor.

(14)

Voronkov, Andrei. editor.

(11)

Salomaa, Arto. editor.

(9)

Gelbukh, Alexander. editor.

(8)

Peters, James F. editor. (orcid)0000-0002-1026-4638

(8)

Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796

(7)

de Queiroz, Ruy. editor.

(7)

Greco, Salvatore. editor.

(6)

Paun, Gheorghe. editor.

(6)

Skowron, Andrzej. editor. (orcid)0000-0002-5271-6559

(6)

Gabbay, Dov M. author.

(5)

Karhumäki, Juhani. editor.

(5)

Liu, Zhiming. editor.

(5)

Meseguer, José. editor.

(5)

Narukawa, Yasuo. editor.

(5)

Ong, Luke. editor.

(5)

Perner, Petra. editor.

(5)

Potapov, Igor. editor. (orcid)0000-0002-7192-7853

(5)

Schewe, Klaus-Dieter. editor.

(5)

Yager, Ronald R. editor.

(5)

Yao, JingTao. editor.

(5)

Calude, Cristian S. editor.

(4)

Coletti, Giulianella. editor.

(4)

Dediu, Adrian-Horia. editor.

(4)

Fedrizzi, Mario. editor.

(4)

Fisher, Michael. editor.

(4)

Huang, De-Shuang. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Kutrib, Martin. editor.

(4)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(4)

Matarazzo, Benedetto. editor.

(4)

Petrosino, Alfredo. editor.

(4)

Polkowski, Lech. editor.

(4)

Rahwan, Iyad. editor.

(4)

Roth-Berghofer, Thomas R. editor.

(4)

Satoh, Ken. editor.

(4)

Schmidt, Renate. editor.

(4)

Schürr, Andy. editor. (orcid)0000-0001-8100-1109

(4)

Slezak, Dominik. editor.

(4)

Slowiński, Roman. editor.

(4)

Torroni, Paolo. editor.

(4)

Wang, Guoyin. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Ésik, Zoltán. editor.

(4)

Agrawal, Manindra. editor.

(3)

Artemov, Sergei. editor.

(3)

Bekki, Daisuke. editor.

(3)

Bernardo, Marco. editor.

(3)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(3)

Branco, António. editor.

(3)

Croitoru, Madalina. editor.

(3)

Dershowitz, Nachum. editor.

(3)

Eiter, Thomas. editor.

(3)

Fiadeiro, José Luiz. editor.

(3)

Fuchs, Norbert E. editor.

(3)

Ganter, Bernhard. editor.

(3)

Giannakopoulou, Dimitra. editor.

(3)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(3)

Governatori, Guido. editor.

(3)

Grzymala-Busse, Jerzy W. editor.

(3)

Gunopulos, Dimitrios. editor.

(3)

Hofmann, Thomas. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Inuiguchi, Masahiro. editor.

(3)

Kreowski, Hans-Jörg. editor.

(3)

Kryszkiewicz, Marzena. editor.

(3)

Laurent, Anne. editor.

(3)

Leake, David. editor.

(3)

Legay, Axel. editor.

(3)

Leite, Joao. editor.

(3)

Leite, João. editor.

(3)

Lepistö, Arto. editor.

(3)

Li, Tianrui. editor.

(3)

Lingras, Pawan. editor.

(3)

Liu, Shaoying. editor.

(3)

Lukasiewicz, Thomas. editor.

(3)

Malerba, Donato. editor.

(3)

Masulli, Francesco. editor.

(3)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(3)

McBurney, Peter. editor.

(3)

Montanari, Ugo. editor.

(3)

Métais, Elisabeth. editor.

(3)

Nerode, Anil. editor.

(3)

Nguyen, Hung Son. editor.

(3)

Orlowska, Ewa. editor.

(3)

Paulin-Mohring, Christine. editor.

(3)

Pedrycz, Witold. editor.

(3)

Peters, James F. editor.

(3)

Pfenning, Frank. editor.

(3)

Păun, Gheorghe. editor.

(3)

Rahonis, George. editor.

(3)

Ramanna, Sheela. editor.

(3)

Reis, Rogério. editor.

(3)

Rossi, Francesca. editor.

(3)

Rudolph, Sebastian. editor.

(3)

Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080

(3)

Rybalchenko, Andrey. editor.

(3)

Salaün, Gwen. editor.

(3)

Seidl, Helmut. editor.

(3)

Simao, Adenilso. editor. (orcid)0000-0002-1454-2607

(3)

Sojka, Petr. editor.

(3)

Son, Tran Cao. editor.

(3)

Stephan, Frank. editor.

(3)

Strauss, Olivier. editor.

(3)

Truthe, Bianca. editor.

(3)

Vardanega, Tullio. editor.

(3)

Vazirgiannis, Michalis. editor.

(3)

Veith, Helmut. editor.

(3)

Wang, Lipo. editor.

(3)

Aceto, Luca. editor.

(2)

Agotnes, Thomas. editor.

(2)

Ait Ameur, Yamine. editor.

(2)

Albert, Elvira. editor.

(2)

Alla, Hassane. author.

(2)

Aloni, Maria. editor.

(2)

Araki, Keijiro. editor.

(2)

Arbab, Farhad. editor.

(2)

Baader, Franz. editor.

(2)

Baral, Chitta. editor.

(2)

Barceló, Pablo. editor.

(2)

Beckert, Bernhard. editor.

(2)

Bensalem, Saddek. editor.

(2)

Berghammer, Rudolf. editor.

(2)

Bezhanishvili, Guram. editor.

(2)

Bezhanishvili, Nick. editor.

(2)

Beziau, Jean-Yves. editor.

(2)

Bjørner, Nikolaj. editor.

(2)

Blackburn, Patrick. editor.

(2)

Bobillo, Fernando. editor.

(2)

Boca, Paul. editor.

(2)

Boella, Guido. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Bonsangue, Marcello M. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Broersen, Jan M. editor.

(2)

Butler, Michael. editor.

(2)

Carette, Jacques. editor. (orcid)0000-0001-8993-9804

(2)

Carnielli, Walter. author.

(2)

Cavalcanti, Ana. editor.

(2)

Cerone, Antonio. editor.

(2)

Chakraborty, Mihir. editor.

(2)

Chatterjee, Krishnendu. editor.

(2)

Christiansen, Henning. editor.

(2)

Coecke, Bob. editor.

(2)

Cooper, Barry S. editor.

(2)

Cornelis, Chris. editor.

(2)

Corradini, Andrea. editor.

(2)

Crespi Reghizzi, Stefano. author.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

Daelemans, Walter. editor.

(2)

Dastani, Mehdi. editor. (orcid)0000-0002-4641-4087

(2)

Dau, Frithjof. editor.

(2)

Davenport, James H. editor.

(2)

David, René. author.

(2)

Dawar, Anuj. editor.

(2)

Di Gesù, Vito. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Dinneen, Michael J. editor.

(2)

Dix, Jürgen. editor.

(2)

Domaratzki, Michael. editor.

(2)

Dowek, Gilles. editor.

(2)

Dubois, Didier. editor.

(2)

Düntsch, Ivo. editor.

(2)

Ebbinghaus, Heinz-Dieter. editor.

(2)

Ebert, Christian. editor.

(2)

Ehrig, Hartmut. editor.

(2)

Eleftherakis, George. editor.

(2)

Engels, Gregor. editor.

(2)

Erdem, Esra. editor.

(2)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(2)

Etalle, Sandro. editor.

(2)

Fages, Francois. editor.

(2)

Fages, François. editor.

(2)

Fanizzi, Nicola. editor.

(2)

Ferré, Sébastien. editor.

(2)

Frasconi, Paolo. editor.

(2)

Gabbay, Dov M. editor.

(2)

Garrigue, Jacques. editor.

(2)

Gheorghe, Marian. editor.

(2)

Giese, Holger. editor.

(2)

Giesl, Jürgen. editor.

(2)

Glässer, Uwe. editor.

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Godo, Lluis. editor.

(2)

Gogolla, Martin. editor.

(2)

Gottlob, Georg. editor.

(2)

Gramlich, Bernhard. editor.

(2)

Grossi, Davide. editor.

(2)

Grumberg, Orna. editor.

(2)

Grzymala-Busse, Jerzy. editor.

(2)

Gupta, Gopal. editor.

(2)

Hage, Jurriaan. editor.

(2)

Hagiya, Masami. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Hill, Richard. editor.

(2)

Hirsch, Edward. editor.

(2)

Hoffmann, Dirk W. author.

(2)

Holzer, Markus. editor.

(2)

Language

(976)

(6)

(3)

Publication Date

-

(127)

(124)

(108)

(102)

(95)

(90)

(88)

(87)

(83)

(80)

(1)

Subject

Machine theory.

(985)

Formal Languages and Automata Theory.

(984)

Computer science.

(667)

Artificial intelligence.

(526)

Computer Science Logic and Foundations of Programming.

(486)

Software engineering.

(377)

Theory of Computation.

(326)

Compilers (Computer programs).

(315)

Compilers and Interpreters.

(315)

Computer programming.

(255)

Programming Techniques.

(255)

Computer science-Mathematics.

(235)

(224)

Discrete mathematics.

(130)

Discrete Mathematics in Computer Science.

(125)

Information Storage and Retrieval.

(107)

Information storage and retrieval systems.

(107)

Data Mining and Knowledge Discovery.

(95)

(95)

Database management.

(95)

Application software.

(91)

Computer and Information Systems Applications.

(91)

Symbolic and Algebraic Manipulation.

(89)

Computer networks .

(88)

Mathematical Logic and Foundations.

(86)

Mathematical logic.

(86)

Computer Communication Networks.

(83)

Mathematics of Computing.

(55)

Automated Pattern Recognition.

(52)

Natural Language Processing (NLP).

(52)

Natural language processing (Computer science).

(52)

Pattern recognition systems.

(52)

Computer vision.

(46)

Computer Modelling.

(37)

Computer simulation.

(37)

(33)

Numerical analysis.

(29)

Artificial intelligence-Data processing.

(26)

(26)

Bioinformatics.

(25)

Models of Computation.

(25)

Information theory.

(22)

Mathematical statistics.

(20)

Probability and Statistics in Computer Science.

(20)

Computational and Systems Biology.

(19)

Electronic data processing-Management.

(18)

(18)

(17)

Mathematical Applications in Computer Science.

(16)

Coding and Information Theory.

(15)

(15)

(14)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(14)

Human-computer interaction.

(14)

Image processing-Digital techniques.

(14)

User Interfaces and Human Computer Interaction.

(14)

User interfaces (Computer systems).

(14)

Computer Application in Social and Behavioral Sciences.

(12)

Data and Information Security.

(12)

Data protection.

(12)

Social sciences-Data processing.

(12)

Applications of Mathematics.

(10)

Computer Application in Administrative Data Processing.

(10)

Computer graphics.

(10)

Information technology-Management.

(10)

Operating Systems.

(10)

Operating systems (Computers).

(10)

Computational linguistics.

(9)

Computer System Implementation.

(9)

Computer systems.

(9)

Data Structures and Information Theory.

(9)

Data structures (Computer science).

(9)

Order, Lattices, Ordered Algebraic Structures.

(9)

Digital humanities.

(8)

(8)

(8)

Business information services.

(7)

(7)

IT in Business.

(7)

Knowledge, Theory of.

(7)

Language and languages-Philosophy.

(7)

Philosophy of Language.

(7)

Computers, Special purpose.

(6)

Mathematics-Data processing.

(6)

Operations Research and Decision Theory.

(6)

Operations research.

(6)

Special Purpose and Application-Based Systems.

(6)

Theoretical Linguistics / Grammar.

(6)

Arithmetic and Logic Structures.

(5)

Computer Engineering and Networks.

(5)

Computer arithmetic and logic units.

(5)

Computer engineering.

(5)

Control engineering.

(5)

Control theory.

(5)

(5)

(5)

Data encryption (Computer science).

(5)

Electronic Circuits and Systems.

(5)

Electronic circuits.

(5)

History of Mathematical Sciences.

(5)

(5)

(5)

Systems Theory, Control .

(5)

Engineering mathematics.

(4)

Engineering-Data processing.

(4)

History of Philosophy.

(4)

Mathematical and Computational Engineering Applications.

(4)

Philosophy-History.

(4)

(4)

Probability Theory.

(4)

(4)

(3)

Computational Mathematics and Numerical Analysis.

(3)

Computational Science and Engineering.

(3)

Computational intelligence.

(3)

Computer Hardware.

(3)

Computer-Aided Engineering (CAD, CAE) and Design.

(3)

Computer-aided engineering.

(3)

Computers and Society.

(3)

Computers and civilization.

(3)

(3)

Control and Systems Theory.

(3)

Control, Robotics, Automation.

(3)

Electrical and Electronic Engineering.

(3)

Electrical engineering.

(3)

Electronic commerce.

(3)

Electronic digital computers-Evaluation.

(3)

Group Theory and Generalizations.

(3)

(3)

History of Science.

(3)

(3)

(3)

Philosophy of Science.

(3)

(3)

Science-History.

(3)

Science-Philosophy.

(3)

System Performance and Evaluation.

(3)

e-Commerce and e-Business.

(3)

Adaptive Immunity.

(2)

Algebra, Homological.

(2)

Category Theory, Homological Algebra.

(2)

Cognitive psychology.

(2)

Computer architecture.

(2)

Computers and Education.

(2)

Computers-History.

(2)

Convex and Discrete Geometry.

(2)

Convex geometry .

(2)

Discrete geometry.

(2)

Education-Data processing.

(2)

Electronics and Microelectronics, Instrumentation.

(2)

(2)

General Algebraic Systems.

(2)

(2)

Health Informatics.

(2)

History of Computing.

(2)

(2)

Immunospecificity.

(2)

Management science.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical models.

(2)

Medical informatics.

(2)

Multimedia Information Systems.

(2)

Multimedia systems.

(2)

(2)

Philosophy, Modern.

(2)

(2)

Statistical Theory and Methods.

(2)

(2)

Universal algebra.

(2)

Algebraic geometry.

(1)

Algebraic topology.

(1)

Algebras, Linear.

(1)

Behavioral Sciences and Psychology.

(1)

Bilgisayar algoritmaları.

(1)

Bilgisayar bilimi -- Matematik.

(1)

Biomathematics.

(1)

Business and Management.

(1)

(1)

(1)

(1)

(1)

Communications Engineering, Networks.

(1)

Computer algorithms.

(1)

Computer science -- Math.

(1)

Computer software.

(1)

(1)

Data Storage Representation.

(1)

Differential equations.

(1)

Early Modern Philosophy.

(1)

Elementary Particles, Quantum Field Theory.

(1)

Elementary particles (Physics).

(1)

Engineering design.

(1)

(1)

Environmental management.

(1)

(1)

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information retrieval.

(1)

Instructional Psychology.

(1)

Material Type

Shelf Location

General Collection

Springer E-Book Collection

Library

Ferit Melen Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

985 Results Found

Subscribe to search results

1 2 3 4 5 .. 83

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 Automata, formal languages, and turing machines

Automata, formal languages, and turing machines

Automata, formal languages, and turing machines

by

Sermutlu, Emre.

Format:

Excerpt:

Automata, formal languages, and turing machines / Sermutlu, Emre.

SD_ILS:126446

2.

Cover image for Logica Volume 1 - Dimostrazioni e modelli al primo ordine

Logica Volume 1 - Dimostrazioni e modelli al primo ordine

Logica Volume 1 - Dimostrazioni e modelli al primo ordine

by

Abrusci, Vito Michele. author.

https://doi.org/10.1007/978-88-470-5538-4

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:170817

3.

Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

by

Bonakdarpour, Borzoo. editor.

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

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:171110

4.

Cover image for Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

by

Holzer, Markus. editor.

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

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:170830

5.

Cover image for ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

by

Jones, Richard. editor.

https://doi.org/10.1007/978-3-662-44202-9

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:172774

6.

Cover image for Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

by

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

https://doi.org/10.1007/978-3-642-54804-8

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:170838

7.

Cover image for Transactions on Rough Sets XVII

Transactions on Rough Sets XVII

Transactions on Rough Sets XVII

by

Peters, James F. editor.

https://doi.org/10.1007/978-3-642-54756-0

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:171130

8.

Cover image for Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

by

van Breugel, Franck. editor.

https://doi.org/10.1007/978-3-319-06880-0

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:170356

9.

Cover image for Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

by

Liu, Shaoying. editor.

https://doi.org/10.1007/978-3-319-04915-1

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:171260

10.

Cover image for Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

by

Calude, Cristian S. editor.

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

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:171809

11.

Cover image for Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

by

Asher, Nicholas. editor.

https://doi.org/10.1007/978-3-662-43742-1

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:171274

12.

Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

by

Biere, Armin. editor. (orcid)0000-0001-7170-9242

https://doi.org/10.1007/978-3-319-08867-9

Format:

Excerpt:

Formal Languages and Automata Theory.

SD_ILS:171813

1 2 3 4 5 .. 83

Go to:Search Results

|

|

Copyright 2016 SirsiDynix - Portfolio Version 4.5 (36068)