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)

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

Tümünü genişlet

Dil

(138)

(1)

(1)

Yayın Yılı

-

(101)

(10)

(5)

(4)

(2)

(2)

(2)

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

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

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

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

140 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 8 9 10 11 12

00000000DEFAULT_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.

133.

Algorithms and theory of computation handbook. General concepts and techniques için kapak resmi

Algorithms and theory of computation handbook. General concepts and techniques

Algorithms and theory of computation handbook. General concepts and techniques

Yazar

Atallah, Mikhail J. Blanton, Marina.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

UML 2 semantics and applications için kapak resmi

UML 2 semantics and applications

UML 2 semantics and applications

Yazar

Lano, K.

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Introduction to automata theory, languages, and computation için kapak resmi

Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Yazar

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

Yer Numarası

QA267 H56 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

136.

Grammars with context conditions and their applications için kapak resmi

Grammars with context conditions and their applications

Grammars with context conditions and their applications

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Grammars and automata for string processing from mathematics and computer science to biology, and back için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Problem solving in automata, languages, and complexity için kapak resmi

Problem solving in automata, languages, and complexity

Problem solving in automata, languages, and complexity

Yazar

Du, Dingzhu. Ko, Ker-I.

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

The mathematical theory of L systems için kapak resmi

The mathematical theory of L systems

The mathematical theory of L systems

Yazar

Rozenberg, Grzegorz. Salomaa, Arto.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Automata, languages and machines. Volume A için kapak resmi

Automata, languages and machines. Volume A

Automata, languages and machines. Volume A

Yazar

Eilenberg, Samuel.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 8 9 10 11 12

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11