Explore: Formale Sprache
Discover books, insights, and more — all in one place.
Learn more about Formale Sprache with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “formale-sprache”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1An introduction to formal languages and automata
By Peter Linz

“An introduction to formal languages and automata” Metadata:
- Title: ➤ An introduction to formal languages and automata
- Author: Peter Linz
- Language: English
- Number of Pages: Median: 413
- Publisher: ➤ Narosa Pub. House - D.C.Heath - D.C. Heath - Jones and Bartlett Publishers - Jones and Bartlet Publishers, Inc - Jones & Bartlett Publishers - Jones and Bartlett
- Publish Date: ➤ 1990 - 1996 - 1997 - 2000 - 2001 - 2006 - 2007 - 2022
- Publish Location: ➤ New Delhi - Lexington, Mass - Sudbury, MA - Sudbury, Mass - Boston - Burlington, Massachusetts, USA
“An introduction to formal languages and automata” Subjects and Themes:
- Subjects: Machine theory - Formal languages - Automatentheorie - Formale Sprache - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: ➤ OL59249309M - OL59249308M - OL32108617M - OL8036867M - OL6794272M - OL2231327M - OL824286M - OL3415832M - OL17350207M
- Online Computer Library Center (OCLC) ID: 500806086
- Library of Congress Control Number (LCCN): 2005032046 - 00062546 - 95080417 - 89085747
- All ISBNs: ➤ 9780763737986 - 8173197814 - 9788173197819 - 0763714224 - 076370296X - 0669354031 - 978-1284231601 - 9780669173420 - 9780763714222 - 1284231607 - 9780763702960 - 9780669354034 - 9781284231601 - 0763737984 - 0669173428
First Setence:
"“Formal languages and automata are fundamental concepts in theoretical computer science that provide the foundation for understanding computation and language processing.”"
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find An introduction to formal languages and automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Counter-free automata
By Robert McNaughton

“Counter-free automata” Metadata:
- Title: Counter-free automata
- Author: Robert McNaughton
- Language: English
- Number of Pages: Median: 163
- Publisher: M.I.T. Press
- Publish Date: 1971
- Publish Location: Cambridge, Mass
“Counter-free automata” Subjects and Themes:
- Subjects: ➤ Sequential machine theory - Logique symbolique - Formale Sprache - Théorie automate - Expression régulière - Machines séquentielles (Théorie) - MONOIDE SYNTACTIQUE - Automatentheorie - Machines séquentielles, Théorie des - Réseau transmission - EVENEMENT REGULIER
Edition Identifiers:
- The Open Library ID: OL18062733M - OL5759232M
- Library of Congress Control Number (LCCN): 71153294
- All ISBNs: 0262130769 - 9780262130769
Access and General Info:
- First Year Published: 1971
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Counter-free automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Logic, Language, Formalism, Informalism
By Daniel Richardson

“Logic, Language, Formalism, Informalism” Metadata:
- Title: ➤ Logic, Language, Formalism, Informalism
- Author: Daniel Richardson
- Language: English
- Number of Pages: Median: 246
- Publisher: ➤ International Thomson Computer Press
- Publish Date: 1995
“Logic, Language, Formalism, Informalism” Subjects and Themes:
- Subjects: Logic programming languages - Formale Sprache - Logische Programmierung - Language and logic - Formalism (literary analysis)
Edition Identifiers:
- The Open Library ID: OL8967801M
- All ISBNs: 1850321272 - 9781850321279
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logic, Language, Formalism, Informalism at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Introduction to formal languages
By György E. Révész

“Introduction to formal languages” Metadata:
- Title: ➤ Introduction to formal languages
- Author: György E. Révész
- Language: English
- Number of Pages: Median: 199
- Publisher: ➤ McGraw-Hill - Dover Publications
- Publish Date: 1983 - 1991
- Publish Location: New York
“Introduction to formal languages” Subjects and Themes:
- Subjects: Formal languages - Formale Sprache - Langages formels - Einführung
Edition Identifiers:
- The Open Library ID: OL1533832M - OL3504991M
- Online Computer Library Center (OCLC) ID: 9155201
- Library of Congress Control Number (LCCN): 91011606 - 82025882
- All ISBNs: 9780486666976 - 9780070519169 - 0486666972 - 0070519161
Access and General Info:
- First Year Published: 1983
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Introduction to formal languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Principles of constructing linguistic models
By P. N. Denisov

“Principles of constructing linguistic models” Metadata:
- Title: ➤ Principles of constructing linguistic models
- Author: P. N. Denisov
- Language: English
- Number of Pages: Median: 200
- Publisher: ➤ Mouton - de Gruyter GmbH, Walter
- Publish Date: 1973
- Publish Location: The Hague
“Principles of constructing linguistic models” Subjects and Themes:
- Subjects: ➤ Computational linguistics - Linguistique informatique - Informatique - Modellen - Formale Sprache - Linguistique - Taalwetenschap - Linguistik - Dokumentationssprache - Modell
Edition Identifiers:
- The Open Library ID: OL37083746M - OL5305437M
- Online Computer Library Center (OCLC) ID: 640355
- Library of Congress Control Number (LCCN): 72088205
- All ISBNs: 9789027923769 - 9027923760
Access and General Info:
- First Year Published: 1973
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Principles of constructing linguistic models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Einfu hrung in die Automatentheorie, formale Sprachen und Komplexita tstheorie
By John E. Hopcroft

“Einfu hrung in die Automatentheorie, formale Sprachen und Komplexita tstheorie” Metadata:
- Title: ➤ Einfu hrung in die Automatentheorie, formale Sprachen und Komplexita tstheorie
- Author: John E. Hopcroft
- Language: ger
- Number of Pages: Median: 461
- Publisher: Addison-Wesley
- Publish Date: 1994
- Publish Location: Paris [u.a.] - Bonn
“Einfu hrung in die Automatentheorie, formale Sprachen und Komplexita tstheorie” Subjects and Themes:
- Subjects: Automatentheorie - Komplexita tstheorie - Theoretische Informatik - Formale Sprache
Edition Identifiers:
- The Open Library ID: OL25890158M
- Online Computer Library Center (OCLC) ID: 75442820
- All ISBNs: 9783893197446 - 3893197443
Author's Alternative Names:
"John Edward Hopcroft"Access and General Info:
- First Year Published: 1994
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Einfu hrung in die Automatentheorie, formale Sprachen und Komplexita tstheorie at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Proceedings of the Fifteenth West Coast Conference on Formal Linguistics
By Sze-Wing Tang

“Proceedings of the Fifteenth West Coast Conference on Formal Linguistics” Metadata:
- Title: ➤ Proceedings of the Fifteenth West Coast Conference on Formal Linguistics
- Author: Sze-Wing Tang
- Language: English
- Number of Pages: Median: 624
- Publisher: ➤ Center for the Study of Language and Inf
- Publish Date: 1997
“Proceedings of the Fifteenth West Coast Conference on Formal Linguistics” Subjects and Themes:
- Subjects: ➤ Linguistics - Congresses - Linguistique - Congrès - Mathematische Linguistik - Formale Sprache - Linguistik
Edition Identifiers:
- The Open Library ID: OL8746276M
- Online Computer Library Center (OCLC) ID: 37392374
- All ISBNs: 1575860791 - 9781575860794
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Proceedings of the Fifteenth West Coast Conference on Formal Linguistics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Formale Sprache und Erfahrung
By Dieter Wandschneider

“Formale Sprache und Erfahrung” Metadata:
- Title: Formale Sprache und Erfahrung
- Author: Dieter Wandschneider
- Language: ger
- Number of Pages: Median: 147
- Publisher: F. Frommann-Holzboog
- Publish Date: 1975
- Publish Location: Stuttgart-Bad Cannstatt
“Formale Sprache und Erfahrung” Subjects and Themes:
- Subjects: ➤ Philosophy - Semantics (Philosophy) - Language and languages - Formale Sprache - Neopositivismus - Langage et langues - Analytische Philosophie - Linguistik - Wissenschaft - Philosophie - Sémantique (Philosophie)
- People: Rudolf Carnap (1891-1970)
Edition Identifiers:
- The Open Library ID: OL4790809M
- Online Computer Library Center (OCLC) ID: 1623374
- Library of Congress Control Number (LCCN): 75511717
- All ISBNs: 3772804047 - 9783772804045 - 3772804039 - 9783772804038
Access and General Info:
- First Year Published: 1975
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Formale Sprache und Erfahrung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Introduction to automata theory, languages, and computation
By John E. Hopcroft, Jeffrey D. Ullman and Rajeev Motwani

“Introduction to automata theory, languages, and computation” Metadata:
- Title: ➤ Introduction to automata theory, languages, and computation
- Authors: John E. HopcroftJeffrey D. UllmanRajeev Motwani
- Languages: English - ger
- Number of Pages: Median: 525
- Publisher: ➤ Addison-Wesley - Pearson/Addison-Wesley - Addison Wesley - Pearson Education, Limited - Pearson Education Deutschland - Pearson/Addison Wesley
- Publish Date: ➤ 1979 - 1998 - 1999 - 2001 - 2002 - 2003 - 2006 - 2007
- Publish Location: Boston - USA - Reading, Mass
“Introduction to automata theory, languages, and computation” Subjects and Themes:
- Subjects: ➤ Computational complexity - Formal languages - Machine theory - Programmeren (computers) - Computers - Langages formels - Automates mathématiques, Théorie des - Complexité algorithmique - Langage formel - Formele talen - Lenguajes formales - Théorie des automates - Automate mathématique - Teoría de las máquinas - Cellulaire automaten - Complexité de calcul (Informatique) - Artificial intelligence - Mathematical theory of computation - Computers - General Information - Computer Books: General - Computer Science - Logic - Computers / Computer Science - Programming languages (electronic computers) - Computer mathematics - Mathematical programming & operations research - Komplexitätstheorie - Formale sprache - Automatentheorie - Qa267 .h56 2007 - 511.3/5 - St 130 - Dat 500f - St 136 - Dat 517f - Dat 550f - Dat 555f - Nonfiction
Edition Identifiers:
- The Open Library ID: ➤ OL53447274M - OL53447272M - OL28965127M - OL9764313M - OL24357442M - OL4748554M - OL6795097M - OL25167962M
- Online Computer Library Center (OCLC) ID: 4549363 - 69013079
- Library of Congress Control Number (LCCN): 2006014263 - 00064608 - 78067950
- All ISBNs: ➤ 9783827370204 - 9780201029888 - 9780321210296 - 0321455363 - 0201441241 - 3827370205 - 9780201441246 - 9780321455369 - 0321210298 - 020102988X
First Setence:
"Ten years ago the authors undertook to produce a book covering the known material on formal languages, automata theory, and computational complexity."
Author's Alternative Names:
"John Edward Hopcroft" and "Jeff Ullman"Access and General Info:
- First Year Published: 1979
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Introduction to automata theory, languages, and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Introduction to Automata Theory, Languages, and Computation
By John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman

“Introduction to Automata Theory, Languages, and Computation” Metadata:
- Title: ➤ Introduction to Automata Theory, Languages, and Computation
- Authors: John E. HopcroftRajeev MotwaniJeffrey D. Ullman
- Language: English
- Number of Pages: Median: 535
- Publisher: ➤ Pearson Education, Limited - Addison Wesley
- Publish Date: 2006 - 2007 - 2013
“Introduction to Automata Theory, Languages, and Computation” Subjects and Themes:
- Subjects: ➤ Machine theory - Formal languages - Computational complexity - Automates mathématiques, théorie des - Langages formels - Complexité de calcul (informatique) - Komplexitätstheorie - Formale sprache - Automatentheorie - Qa267 .h56 2007 - 511.3/5 - St 130 - Dat 500f - St 136 - Dat 517f - Dat 550f - Dat 555f
Edition Identifiers:
- The Open Library ID: OL40355579M - OL9597631M - OL29185072M - OL28987862M - OL40353920M
- Online Computer Library Center (OCLC) ID: 69013079
- All ISBNs: ➤ 0321455371 - 0321462254 - 1292039051 - 0321476174 - 9780321514486 - 9781292039053 - 9780321455376 - 9780321462251 - 0321514483 - 9780321476173
Author's Alternative Names:
"John Edward Hopcroft" and "Jeff Ullman"Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Introduction to Automata Theory, Languages, and Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Introduction to Languages and the Theory of Computation
By John C. Martin

“Introduction to Languages and the Theory of Computation” Metadata:
- Title: ➤ Introduction to Languages and the Theory of Computation
- Author: John C. Martin
- Language: English
- Number of Pages: Median: 543
- Publisher: McGraw-Hill Companies
- Publish Date: 2002
“Introduction to Languages and the Theory of Computation” Subjects and Themes:
- Subjects: ➤ Sequential machine theory - Computable functions - Machines séquentielles, Théorie des - Fonctions calculables - Automatentheorie - Berechenbarkeit - Formale Sprache - Turing-Maschine
Edition Identifiers:
- The Open Library ID: OL7297997M - OL9252692M
- Online Computer Library Center (OCLC) ID: 49704774
- Library of Congress Control Number (LCCN): 2002070865
- All ISBNs: 0071198547 - 9780071198547
First Setence:
"A set is determined by its elements."
Author's Alternative Names:
"Martin, J. C. (John Calhoun), 1945-", "John. Martin", "Martin, John C.", "Martin, J.C. (John Calhoun)", "Martin, John Calhoun 1945-....", "Martin, John C., 19..-...., informaticien", "Martin, John C, informaticien" and "Martin, J. C."Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Introduction to Languages and the Theory of Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Foundations of Software Technology and Theoretical Computer Science
By C. Pandu Rangan and R. Ramanujam

“Foundations of Software Technology and Theoretical Computer Science” Metadata:
- Title: ➤ Foundations of Software Technology and Theoretical Computer Science
- Authors: C. Pandu RanganR. Ramanujam
- Language: English
- Number of Pages: Median: 452
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2000 - 2003 - 2004
“Foundations of Software Technology and Theoretical Computer Science” Subjects and Themes:
- Subjects: ➤ Informatique - Ciencia da computacao ou informatica - Formale Sprache - Software engineering - Informatica - Genie logiciel - Congresses - Computer science - Programmiersprache - Congres - Programmatuurtechniek - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL9423503M - OL37149381M - OL37228986M
- Online Computer Library Center (OCLC) ID: 42882776
- Library of Congress Control Number (LCCN): 99058792
- All ISBNs: ➤ 3540668365 - 3540466916 - 9783540668367 - 9783540493822 - 9783540466918 - 3540493824
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Foundations of Software Technology and Theoretical Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Automata, languages, and programming
By International Colloquium on Automata, Languages, and Programming (20th 1993 Lund, Sweden), A. Lingas and R. Karlsson

“Automata, languages, and programming” Metadata:
- Title: ➤ Automata, languages, and programming
- Authors: ➤ International Colloquium on Automata, Languages, and Programming (20th 1993 Lund, Sweden)A. LingasR. Karlsson
- Language: English
- Number of Pages: Median: 709
- Publisher: ➤ Not Avail - Springer - Springer-Verlag
- Publish Date: 1993
- Publish Location: Berlin - New York
“Automata, languages, and programming” Subjects and Themes:
- Subjects: ➤ Congresses - Machine theory - Formal languages - Computer programming - Mathematical Logic and Formal Languages - Programming Techniques - Computer science - Algorithm Analysis and Problem Complexity - Logic design - Data Structures - Logics and Meanings of Programs - Computation by Abstract Devices - Data structures (Computer science) - Computer software - Automata - Computers - Computers - General Information - Computer Books: General - Automates mathématiques, Théorie des - Congrès - Langages formels - Programmation (Informatique) - Programming languages (Electronic computers) - Ordinateurs - Programmation - Abstracte automaten - Programmeertalen - Automatentheorie - Formale Sprache - Informatik - Theoretische Informatik - Teoria Da Computacao - Kongress - Théorie des automates
Edition Identifiers:
- The Open Library ID: OL22160151M - OL9678076M - OL9798793M
- Online Computer Library Center (OCLC) ID: 28515815
- All ISBNs: 0387569391 - 9780387569390 - 9783540569398 - 3540569391
First Setence:
"This talk restricts attention to program result checkers for a certain clean class of computational problems."
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata, languages, and programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Automata-Theoretic Aspects of Formal Power Series
By Arto Salomaa

“Automata-Theoretic Aspects of Formal Power Series” Metadata:
- Title: ➤ Automata-Theoretic Aspects of Formal Power Series
- Author: Arto Salomaa
- Language: English
- Number of Pages: Median: 171
- Publisher: Springer-Verlag - Springer
- Publish Date: 1978 - 2011
- Publish Location: New York
“Automata-Theoretic Aspects of Formal Power Series” Subjects and Themes:
- Subjects: ➤ Sequential machine theory - Power series - Formal languages - Potenzreihe - Formale Potenzreihe - Formale Sprache - Théorie automate - Automat (Automatentheorie) - Langages formels - Machines séquentielles, Théorie des - Langage formel - Séries de puissances - SERIE PUISSANCE - Machine séquentielle - Automatentheorie - Sequentielle Logik
Edition Identifiers:
- The Open Library ID: OL28124263M - OL28136811M - OL4715851M
- Library of Congress Control Number (LCCN): 78002214
- All ISBNs: ➤ 0387902821 - 9780387902821 - 1461262666 - 1461262658 - 9781461262664 - 9781461262657
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata-Theoretic Aspects of Formal Power Series at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Formal modeling and analysis of timed systems
By Wang Yi

“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Author: Wang Yi
- Language: English
- Number of Pages: Median: 305
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2005 - 2006
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Machine theory - Automates temporels - Méthodes formelles (Informatique) - Temporal automata - Simulation par ordinateur - Robots - Congrès - Automates mathématiques, Théorie des - Computer simulation - Congresses - Formal methods (Computer science) - Theorie des Automates mathematiques - Temporale Logik - Echtzeitsystem - COMPUTERS - Congres - Zeitdiskretes System - Formale Sprache - Informatique - Formale Methode - Methodes formelles (Informatique) - Automata
Edition Identifiers:
- The Open Library ID: OL9733350M - OL37118278M
- Online Computer Library Center (OCLC) ID: 63107695 - 62513772
- Library of Congress Control Number (LCCN): 2005937088
- All ISBNs: 3540316167 - 9783540309468 - 9783540316169 - 3540309462
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Formalization of Programming Concepts
By J. Díaz

“Formalization of Programming Concepts” Metadata:
- Title: ➤ Formalization of Programming Concepts
- Author: J. Díaz
- Languages: English - fre
- Number of Pages: Median: 485
- Publisher: Springer-Verlag - Springer
- Publish Date: 1981
- Publish Location: New York - Berlin
“Formalization of Programming Concepts” Subjects and Themes:
- Subjects: ➤ Electronic digital computers - Programming - Programmation (Informatique) - Congresses - Formale Sprache - Programmierung - Congres - Computer programming
Edition Identifiers:
- The Open Library ID: OL9466857M - OL21841876M
- Library of Congress Control Number (LCCN): 81005715
- All ISBNs: 3540106995 - 9783540106999
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formalization of Programming Concepts at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Petri-Netze
By Lutz Priese

“Petri-Netze” Metadata:
- Title: Petri-Netze
- Author: Lutz Priese
- Language: ger
- Publisher: Springer
- Publish Date: 2008
- Publish Location: Heidelberg - Berlin
“Petri-Netze” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Formale Sprache - Berechenbarkeit - Petri-Netz - Entscheidbarkeit - Nebenla ufigkeit - Erreichbarkeit - Computer science - Combinatorial analysis - Interleaving - Computer software
Edition Identifiers:
- The Open Library ID: OL25554181M
- Online Computer Library Center (OCLC) ID: 222358401
- All ISBNs: 9783540769712 - 3540769714 - 3540769706 - 9783540769705
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Petri-Netze at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Semirings, automata, languages
By Werner Kuich

“Semirings, automata, languages” Metadata:
- Title: Semirings, automata, languages
- Author: Werner Kuich
- Language: English
- Number of Pages: Median: 374
- Publisher: Springer-Verlag
- Publish Date: 1986
- Publish Location: Berlin - New York
“Semirings, automata, languages” Subjects and Themes:
- Subjects: ➤ Formal languages - Machine theory - Semirings (Mathematics) - Théorie des automates - Semi-anneaux (Mathématiques) - Langages formels - Automatentheorie - Halbring - Formale Sprache - Automates mathématiques, théorie des - Számítógéptudomány
Edition Identifiers:
- The Open Library ID: OL2536481M
- Online Computer Library Center (OCLC) ID: 12420811
- Library of Congress Control Number (LCCN): 85017316
- All ISBNs: 9780387137162 - 0387137165
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Semirings, automata, languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Modelle der Parallelverarbeitung
By Roland Vollmar and Thomas Worsch

“Modelle der Parallelverarbeitung” Metadata:
- Title: ➤ Modelle der Parallelverarbeitung
- Authors: Roland VollmarThomas Worsch
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1995
- Publish Location: Wiesbaden
“Modelle der Parallelverarbeitung” Subjects and Themes:
- Subjects: Automatentheorie - Parallelrechner - Parallelverarbeitung - Formale Sprache - Computerarchitektur
Edition Identifiers:
- The Open Library ID: OL27075411M
- Online Computer Library Center (OCLC) ID: 863930242
- All ISBNs: 3322867722 - 9783322867728
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Modelle der Parallelverarbeitung at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Die Sprachen der Logik und die Logik der Sprache
By Cresswell, M. J.

“Die Sprachen der Logik und die Logik der Sprache” Metadata:
- Title: ➤ Die Sprachen der Logik und die Logik der Sprache
- Author: Cresswell, M. J.
- Language: ger
- Number of Pages: Median: 431
- Publisher: De Gruyter
- Publish Date: 1979
- Publish Location: Berlin - New York
“Die Sprachen der Logik und die Logik der Sprache” Subjects and Themes:
- Subjects: ➤ Language and languages - Philosophy - Semantics - Semantics (Philosophy) - Sémantique - Sémantique (Philosophie) - Langage et langues - Philosophie - Aussagenlogik - Englisch - Logik - Mathematik - Mathematische Logik - Sprache - Sprachlogik - Formale Sprache - Linguistics
- Places: Englisch
Edition Identifiers:
- The Open Library ID: OL32987858M
- Online Computer Library Center (OCLC) ID: 7030530
- All ISBNs: 9783110049237 - 3110049236
Access and General Info:
- First Year Published: 1979
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Die Sprachen der Logik und die Logik der Sprache at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Languages From Formal to Natural Lecture Notes in Computer Science
By Orna Grumberg

“Languages From Formal to Natural Lecture Notes in Computer Science” Metadata:
- Title: ➤ Languages From Formal to Natural Lecture Notes in Computer Science
- Author: Orna Grumberg
- Publisher: Springer
- Publish Date: 2009
“Languages From Formal to Natural Lecture Notes in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Information theory - Symbolic and mathematical Logic - Computer science - Programming languages (electronic computers) - Programming languages (Electronic computers) - Formale Sprache - Kongress - Natürliche Sprache - Linguistische Datenverarbeitung - Programmverifikation
Edition Identifiers:
- The Open Library ID: OL26157402M
- Online Computer Library Center (OCLC) ID: 351305713
- All ISBNs: 9783642017476 - 3642017479
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Languages From Formal to Natural Lecture Notes in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Formal languages and compilation
By Stefano Crespi-Reghizzi

“Formal languages and compilation” Metadata:
- Title: ➤ Formal languages and compilation
- Author: Stefano Crespi-Reghizzi
- Language: English
- Number of Pages: Median: 364
- Publisher: Springer
- Publish Date: 2009
- Publish Location: London
“Formal languages and compilation” Subjects and Themes:
- Subjects: ➤ Compiling (Electronic computers) - Formal languages - Formale Sprache - Compiler - Computers
Edition Identifiers:
- The Open Library ID: OL24789718M
- Online Computer Library Center (OCLC) ID: 262720341
- Library of Congress Control Number (LCCN): 2008942386
- All ISBNs: 9781848820500 - 184882050X - 1848820496 - 9781848820494
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal languages and compilation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Kalkül und Sprache
By Jan Janzen
“Kalkül und Sprache” Metadata:
- Title: Kalkül und Sprache
- Author: Jan Janzen
- Language: ger
- Number of Pages: Median: 339
- Publisher: Königshausen & Neumann
- Publish Date: 2011
- Publish Location: Würzburg
“Kalkül und Sprache” Subjects and Themes:
- Subjects: ➤ Formal languages - Model theory - Symbolic and mathematical Logic - Semantics - Logik - Mathematik - Formale Sprache - Algebraische Modelltheorie - Mathematics - Philosophy
- People: ➤ Gottlob Frege (1848-1925) - Ludwig Wittgenstein (1889-1951)
Edition Identifiers:
- The Open Library ID: OL25104013M
- Online Computer Library Center (OCLC) ID: 751744302
- Library of Congress Control Number (LCCN): 2011485400
- All ISBNs: 9783826045400 - 3826045408
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Kalkül und Sprache at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Algebraic Semantics
By I. Guessarian

“Algebraic Semantics” Metadata:
- Title: Algebraic Semantics
- Author: I. Guessarian
- Language: English
- Number of Pages: Median: 180
- Publisher: Springer
- Publish Date: 1981
“Algebraic Semantics” Subjects and Themes:
- Subjects: ➤ Sémantique algébrique - Arbre - Formale Sprache - Interprétation - Semantik - Transformation programme - Langages formels - MAGMA - Formal languages - Semantics - Programmiersprache - Algèbre - Sémantique - Schéma programme
Edition Identifiers:
- The Open Library ID: OL12771413M
- Library of Congress Control Number (LCCN): 80028426
- All ISBNs: 9783540102847 - 3540102841
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Algebraic Semantics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Grammar and L forms
By Derick Wood

“Grammar and L forms” Metadata:
- Title: Grammar and L forms
- Author: Derick Wood
- Language: English
- Number of Pages: Median: 314
- Publisher: Springer-Verlag
- Publish Date: 1980
- Publish Location: New York - Berlin
“Grammar and L forms” Subjects and Themes:
- Subjects: ➤ Formal languages - Langages formels - Grammaire algébrique - Automate - Langage formel - Langage algébrique - Formale Sprache
Edition Identifiers:
- The Open Library ID: OL4105734M
- Online Computer Library Center (OCLC) ID: 6626483
- Library of Congress Control Number (LCCN): 80020426
- All ISBNs: 0387102337 - 9780387102337
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Grammar and L forms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Graph-grammars and their application to computer science and biology
By Volker Claus

“Graph-grammars and their application to computer science and biology” Metadata:
- Title: ➤ Graph-grammars and their application to computer science and biology
- Author: Volker Claus
- Language: English
- Number of Pages: Median: 492
- Publisher: Springer
- Publish Date: 1979
“Graph-grammars and their application to computer science and biology” Subjects and Themes:
- Subjects: ➤ Formal languages - Congresses - Graph theory - Data structures (Computer science) - Graph grammars - Langages formels - Congrès - Graphes, Théorie des - Structures de données (Informatique) - Grafentheorie - Formale Sprache - Graph - Kongress
Edition Identifiers:
- The Open Library ID: OL12771346M
- Library of Congress Control Number (LCCN): 79009560
- All ISBNs: 354009525X - 9783540095255
Access and General Info:
- First Year Published: 1979
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Graph-grammars and their application to computer science and biology at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27A basis for theoretical computer science
By Michael A. Arbib

“A basis for theoretical computer science” Metadata:
- Title: ➤ A basis for theoretical computer science
- Author: Michael A. Arbib
- Language: English
- Number of Pages: Median: 220
- Publisher: Springer-Verlag
- Publish Date: 1981
- Publish Location: New York
“A basis for theoretical computer science” Subjects and Themes:
- Subjects: ➤ Computer science - Computers - Automates mathématiques, Théorie des - Langages formels - Automatentheorie - Formale Sprache - Automates mathématiques, théorie des - Machine theory - Formal languages
Edition Identifiers:
- The Open Library ID: OL4260068M
- Online Computer Library Center (OCLC) ID: 7550603
- Library of Congress Control Number (LCCN): 81005688
- All ISBNs: 9780387905730 - 0387905731
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A basis for theoretical computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Automata, languages and programming
By Zoltan Fulop and Ferenc Gecseg

“Automata, languages and programming” Metadata:
- Title: ➤ Automata, languages and programming
- Authors: Zoltan FulopFerenc Gecseg
- Language: English
- Number of Pages: Median: 686
- Publisher: Springer
- Publish Date: 1995
“Automata, languages and programming” Subjects and Themes:
- Subjects: ➤ Theoretische Informatik - Machine theory - Computer programming - Programming languages (electronic computers) - Congresses - Formal languages - Théorie des automates - Congrès - Langages formels - Programmation (Informatique) - Automatentheorie - Formale Sprache - Programmierung - Kongress - Abstracte automaten - Programmeertalen - Automates mathématiques, Théorie des - Ordinateurs - Programmation - Programmation parallèle (informatique)
- Places: Szegedin <1995>
Edition Identifiers:
- The Open Library ID: OL9674373M
- Online Computer Library Center (OCLC) ID: 32966780
- All ISBNs: 9783540600848 - 3540600841
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata, languages and programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Trends, techniques, and problems in theoretical computer science
By International Meeting of Young Computer Scientists (4th 1986 Smolenice, Slovakia)

“Trends, techniques, and problems in theoretical computer science” Metadata:
- Title: ➤ Trends, techniques, and problems in theoretical computer science
- Author: ➤ International Meeting of Young Computer Scientists (4th 1986 Smolenice, Slovakia)
- Language: English
- Number of Pages: Median: 213
- Publisher: Springer
- Publish Date: 1987
“Trends, techniques, and problems in theoretical computer science” Subjects and Themes:
- Subjects: ➤ Informatique - Datenverarbeitung - Informatik - Formale Sprache - VLSI - Electronic Data Processing - Computers - Kunstliche Intelligenz - Congresses - Ordinateurs - Congres - Formale Grammatik - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL12772618M
- All ISBNs: 9783540185352 - 3540185356
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Trends, techniques, and problems in theoretical computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Formale Sprachen
By E. -W Dieterich and Arto K. Salomaa

“Formale Sprachen” Metadata:
- Title: Formale Sprachen
- Authors: E. -W DieterichArto K. Salomaa
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 1978
- Publish Location: Berlin, Heidelberg
“Formale Sprachen” Subjects and Themes:
- Subjects: Formale Sprache - Sprache
Edition Identifiers:
- The Open Library ID: OL27039454M
- Online Computer Library Center (OCLC) ID: 863799942
- All ISBNs: 9783642670817 - 3642670814
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formale Sprachen at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Advances in computing science--ASIAN '99
By Asian Computing Science Conference (5th 1999 Phuket, Thailand)

“Advances in computing science--ASIAN '99” Metadata:
- Title: ➤ Advances in computing science--ASIAN '99
- Author: ➤ Asian Computing Science Conference (5th 1999 Phuket, Thailand)
- Language: English
- Number of Pages: Median: 395
- Publisher: Springer
- Publish Date: 1999
- Publish Location: New York
“Advances in computing science--ASIAN '99” Subjects and Themes:
- Subjects: ➤ Congresses - Electronic data processing - Computer science - Informatique - Berechnungstheorie - Informatik - Programutvikling - Formale Sprache - Informatica - Kongress - Technologie de l'information - Programmiersprache - Congres - Automatisches Beweisverfahren - Kongresser
Edition Identifiers:
- The Open Library ID: OL18138029M
- Online Computer Library Center (OCLC) ID: 42882803
- Library of Congress Control Number (LCCN): 99058177
- All ISBNs: 9783540668565 - 354066856X
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in computing science--ASIAN '99 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Rational series and their languages
By Jean Berstel

“Rational series and their languages” Metadata:
- Title: ➤ Rational series and their languages
- Author: Jean Berstel
- Languages: fre - English
- Number of Pages: Median: 151
- Publisher: Springer-Verlag - Springer
- Publish Date: 1988
- Publish Location: Berlin - New York
“Rational series and their languages” Subjects and Themes:
- Subjects: ➤ Formal languages - Power series - Sequential machine theory - Formale Sprachen - Potenzreihe - Formale Potenzreihe - Formale Sprache
Edition Identifiers:
- The Open Library ID: OL2036120M
- Online Computer Library Center (OCLC) ID: 17841475
- Library of Congress Control Number (LCCN): 88012286
- All ISBNs: 9780387186269 - 0387186263
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Rational series and their languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.