Search Results for

English
Türkçe

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

Konu: Formal Languages and Automata Theory.

Yazar

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)

Dil

(975)

(6)

(3)

Yayın Yılı

(127)

(124)

(108)

(102)

(95)

(90)

(88)

(87)

(83)

(80)

Konu

(984)

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

Algorithms.

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

Data mining.

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

(46)

(37)

(37)

(33)

(29)

Artificial intelligence-Data processing.

(26)

Data Science.

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

IT Operations.

(18)

Mathematics.

(17)

Mathematical Applications in Computer Science.

(16)

Coding and Information Theory.

(15)

Coding theory.

(15)

Algebra.

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

Linguistics.

(8)

Logic design.

(8)

Business information services.

(7)

Epistemology.

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

(5)

(5)

(5)

(5)

Data encryption (Computer science).

(5)

Electronic Circuits and Systems.

(5)

Electronic circuits.

(5)

History of Mathematical Sciences.

(5)

History.

(5)

System theory.

(5)

Systems Theory, Control .

(5)

Engineering mathematics.

(4)

Engineering-Data processing.

(4)

History of Philosophy.

(4)

Mathematical and Computational Engineering Applications.

(4)

(4)

(4)

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

Computers.

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

(3)

(3)

(3)

Philosophy of Science.

(3)

Robotics.

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

Electronics.

(2)

General Algebraic Systems.

(2)

Geometry.

(2)

Health Informatics.

(2)

History of Computing.

(2)

Immunology.

(2)

Immunospecificity.

(2)

Management science.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical models.

(2)

Medical informatics.

(2)

Multimedia Information Systems.

(2)

(2)

(2)

(2)

(2)

Statistical Theory and Methods.

(2)

(2)

(2)

(1)

(1)

(1)

Behavioral Sciences and Psychology.

(1)

Biomathematics.

(1)

Business and Management.

(1)

(1)

(1)

(1)

(1)

Communications Engineering, Networks.

(1)

Computer software.

(1)

Cytology.

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

Engineering.

(1)

Environmental management.

(1)

Game theory.

(1)

Graph theory.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information retrieval.

(1)

Instructional Psychology.

(1)

Learning, Psychology of.

(1)

Linear Algebra.

(1)

Manifolds (Mathematics).

(1)

Manifolds and Cell Complexes.

(1)

(1)

Materyal Türü

Shelf Location

Springer E-Kitap Koleksiyonu

Kütüphane

Ferit Melen Kütüphanesi

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

984 sonuç bulundu

1 2 3 4 5 .. 82

000000000000DEFAULT

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.

Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings

Przepiórkowski, Adam. editor.

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

Format:

SD_ILS:170606

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Ait Ameur, Yamine. editor.

https://doi.org/10.1007/978-3-662-43652-3

Format:

SD_ILS:170122

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Remke, Anne. editor.

https://doi.org/10.1007/978-3-662-45489-3

Format:

SD_ILS:170903

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

van Breugel, Franck. editor.

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

Format:

SD_ILS:170356

Logica Volume 1 - Dimostrazioni e modelli al primo ordine

Abrusci, Vito Michele. author.

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

Format:

SD_ILS:170817

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Klein, Gerwin. editor.

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

Format:

SD_ILS:170912

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

Holzer, Markus. editor.

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

Format:

SD_ILS:170830

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

Asher, Nicholas. editor.

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

Format:

SD_ILS:171274

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

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

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

Format:

SD_ILS:170838

10.

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

Bonakdarpour, Borzoo. editor.

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

Format:

SD_ILS:171110

11.

Transactions on Rough Sets XVII

Peters, James F. editor.

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

Format:

SD_ILS:171130

12.

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

Maffei, Matteo. editor.

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

Format:

SD_ILS:171469

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 82