Search Results for Formal languages.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

10

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(123)

Crespi Reghizzi, Stefano. author.

(3)

Martín-Vide, Carlos. editor.

(3)

Baldoni, Matteo. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Hopcroft, John E., 1939-

(2)

Legay, Axel. editor.

(2)

Morzenti, Angelo. author.

(2)

Potapov, Igor. editor.

(2)

Rudolph, Sebastian. editor.

(2)

(2)

Son, Tran Cao. editor.

(2)

Subrahmanian, V.S. author.

(2)

Voronkov, Andrei. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Aberdein, Andrew. editor.

(1)

Achten, Peter. editor.

(1)

Albert, Elvira. editor.

(1)

Aldini, Alessandro. editor.

(1)

Amgoud, Leila. author.

(1)

Andréka, Hajnal. editor.

(1)

Artemov, Sergei. editor.

(1)

Artho, Cyrille. editor.

(1)

Aspinall, David. editor.

(1)

Atallah, Mikhail J.

(1)

Bagdasar, Ovidiu. author.

(1)

Baresi, Luciano. editor.

(1)

Baroglio, Cristina. editor.

(1)

Bekki, Daisuke. editor.

(1)

Bel-Enguix, Gemma. editor.

(1)

Bensalem, Saddek. editor.

(1)

Berdine, Josh. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertacco, Valeria. editor.

(1)

Berto, Francesco. editor.

(1)

Beyer, Dirk. editor.

(1)

Bezhanishvili, Guram. editor.

(1)

Biere, Armin. editor.

(1)

Binder, Walter. editor.

(1)

Blackburn, Patrick. editor.

(1)

Blanton, Marina.

(1)

Blazy, Sandrine. editor.

(1)

Bobillo, Fernando. editor.

(1)

Bodden, Eric. editor.

(1)

Boella, Guido. editor.

(1)

Boer, Frank S. editor.

(1)

Bollig, Benedikt. author.

(1)

Bonsangue, Marcello M. editor.

(1)

Boreale, Michele. editor.

(1)

Bravetti, Mario. editor.

(1)

Breveglieri, Luca. author.

(1)

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

(1)

Brézillon, Patrick. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Butler, Alastair. editor.

(1)

Béal, Marie-Pierre. editor.

(1)

Cabalar, Pedro. editor.

(1)

Calimeri, Francesco. editor.

(1)

Carette, Jacques. editor.

(1)

Carton, Olivier. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cellier, Peggy. editor.

(1)

Cellucci, Carlo. author.

(1)

Chan, T-H. Hubert. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chiswell, Ian M. author.

(1)

(1)

Codescu, Mihai. editor.

(1)

Coecke, Bob. editor.

(1)

Costa, Paulo C. G. editor.

(1)

Creissac Campos, Jose. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Dahl, Veronica. editor.

(1)

Dapoigny, Richard. editor.

(1)

Dastani, Mehdi. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Diaconescu, Răzvan. editor.

(1)

Dickerson, John P. author.

(1)

Dierkes, Michael. editor.

(1)

Distel, Felix. editor.

(1)

Dorais, Louis-Jacques, 1945-

(1)

Dove, Ian J. editor.

(1)

Drewes, Frank. editor.

(1)

(1)

Duchier, Denys. editor.

(1)

Dutilh Novaes, Catarina.

(1)

D’Alessandro, Flavio. author.

(1)

Ebbinghaus, Heinz-Dieter. editor.

(1)

Eilenberg, Samuel.

(1)

Eiter, Thomas. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Erwig, Martin. editor.

(1)

Esik, Zoltán. editor.

(1)

Euzenat, Jérôme. author.

(1)

Fanizzi, Nicola. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Ferenczi, Miklós. editor.

(1)

Fleuriot, Jacques. editor.

(1)

Fontaine, Pascal. editor.

(1)

Franke, Björn. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gaag, Linda C. editor.

(1)

Gabbay, Dov M. author.

(1)

Galmiche, Didier. editor.

(1)

Ganesalingam, Mohan. author.

(1)

Ganter, Bernhard. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Geldsetzer, Lutz. author.

(1)

Ghosh, Sujata. editor.

(1)

Giachino, Elena. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Glässer, Uwe. editor.

(1)

Gonthier, Georges. editor.

(1)

Gottlob, Georg. editor.

(1)

Grossi, Davide. editor.

(1)

Groves, Lindsay. editor.

(1)

Grumberg, Orna. editor.

(1)

Harmelen, Frank. editor.

(1)

Hasegawa, Masahito. editor.

(1)

Haxthausen, Anne E. editor.

(1)

Hedin, Görel. editor.

(1)

Hermenegildo, Manuel V. editor.

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Horrocks, Ian. editor.

(1)

Huang, Huaxin. editor.

(1)

Huang, Wen-ling. editor.

(1)

Hähnle, Reiner. editor.

(1)

Hömberg, Dietmar. editor.

(1)

Ianni, Giovambattista. editor.

(1)

Ida, Tetsuo. editor.

(1)

Jain, Sanjay. editor.

(1)

Jiménez-López, M. Dolores. editor.

(1)

John Wiley & Sons.

(1)

Johnsen, Einar Broch. editor.

(1)

Jureta, Ivan. author.

(1)

Jurgensen, Helmut. editor.

(1)

Järvisalo, Matti. editor.

(1)

Kaminski, Michael. editor.

(1)

Kanamori, Akihiro. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Katz, Shmuel. editor.

(1)

(1)

Kohlenbach, Ulrich. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Koopman, Pieter. editor.

(1)

Kowalski, Robert. editor.

(1)

Kurki-Suonio, Reino.

(1)

Kühnberger, Kai-Uwe. editor.

(1)

Lange, Christoph. editor.

(1)

(1)

Larchey-Wendling, Dominique. editor.

(1)

Laskey, Kathryn B. editor.

(1)

Laskey, Kenneth J. editor.

(1)

Lau, Lap Chi. editor.

(1)

Lecroq, Thierry. editor.

(1)

Leite, João. editor.

(1)

Lepistö, Arto. editor.

(1)

Libkin, Leonid. editor.

(1)

(1)

Liu, Shaoying. editor.

(1)

Lodaya, Kamal. editor.

(1)

Logozzo, Francesco. editor.

(1)

Loidl, Hans-Wolfgang. editor.

(1)

Lovász, László. editor.

(1)

Luca, Aldo. author.

(1)

Lukasiewicz, Thomas. editor.

(1)

Lämmel, Ralf. editor.

(1)

Löbner, Sebastian. editor.

(1)

Löwe, Welf. editor.

(1)

Mahlow, Cerstin. editor.

(1)

Mannes, Aaron. author.

(1)

Manzoni, Luca. editor.

(1)

Mares, Edwin. editor.

(1)

Marra, Vincenzo. editor.

(1)

Martinez, Maria Vanina. author.

(1)

Martn̕ Vide, Carlos.

(1)

Martí-Oliet, Narciso. editor.

(1)

Mastroeni, Isabella. editor.

(1)

Masulli, Francesco. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Mayr, Heinrich C. editor.

(1)

McMillan, Ken. editor.

(1)

Meduna, Alexander, 1957-

(1)

Merayo, Mercedes G. editor.

(1)

Micalizio, Roberto. editor.

(1)

Middeldorp, Aart. editor.

(1)

Mitrana, Victor.

(1)

Mitrana, Victor. editor.

(1)

Mogavero, Fabio. author.

(1)

Molinaro, Cristian. author.

(1)

Moller, Faron. author.

(1)

Moraga, Claudio. editor.

(1)

Morrill, Glyn. editor.

(1)

Motomura, Yoichi. editor.

(1)

Motwani, Rajeev.

(1)

Mouchard, Laurent. editor.

(1)

Munos, Rémi. editor.

(1)

Muntean, Traian. editor.

(1)

Language

(138)

(1)

(1)

Publication Date

-

(101)

(10)

(5)

(4)

(2)

(2)

(2)

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

(50)

Artificial Intelligence (incl. Robotics).

(48)

Software engineering.

(45)

Programming Languages, Compilers, Interpreters.

(30)

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)

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)

Formal languages.

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

Philosophy (General).

(5)

(4)

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Data structures (Computer science).

(4)

Machine theory.

(4)

Mathematics of Computing.

(4)

Numeric Computing.

(4)

Optical pattern recognition.

(4)

Pattern Recognition.

(4)

(4)

BİÇİMSEL DİL.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Data Structures.

(3)

Database management.

(3)

(3)

Information Systems.

(3)

Management of Computing and Information Systems.

(3)

Social sciences -- Data processing.

(3)

User Interfaces and Human Computer Interaction.

(3)

Applications of Mathematics.

(2)

Bioinformatics.

(2)

Computational Biology/Bioinformatics.

(2)

Computational linguistics.

(2)

Engineering mathematics.

(2)

History of Mathematical Sciences.

(2)

History of Philosophy.

(2)

Image Processing and Computer Vision.

(2)

Mathematical Applications in Computer Science.

(2)

(2)

Probability and Statistics in Computer Science.

(2)

Software Engineering/Programming and Operating Systems.

(2)

Translators (Computer programs).

(2)

Algebraic topology.

(1)

Application software -- Development.

(1)

Arithmetic and Logic Structures.

(1)

Business Information Systems.

(1)

Cell aggregation -- Mathematics.

(1)

Coding and Information Theory.

(1)

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

Context (Linguistics)

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data protection.

(1)

Discrete Mathematics.

(1)

Distribution (Probability theory).

(1)

Document Preparation and Text Processing.

(1)

(1)

Formal languages -- Semantics.

(1)

Formale Semantik.

(1)

Generative grammar.

(1)

Genetic epistemology.

(1)

Grammar, Comparative and general -- Conditionals.

(1)

(1)

(1)

Health Informatics.

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

(1)

Language Translation and Linguistics.

(1)

Linear and Multilinear Algebras, Matrix Theory.

(1)

Linguistics -- Philosophy.

(1)

MAKİNE KURAMI.

(1)

MATEMATİKİ DİLBİLİM.

(1)

Management information systems.

(1)

Mathematical linguistics.

(1)

Mathematical logic.

(1)

Mathematical optimization.

(1)

(1)

Medical records -- Data processing.

(1)

Monoclonal antibodies.

(1)

(1)

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

PROGRAMLAMA (ELEKTRONİK BİLGİSAYAR)

(1)

Philosophy of Language.

(1)

Probability Theory and Stochastic Processes.

(1)

Programmeertalen.

(1)

Programming languages (Electronic computers) -- Mathematics.

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Programming languages (Electronic computers).

(1)

Science -- History.

(1)

(1)

(1)

Sequential machine theory.

(1)

Special Purpose and Application-Based Systems.

(1)

System Performance and Evaluation.

(1)

Systems and Data Security.

(1)

Text processing (Computer science.

(1)

UML (Computer science)

(1)

e-Commerce/e-business.

(1)

(1)

(1)

langage programmation.

(1)

programmation parallèle.

(1)

(1)

sémantique dénotationnelle.

(1)

sémantique formelle.

(1)

sémantique langage programmation.

(1)

sémantique opérationnelle.

(1)

théorie domaine.

(1)

théorème Gödel.

(1)

équation récursive.

(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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

140 Results Found

Subscribe to search results

1 .. 8 9 10 11 12

00000000DEFAULT

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.

133.

Cover image for Algorithms and theory of computation handbook. General concepts and techniques

Algorithms and theory of computation handbook. General concepts and techniques

Algorithms and theory of computation handbook. General concepts and techniques

Author

Atallah, Mikhail J. Blanton, Marina.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

134.

Cover image for UML 2 semantics and applications

UML 2 semantics and applications

UML 2 semantics and applications

Author

Lano, K.

Preferred Shelf Number

ONLINE

Electronic Access

Books24x7 http://www.books24x7.com/marc.asp?bookid=33734
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=711732
John Wiley http://dx.doi.org/10.1002/9780470522622

Format:

Availability

Online Library~1

Available:
Copies:

135.

Cover image for Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Author

Hopcroft, John E., 1939- Motwani, Rajeev. Ullman, Jeffrey D., 1942-

Preferred Shelf Number

QA267 H56 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

136.

Cover image for Grammars with context conditions and their applications

Grammars with context conditions and their applications

Grammars with context conditions and their applications

Author

Meduna, Alexander, 1957- Svec, Martin. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/0471736562

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Grammars and automata for string processing from mathematics and computer science to biology, and back

Grammars and automata for string processing from mathematics and computer science to biology, and back

Grammars and automata for string processing from mathematics and computer science to biology, and back

Author

Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for Problem solving in automata, languages, and complexity

Problem solving in automata, languages, and complexity

Problem solving in automata, languages, and complexity

Author

Du, Dingzhu. Ko, Ker-I.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
John Wiley http://dx.doi.org/10.1002/0471224642
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley046/2001275892.html
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=215154

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for The mathematical theory of L systems

The mathematical theory of L systems

The mathematical theory of L systems

Author

Rozenberg, Grzegorz. Salomaa, Arto.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780125971409

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for Automata, languages and machines. Volume A

Automata, languages and machines. Volume A

Automata, languages and machines. Volume A

Author

Eilenberg, Samuel.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780122340017

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 8 9 10 11 12

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11