Explore: Formal Languages
Discover books, insights, and more — all in one place.
Learn more about Formal Languages with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “formal-languages”:
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.
2Mathematical foundations of programming
By Frank S. Beckman
“Mathematical foundations of programming” Metadata:
- Title: ➤ Mathematical foundations of programming
- Author: Frank S. Beckman
- Language: English
- Number of Pages: Median: 443
- Publisher: Addison-Wesley
- Publish Date: 1980 - 1981
- Publish Location: ➤ London - Reading, Mass - Reading, MA
“Mathematical foundations of programming” Subjects and Themes:
- Subjects: ➤ Machine theory - Symbolic and mathematical Logic - Textbooks - Formal languages - Electronic digital computers - Mathematics textbooks - Nd index
Edition Identifiers:
- The Open Library ID: OL22723492M - OL4400589M
- Online Computer Library Center (OCLC) ID: 4665069
- Library of Congress Control Number (LCCN): 79001453
- All ISBNs: 020114462X - 9780201144628
Access and General Info:
- First Year Published: 1980
- 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 Mathematical foundations of programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Formal languages and their relation to automata
By John E. Hopcroft
“Formal languages and their relation to automata” Metadata:
- Title: ➤ Formal languages and their relation to automata
- Author: John E. Hopcroft
- Language: English
- Number of Pages: Median: 265
- Publisher: ➤ Addison-Wesley - Addsion Weslsey Longman Publishing Group
- Publish Date: 1969
- Publish Location: Reading, Mass
“Formal languages and their relation to automata” Subjects and Themes:
- Subjects: ➤ Communication - Lenguajes de programación (Computadores electrónicos) - Lingüística matemática - Lingüística computacional - Machine theory - Formal languages - 54.10 theoretical informatics - Automatentheorie - Formele talen - Langages formels
Edition Identifiers:
- The Open Library ID: OL24370774M - OL7406319M
- Online Computer Library Center (OCLC) ID: 318167550 - 5012
- Library of Congress Control Number (LCCN): 69014297
- All ISBNs: 0201029839 - 9780201029833
Author's Alternative Names:
"John Edward Hopcroft"Access and General Info:
- First Year Published: 1969
- 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 Formal languages and their relation to automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4An introduction to formal specification and Z
By Ben Potter
“An introduction to formal specification and Z” Metadata:
- Title: ➤ An introduction to formal specification and Z
- Author: Ben Potter
- Language: English
- Number of Pages: Median: 369
- Publisher: Prentice Hall
- Publish Date: 1991 - 1996
- Publish Location: New York - London
“An introduction to formal specification and Z” Subjects and Themes:
- Subjects: ➤ Development - Computer software - Z (Computer program language) - Formal languages - Z (langage de programmation) - Logiciels - Développement - Z (Langage de programmation)
Edition Identifiers:
- The Open Library ID: OL1855860M - OL978682M
- Library of Congress Control Number (LCCN): 90007763 - 96015929
- All ISBNs: 0132422077 - 9780134787022 - 9780132422079 - 0134787021
Access and General Info:
- First Year Published: 1991
- 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 specification and Z at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Theory of machines and computations
By International Symposium on the Theory of Machines and Computations (1971 Haifa, Israel)
“Theory of machines and computations” Metadata:
- Title: ➤ Theory of machines and computations
- Author: ➤ International Symposium on the Theory of Machines and Computations (1971 Haifa, Israel)
- Language: English
- Number of Pages: Median: 416
- Publisher: ➤ Academic Press - Academic Press Inc.,U.S.
- Publish Date: 1971 - 1972
- Publish Location: New York
“Theory of machines and computations” Subjects and Themes:
- Subjects: ➤ Congresses - Formal languages - Numerical calculations - Sequential machine theory - Switching theory - Cataloging - Calculators
Edition Identifiers:
- The Open Library ID: OL7327755M - OL5323605M - OL9282403M
- Online Computer Library Center (OCLC) ID: 308859
- Library of Congress Control Number (LCCN): 72176298
- All ISBNs: 0124177506 - 9780124177505
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 Theory of machines and computations at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6An Introduction to Formal Languages and Machine Computation
By Song Y. Yan
“An Introduction to Formal Languages and Machine Computation” Metadata:
- Title: ➤ An Introduction to Formal Languages and Machine Computation
- Author: Song Y. Yan
- Language: English
- Number of Pages: Median: 400
- Publisher: ➤ World Scientific - World Scientific Publishing Company - World Scientific Pub Co Inc
- Publish Date: 1996 - 1998
- Publish Location: River Edge, N.J - Singapore
“An Introduction to Formal Languages and Machine Computation” Subjects and Themes:
- Subjects: Machine theory - Formal languages
Edition Identifiers:
- The Open Library ID: OL696518M - OL9194350M - OL9821947M
- Online Computer Library Center (OCLC) ID: 38010572
- Library of Congress Control Number (LCCN): 97044021
- All ISBNs: 9789810234225 - 9810234228 - 9810221673 - 9789810221676
First Setence:
"The aim of this chapter is twofold: (i) to provide mathematical preliminaries for the rest of the book, (ii) to provide a mathematical foundation for general computer science."
Access and General Info:
- First Year Published: 1996
- 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 Machine Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7First Course in Formal Language Theory
By V. J. Rayward-Smith
“First Course in Formal Language Theory” Metadata:
- Title: ➤ First Course in Formal Language Theory
- Author: V. J. Rayward-Smith
- Language: English
- Number of Pages: Median: 166
- Publisher: ➤ Blackwell Mosby Book Distributors - Blackwell Scientific Publications - McGraw-Hill Publishing Co.
- Publish Date: 1983 - 1995
- Publish Location: ➤ Boston - Oxford - St. Louis, Mo
“First Course in Formal Language Theory” Subjects and Themes:
- Subjects: Formal languages - Formele talen
Edition Identifiers:
- The Open Library ID: OL2802318M - OL9787857M
- Library of Congress Control Number (LCCN): 83233349
- All ISBNs: 9780077092450 - 9780632011766 - 0077092457 - 0632011769
Author's Alternative Names:
"V.J.Rayward- Smith" and "V.J. Rayward-Smith"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 First Course in Formal Language Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Variétés de langages formels
By Jean Eric Pin
“Variétés de langages formels” Metadata:
- Title: Variétés de langages formels
- Author: Jean Eric Pin
- Languages: fre - English
- Number of Pages: Median: 138
- Publisher: ➤ North Oxford Academic - Masson - Plenum Pub. Corp. - Springer
- Publish Date: 1984 - 1986
- Publish Location: ➤ Paris - New York - London - New York, N.Y
“Variétés de langages formels” Subjects and Themes:
- Subjects: Formal languages - Machine theory - Semigroups
Edition Identifiers:
- The Open Library ID: OL2462856M - OL20199334M - OL2743182M
- Online Computer Library Center (OCLC) ID: 14410329
- Library of Congress Control Number (LCCN): 87169919 - 86060593
- All ISBNs: ➤ 9780306422942 - 9782225802669 - 0946536120 - 2225802661 - 9780946536122 - 0306422948
Access and General Info:
- First Year Published: 1984
- 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 Variétés de langages formels at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Semigroups, algorithms, automata, and languages
By Jean Eric Pin and Pedro V. Silva
“Semigroups, algorithms, automata, and languages” Metadata:
- Title: ➤ Semigroups, algorithms, automata, and languages
- Authors: Jean Eric PinPedro V. Silva
- Language: English
- Number of Pages: Median: 515
- Publisher: ➤ World Scientific - World Scientific Publishing Company - World Scientific Publishing Co Pte Ltd
- Publish Date: 2002
- Publish Location: River Edge, NJ
“Semigroups, algorithms, automata, and languages” Subjects and Themes:
- Subjects: ➤ Semigroups - Congresses - Algorithms - Machine theory - Formal languages - Group theory - Topology
Edition Identifiers:
- The Open Library ID: OL3702064M - OL49245235M - OL49248931M
- Online Computer Library Center (OCLC) ID: 51620907
- Library of Congress Control Number (LCCN): 2003268598
- All ISBNs: ➤ 9789812380999 - 9789812776884 - 9812776885 - 1281929395 - 9781281929396 - 981238099X
Access and General Info:
- First Year Published: 2002
- 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 Semigroups, algorithms, automata, and languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Languages and machines
By Thomas A. Sudkamp
“Languages and machines” Metadata:
- Title: Languages and machines
- Author: Thomas A. Sudkamp
- Language: English
- Number of Pages: Median: 612
- Publisher: ➤ Pearson Addison-Wesley - Addison-Wesley - Addison Wesley - Pearson Education, Limited - Addison-Wesley Pub.
- Publish Date: ➤ 1988 - 1996 - 1997 - 2005 - 2006
- Publish Location: Boston - Reading, Mass
“Languages and machines” Subjects and Themes:
- Subjects: ➤ Machine theory - Computational complexity - Formal languages - Programming languages (electronic computers) - Langages formels - Automates mathématiques, théorie des - Complexité de calcul (informatique) - Qa267.3 .s83 2006 - 511.3
Edition Identifiers:
- The Open Library ID: ➤ OL28981572M - OL9632918M - OL7409047M - OL2390211M - OL814068M - OL3300911M
- Online Computer Library Center (OCLC) ID: 57344192
- Library of Congress Control Number (LCCN): 87019482 - 95051366 - 2004030342
- All ISBNs: ➤ 9780201821369 - 9780201157680 - 0201157683 - 0321322215 - 9780321322210 - 0321315340 - 9780321315342 - 0201821362
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 Languages and machines at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Introduction 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.
12Introduction to the Theory of Computation
By Michael Sipser
“Introduction to the Theory of Computation” Metadata:
- Title: ➤ Introduction to the Theory of Computation
- Author: Michael Sipser
- Language: English
- Number of Pages: Median: 400
- Publisher: ➤ Thomson Course Technology - Course Technology
- Publish Date: 2005
“Introduction to the Theory of Computation” Subjects and Themes:
- Subjects: ➤ Machine theory - Computational complexity - Teoria da computação - Complexité de calcul (Informatique) - Formal languages - Complexite? de calcul (Informatique) - Teoria da computacao - Informatics - Qa267 .s56 2006
Edition Identifiers:
- The Open Library ID: OL7786863M
- Online Computer Library Center (OCLC) ID: 58544333
- Library of Congress Control Number (LCCN): 2006271030
- All ISBNs: 0534950973 - 9780534950972
Access and General Info:
- First Year Published: 2005
- 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 Introduction to the Theory of Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Introduction 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.
14Instructor's guide and solutions manual to An Introduction to formal languages and automata
By Peter Linz
“Instructor's guide and solutions manual to An Introduction to formal languages and automata” Metadata:
- Title: ➤ Instructor's guide and solutions manual to An Introduction to formal languages and automata
- Author: Peter Linz
- Language: English
- Number of Pages: Median: 70
- Publisher: ➤ Jones and Bartlett Publishers, Inc - D.C. Heath - Jones & Bartlett Publishers
- Publish Date: 1990
- Publish Location: Lexington, Mass
“Instructor's guide and solutions manual to An Introduction to formal languages and automata” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL16163248M
- All ISBNs: 9780669173444 - 0669173444
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Instructor's guide and solutions manual to An Introduction to formal languages and automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Language and Automata Theory and Applications
By Adrian-Horia Dediu
“Language and Automata Theory and Applications” Metadata:
- Title: ➤ Language and Automata Theory and Applications
- Author: Adrian-Horia Dediu
- Language: English
- Number of Pages: Median: 607
- Publisher: ➤ Springer Berlin / Heidelberg - Springer London, Limited - Springer Berlin Heidelberg - Springer - Imprint: Springer
- Publish Date: 2012 - 2013 - 2015 - 2016
- Publish Location: Berlin, Heidelberg
“Language and Automata Theory and Applications” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Algorithm Analysis and Problem Complexity - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices - Artificial Intelligence (incl. Robotics) - Data processing - Computer Appl. in Social and Behavioral Sciences - Computer software - Social sciences - Artificial intelligence - Computer science - Machine theory - Formal languages - Mathematical linguistics - Nonfiction
Edition Identifiers:
- The Open Library ID: ➤ OL35783947M - OL34533462M - OL34520876M - OL28165152M - OL28145394M - OL28052102M - OL28024030M - OL27964149M - OL27068645M
- All ISBNs: ➤ 3642370632 - 9783319300009 - 9783642370632 - 3642283330 - 9783319299990 - 3319300008 - 3642370659 - 3319155784 - 9783319155784 - 3319155792 - 9783642370656 - 3642283314 - 9783642283338 - 9783642283314 - 3319299999 - 3642370640 - 9783319155791 - 9783642370649
Access and General Info:
- First Year Published: 2012
- 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 Language and Automata Theory and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Formal Techniques for Safety-Critical Systems
By Cyrille Artho and Peter Csaba Ölveczky
“Formal Techniques for Safety-Critical Systems” Metadata:
- Title: ➤ Formal Techniques for Safety-Critical Systems
- Authors: Cyrille ArthoPeter Csaba Ölveczky
- Language: English
- Number of Pages: Median: 268
- Publisher: ➤ Springer - Springer London, Limited - Springer International Publishing AG
- Publish Date: ➤ 2014 - 2015 - 2016 - 2017 - 2019
“Formal Techniques for Safety-Critical Systems” Subjects and Themes:
- Subjects: ➤ System failures (engineering) - Systems engineering - Formal languages - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices
Edition Identifiers:
- The Open Library ID: ➤ OL34529863M - OL29710645M - OL34521586M - OL28032409M - OL34888747M - OL28050512M - OL34521612M - OL28236035M
- All ISBNs: ➤ 3319175815 - 3319295101 - 9783319539454 - 9783319295091 - 3319539450 - 3319054163 - 9783319054155 - 3319175807 - 9783030129873 - 9783319295107 - 9783319054162 - 3319295098 - 3319054155 - 9783319175805 - 303012987X - 9783319175812
Access and General Info:
- First Year Published: 2014
- 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 Formal Techniques for Safety-Critical Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Handbook of formal languages
By Grzegorz Rozenberg and Arto Salomaa
“Handbook of formal languages” Metadata:
- Title: Handbook of formal languages
- Authors: Grzegorz RozenbergArto Salomaa
- Language: English
- Number of Pages: Median: 873
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: ➤ 1997 - 2001 - 2002 - 2004 - 2012
- Publish Location: New York - Berlin
“Handbook of formal languages” Subjects and Themes:
- Subjects: ➤ Formal languages - Comparative and general Grammar - Mathematical models
Edition Identifiers:
- The Open Library ID: ➤ OL34523006M - OL9061717M - OL9061901M - OL9061716M - OL9061663M - OL1007254M
- Library of Congress Control Number (LCCN): 96047134
- All ISBNs: ➤ 3540606483 - 9783642591365 - 9783540606482 - 9783540604204 - 9783540606499 - 3540614869 - 3540604200 - 9783540614869 - 3540606491 - 3642591361
First Setence:
"What is a language?"
Access and General Info:
- First Year Published: 1997
- 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 Handbook of formal languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Introduction to Formal Languages and Automata
By Peter Linz
“Introduction to Formal Languages and Automata” Metadata:
- Title: ➤ Introduction to Formal Languages and Automata
- Author: Peter Linz
- Language: English
- Number of Pages: Median: 511
- Publisher: ➤ Jones & Bartlett Learning - Jones & Bartlett Learning, LLC
- Publish Date: 2016 - 2022
“Introduction to Formal Languages and Automata” Subjects and Themes:
- Subjects: ➤ Formal languages - Machine theory - Langages formels - Théorie des automates - COMPUTERS - Machine Theory
Edition Identifiers:
- The Open Library ID: OL36146491M - OL28581929M
- Online Computer Library Center (OCLC) ID: 972478179 - 973495673
- Library of Congress Control Number (LCCN): 2015023479
- All ISBNs: 9781284231601 - 1284077241 - 1284231607 - 9781284077247
Access and General Info:
- First Year Published: 2016
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Introduction to Formal Languages and Automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Formal Grammar
By Glyn Morrill and Mark-Jan Nederhof
“Formal Grammar” Metadata:
- Title: Formal Grammar
- Authors: Glyn MorrillMark-Jan Nederhof
- Language: English
- Number of Pages: Median: 312
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2012 - 2013 - 2014 - 2016
“Formal Grammar” Subjects and Themes:
- Subjects: ➤ Computational linguistics - Mathematical linguistics - Natural language processing (computer science) - Formal languages - System design - Computer science - Artificial Intelligence (incl. Robotics) - Algebra - Data processing - Artificial intelligence - Mathematical Logic and Formal Languages - Symbolic and Algebraic Manipulation - Computer Science, general
Edition Identifiers:
- The Open Library ID: ➤ OL28051903M - OL28117843M - OL27974311M - OL29421796M - OL37228961M - OL37229008M
- All ISBNs: ➤ 9783662530412 - 3642399975 - 3662441217 - 9783642399985 - 9783662441206 - 3662441209 - 9783642399978 - 3642320252 - 3662530414 - 9783642320255 - 3642399983 - 9783662441213
Access and General Info:
- First Year Published: 2012
- 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 Formal Grammar at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Language and Automata Theory and Applications
By Carlos Martín-Vide, Alexander Okhotin and Dana Shapira
“Language and Automata Theory and Applications” Metadata:
- Title: ➤ Language and Automata Theory and Applications
- Authors: Carlos Martín-VideAlexander OkhotinDana Shapira
- Language: English
- Number of Pages: Median: 462
- Publisher: ➤ Springer International Publishing AG - Springer London, Limited - Springer
- Publish Date: ➤ 2014 - 2017 - 2018 - 2019 - 2020 - 2021
“Language and Automata Theory and Applications” Subjects and Themes:
- Subjects: Machine theory - Formal languages - Mathematical linguistics
Edition Identifiers:
- The Open Library ID: ➤ OL34544625M - OL28220928M - OL28251738M - OL30100445M - OL37322101M - OL34520882M
- All ISBNs: ➤ 9783030406073 - 3030406075 - 3030134342 - 9783319773124 - 9783319049212 - 9783030681944 - 3030681947 - 3319537326 - 3319049216 - 9783030134341 - 9783319537320 - 3319773127
Access and General Info:
- First Year Published: 2014
- 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 Language and Automata Theory and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Formal languages in logic
By Catarina Dutilh Novaes
“Formal languages in logic” Metadata:
- Title: Formal languages in logic
- Author: Catarina Dutilh Novaes
- Language: English
- Number of Pages: Median: 280
- Publisher: ➤ Cambridge University Press - University of Cambridge ESOL Examinations
- Publish Date: 2012 - 2014
- Publish Location: Cambridge - New York
“Formal languages in logic” Subjects and Themes:
- Subjects: MATHEMATICS / Logic - Cognition - Formal languages - Reasoning
Edition Identifiers:
- The Open Library ID: OL34560917M - OL40471268M - OL40471157M - OL25330847M - OL29239646M
- Online Computer Library Center (OCLC) ID: 794227918
- Library of Congress Control Number (LCCN): 2012015483
- All ISBNs: ➤ 1139108018 - 9781107020917 - 1139782673 - 1107020913 - 9781107460317 - 110746031X - 1139786520 - 9781139108010 - 9781139782678 - 9781139786522
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal languages in logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Computing Meaning
By Harry Bunt
“Computing Meaning” Metadata:
- Title: Computing Meaning
- Author: Harry Bunt
- Language: English
- Number of Pages: Median: 372
- Publisher: ➤ Springer - Springer London, Limited - Springer Netherlands
- Publish Date: ➤ 2001 - 2007 - 2008 - 2013 - 2016
“Computing Meaning” Subjects and Themes:
- Subjects: ➤ Linguistics - Artificial intelligence - Computational linguistics - Semantics - Logic - Semantics, data processing - Formal languages - Computer science
Edition Identifiers:
- The Open Library ID: ➤ OL37269611M - OL37112492M - OL35515789M - OL34376847M - OL30533671M - OL8369882M
- Online Computer Library Center (OCLC) ID: 491954502
- All ISBNs: ➤ 9401779996 - 1402002904 - 1402059582 - 9781402002908 - 9400772831 - 9789400772847 - 9789048112968 - 9789401779999 - 9789400772830 - 940077284X - 9781402059582 - 9048112966
First Setence:
"Computing meanings is something that we do when we read, when we write, when we listen and when we speak, and to a certain extent also when we think and when we dream."
Access and General Info:
- First Year Published: 2001
- 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 Computing Meaning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Elements of the theory of computation
By Harry R. Lewis
“Elements of the theory of computation” Metadata:
- Title: ➤ Elements of the theory of computation
- Author: Harry R. Lewis
- Language: English
- Number of Pages: Median: 361
- Publisher: ➤ Prentice Hall International - Prentice-Hall
- Publish Date: 1981 - 1998
- Publish Location: ➤ London - Upper Saddle River, N.J - Englewood Cliffs, N.J
“Elements of the theory of computation” Subjects and Themes:
- Subjects: ➤ Computational complexity - Formal languages - Logic, Symbolic and mathematical - Machine theory - Symbolic and mathematical Logic - Informatica - Logique symbolique et mathématique - Langages formels - Automates mathématiques, Théorie des - Automatentheorie - Complexité de calcul (Informatique) - Theorie des Automates mathematiques - Complexite de calcul (Informatique) - Complexite de calcul (informatique) - Logique symbolique et mathematique - Fonctions calculables - Logic, symbolic and mathematical - Qa267 .l49 1998 - 511.3
Edition Identifiers:
- The Open Library ID: OL22609824M - OL4106559M - OL668111M
- Online Computer Library Center (OCLC) ID: 6707094
- Library of Congress Control Number (LCCN): 97013879 - 80021293
- All ISBNs: 9780132727419 - 0132624788 - 0132727412 - 9780132624787
Access and General Info:
- First Year Published: 1981
- 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 Elements of the theory of computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Descriptional Complexity of Formal Systems
By Jeffrey Shallit and Alexander Okhotin
“Descriptional Complexity of Formal Systems” Metadata:
- Title: ➤ Descriptional Complexity of Formal Systems
- Authors: Jeffrey ShallitAlexander Okhotin
- Language: English
- Number of Pages: Median: 336
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2014 - 2015
“Descriptional Complexity of Formal Systems” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Congresses - Formal languages - Machine theory - System design - Computer science - Computer software - Logic design - Computational complexity - Computation by Abstract Devices - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Algorithm Analysis and Problem Complexity - Discrete Mathematics in Computer Science
Edition Identifiers:
- The Open Library ID: OL34520359M - OL28813257M - OL27953823M - OL34520819M
- All ISBNs: ➤ 9783319192246 - 9783319192253 - 3319192256 - 3319097032 - 9783319097046 - 3319097040 - 3319192248 - 9783319097039
Access and General Info:
- First Year Published: 2014
- 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 Descriptional Complexity of Formal Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Grammatical Inference
By Colin de la Higuera
“Grammatical Inference” Metadata:
- Title: Grammatical Inference
- Author: Colin de la Higuera
- Language: English
- Number of Pages: Median: 432
- Publisher: Cambridge University Press
- Publish Date: 2010 - 2011 - 2014
“Grammatical Inference” Subjects and Themes:
- Subjects: ➤ Formal languages - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL40501394M - OL34505396M - OL28438595M - OL40475183M
- All ISBNs: ➤ 9780511714962 - 0511714963 - 0521763169 - 9781139194655 - 9780521763165 - 9780511717963 - 0511717962 - 1139194658
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Grammatical Inference at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Introductory MEMS
By Thomas M. Adams
“Introductory MEMS” Metadata:
- Title: Introductory MEMS
- Author: Thomas M. Adams
- Language: English
- Number of Pages: Median: 460
- Publisher: Springer
- Publish Date: 2008 - 2010 - 2014
- Publish Location: New York
“Introductory MEMS” Subjects and Themes:
- Subjects: ➤ Microelectromechanical systems - Electronic apparatus and appliances - MEMS - Transducers - Computer programs - Computer science - Parallel processing (Electronic computers) - Congresses - Semantics - Programming languages (Electronic computers) - Programming languages (electronic computers) - Sequential machine theory - Formal languages - Sequential machine theory--congresses - Formal languages--congresses - Programming languages (electronic computers)--congresses
Edition Identifiers:
- The Open Library ID: OL30545601M - OL29708942M - OL24879997M
- Online Computer Library Center (OCLC) ID: 5101221 - 5101304 - 535508588
- Library of Congress Control Number (LCCN): 79015859 - 79015956 - 2009939153
- All ISBNs: ➤ 9780387095103 - 038709511X - 9780387560588 - 9780387095110 - 0387560580 - 1489984216 - 0387095101 - 9781489984210
Access and General Info:
- First Year Published: 2008
- 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 Introductory MEMS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Grammars with context conditions and their applications
By Alexander Meduna
“Grammars with context conditions and their applications” Metadata:
- Title: ➤ Grammars with context conditions and their applications
- Author: Alexander Meduna
- Language: English
- Number of Pages: Median: 232
- Publisher: ➤ Wiley & Sons, Incorporated, John - Wiley & Sons Canada, Limited, John - Wiley-Interscience
- Publish Date: 2005 - 2008
- Publish Location: Hoboken, NJ
“Grammars with context conditions and their applications” Subjects and Themes:
- Subjects: ➤ Comparative and general Grammar - Generative grammar - Formal languages - Computational linguistics - Context (Linguistics) - Conditionals - Grammar, comparative and general - Linguistics
Edition Identifiers:
- The Open Library ID: OL48690939M - OL48647995M - OL29229873M - OL28979365M - OL22628901M
- All ISBNs: ➤ 0471736554 - 0471736562 - 1280277335 - 9780471736561 - 9781280277337 - 9780470353837 - 9780471736554 - 9780471718314 - 047035383X - 0471718319
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Grammars with context conditions and their applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Introduction to formal grammars
By Maurice Gross
“Introduction to formal grammars” Metadata:
- Title: ➤ Introduction to formal grammars
- Author: Maurice Gross
- Language: English
- Number of Pages: Median: 231
- Publisher: ➤ Allen & Unwin - Springer-Verlag - Island Press - Springer - Springer London, Limited
- Publish Date: 1970 - 2012
- Publish Location: Berlin - New York - London
“Introduction to formal grammars” Subjects and Themes:
- Subjects: ➤ Comparative and general Grammar - Formal languages - Grammar, Comparative and general - Mathematical models - Mathematics - Mathematics, general
Edition Identifiers:
- The Open Library ID: OL50689610M - OL34518861M - OL28944816M - OL14884674M - OL20367209M
- All ISBNs: ➤ 0044100019 - 9780044100010 - 3642871305 - 9783642871290 - 3642871291 - 3642871313 - 9783642871313 - 9783642871306
Access and General Info:
- First Year Published: 1970
- 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 formal grammars at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Computability, complexity, and languages
By Davis, Martin
“Computability, complexity, and languages” Metadata:
- Title: ➤ Computability, complexity, and languages
- Author: Davis, Martin
- Language: English
- Number of Pages: Median: 517
- Publisher: ➤ Academic Press, Harcourt, Brace - Academic Press
- Publish Date: 1983 - 1994
- Publish Location: New York - Boston
“Computability, complexity, and languages” Subjects and Themes:
- Subjects: Machine theory - Computational complexity - Formal languages
Edition Identifiers:
- The Open Library ID: OL1417193M - OL3160984M
- Online Computer Library Center (OCLC) ID: 9282499 - 28506245
- Library of Congress Control Number (LCCN): 93026807 - 83002727
- All ISBNs: 0122063821 - 0122063805 - 9780122063824 - 9780122063800
Access and General Info:
- First Year Published: 1983
- 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 Computability, complexity, and languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Formal languages and automata theory
By C. K. Nagpal
“Formal languages and automata theory” Metadata:
- Title: ➤ Formal languages and automata theory
- Author: C. K. Nagpal
- Language: English
- Number of Pages: Median: 348
- Publisher: Oxford University Press
- Publish Date: 2012
- Publish Location: Oxford [UK]
“Formal languages and automata theory” Subjects and Themes:
- Subjects: ➤ Formal languages - Sequential machine theory - Constitutional history, united states - United states, constitution - Constitutional law, united states
Edition Identifiers:
- The Open Library ID: OL30733239M
- Library of Congress Control Number (LCCN): 2012471419
- All ISBNs: 9780198071068 - 019807106X
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal languages and automata theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Presumptive Meanings
By Stephen C. Levinson
“Presumptive Meanings” Metadata:
- Title: Presumptive Meanings
- Author: Stephen C. Levinson
- Language: English
- Number of Pages: Median: 504
- Publisher: MIT Press
- Publish Date: 2000 - 2016
- Publish Location: Cambridge, Mass
“Presumptive Meanings” Subjects and Themes:
- Subjects: ➤ Semantics - Pragmatics - Grammar, comparative and general - Comparative and general Grammar - Formal languages - Implication (Logic) - Sémantique - Implication (Logique) - Pragmatique - Grammaire comparée et générale - LANGUAGE ARTS & DISCIPLINES - Linguistics - Philology & Linguistics - Languages & Literatures - Sociolinguistics - Psycholinguistics - Connotation (Linguistics) - Semantics (Philosophy)
Edition Identifiers:
- The Open Library ID: OL53276104M - OL53310168M - OL22559366M - OL53311893M
- Online Computer Library Center (OCLC) ID: 42393541 - 45733473
- Library of Congress Control Number (LCCN): 99046140
- All ISBNs: ➤ 9780262122184 - 9780262278256 - 0262122189 - 0262340712 - 0262278251 - 0585272573 - 9780262340717 - 9780585272573
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Presumptive Meanings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Formal Languages And Compilation
By Luca Breveglieri
“Formal Languages And Compilation” Metadata:
- Title: ➤ Formal Languages And Compilation
- Author: Luca Breveglieri
- Number of Pages: Median: 412
- Publisher: Springer London Ltd - Springer
- Publish Date: 2013 - 2016 - 2019
“Formal Languages And Compilation” Subjects and Themes:
- Subjects: ➤ Formal languages - Compiling (electronic computers) - Computer science - Mathematical Logic and Formal Languages
Edition Identifiers:
- The Open Library ID: OL29697890M - OL30657026M - OL30162153M - OL26080226M
- All ISBNs: ➤ 9781447155133 - 9781447155157 - 9781447168683 - 9783030048785 - 3030048780 - 1447168682 - 1447155157 - 1447155130
Access and General Info:
- First Year Published: 2013
- 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 Formal Languages And Compilation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Mathematical Foundations of Computer Science 2014
By Ersébet Csuhaj-Varjú, Martin Dietzfelbinger and Zoltán Ésik
“Mathematical Foundations of Computer Science 2014” Metadata:
- Title: ➤ Mathematical Foundations of Computer Science 2014
- Authors: Ersébet Csuhaj-VarjúMartin DietzfelbingerZoltán Ésik
- Language: English
- Number of Pages: Median: 614
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2014
“Mathematical Foundations of Computer Science 2014” Subjects and Themes:
- Subjects: ➤ Machine theory - Formal languages - Computer programming - Computer science - Data structures (Computer science) - Computer software - Electronic data processing - Computational complexity - Algorithm Analysis and Problem Complexity - Discrete Mathematics in Computer Science - Numeric Computing - Data Structures - Mathematical Logic and Formal Languages - Math Applications in Computer Science
Edition Identifiers:
- The Open Library ID: OL34520360M - OL28053195M - OL34520410M - OL28292711M
- All ISBNs: ➤ 3662445220 - 366244464X - 9783662444658 - 9783662445228 - 3662444658 - 9783662445211 - 9783662444641 - 3662445212
Access and General Info:
- First Year Published: 2014
- 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 Mathematical Foundations of Computer Science 2014 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Automata, Languages, and Programming
By Javier Esparza, Pierre Fraigniaud, Thore Husfeldt and Elias Koutsoupias
“Automata, Languages, and Programming” Metadata:
- Title: ➤ Automata, Languages, and Programming
- Authors: Javier EsparzaPierre FraigniaudThore HusfeldtElias Koutsoupias
- Language: English
- Number of Pages: Median: 872
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2014
“Automata, Languages, and Programming” Subjects and Themes:
- Subjects: ➤ Machine theory - Formal languages - Computer programming - Computer algorithms - Information Systems Applications (incl. Internet) - Information retrieval - Information organization - Computer science - Computer networks - Computer software - Computational complexity - Information storage and retrieval systems - Algorithm Analysis and Problem Complexity - Computation by Abstract Devices - Computer Communication Networks - Discrete Mathematics in Computer Science
Edition Identifiers:
- The Open Library ID: OL34520849M - OL28167756M - OL34382746M - OL34520366M
- All ISBNs: ➤ 3662439484 - 9783662439500 - 3662439506 - 9783662439517 - 3662439476 - 3662439514 - 9783662439487 - 9783662439470
Access and General Info:
- First Year Published: 2014
- 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.
35Groups, Languages and Automata
By Derek F. Holt, Sarah Rees and Claas E. Röver
“Groups, Languages and Automata” Metadata:
- Title: Groups, Languages and Automata
- Authors: Derek F. HoltSarah ReesClaas E. Röver
- Language: English
- Number of Pages: Median: 306
- Publisher: Cambridge University Press
- Publish Date: 2017
“Groups, Languages and Automata” Subjects and Themes:
- Subjects: Group theory - Formal languages - Machine theory
Edition Identifiers:
- The Open Library ID: OL34732252M - OL33313624M - OL33313627M - OL40846314M
- All ISBNs: ➤ 9781316606520 - 1108216447 - 1107152356 - 1316588246 - 9781316588246 - 9781108216449 - 131660652X - 9781107152359
Access and General Info:
- First Year Published: 2017
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Groups, Languages and Automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36A calculus of communicating systems
By Robin Milner
“A calculus of communicating systems” Metadata:
- Title: ➤ A calculus of communicating systems
- Author: Robin Milner
- Language: English
- Number of Pages: Median: 171
- Publisher: ➤ University of Edinburgh, Laboratory for Foundations of Computer Science - Springer-Verlag
- Publish Date: 1980 - 1986
- Publish Location: New York - Berlin - Edinburgh
“A calculus of communicating systems” Subjects and Themes:
- Subjects: Computer networks - Formal languages - Machine theory - Mathematics
Edition Identifiers:
- The Open Library ID: OL14499654M - OL21841814M - OL22577701M
- All ISBNs: 0387102353 - 9780387102351 - 9783540102359 - 3540102353
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 A calculus of communicating systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37ContextFree Languages and Primitive Words
By Masami Ito
“ContextFree Languages and Primitive Words” Metadata:
- Title: ➤ ContextFree Languages and Primitive Words
- Author: Masami Ito
- Language: English
- Publisher: ➤ World Scientific Publishing Co Pte Ltd - World Scientific Publishing Company
- Publish Date: 2012 - 2014
“ContextFree Languages and Primitive Words” Subjects and Themes:
- Subjects: ➤ Formal languages - Generative grammar - Computer science - Philosophy - Combinatorial analysis - Word (Linguistics) - Context (Linguistics) - Coding theory - Number theory
Edition Identifiers:
- The Open Library ID: OL49258559M - OL26129294M - OL49287808M - OL38292904M
- Library of Congress Control Number (LCCN): 2014024517
- All ISBNs: ➤ 1322293767 - 9789814271677 - 9789814271660 - 9789814616553 - 9814616559 - 9814271675 - 9781322293769 - 9814271667
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find ContextFree Languages and Primitive Words at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Introduction to formal language theory
By Michael A. Harrison
“Introduction to formal language theory” Metadata:
- Title: ➤ Introduction to formal language theory
- Author: Michael A. Harrison
- Language: English
- Number of Pages: Median: 594
- Publisher: Addison-Wesley Pub. Co.
- Publish Date: 1978
- Publish Location: Reading, Mass
“Introduction to formal language theory” Subjects and Themes:
- Subjects: Formal languages
Edition Identifiers:
- The Open Library ID: OL4565878M
- Online Computer Library Center (OCLC) ID: 4243228
- Library of Congress Control Number (LCCN): 77081196
- All ISBNs: 0201029553 - 9780201029550
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Introduction to formal language theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Automata, Languages, and Programming
By Fedor V. Fomin
“Automata, Languages, and Programming” Metadata:
- Title: ➤ Automata, Languages, and Programming
- Author: Fedor V. Fomin
- Language: English
- Number of Pages: Median: 698
- Publisher: ➤ Imprint: Springer - Springer - Springer London, Limited - Springer Berlin Heidelberg
- Publish Date: 2013
“Automata, Languages, and Programming” Subjects and Themes:
- Subjects: ➤ Computational complexity - Discrete Mathematics in Computer Science - Information organization - Information storage and retrieval systems - Algorithm Analysis and Problem Complexity - Information retrieval - Computer Communication Networks - Computation by Abstract Devices - Computer science - Information Systems Applications (incl. Internet) - Computer software - Formal languages - Computer programming - Computer algorithms - Machine theory - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL35796148M - OL34376759M - OL28740959M - OL27019353M
- All ISBNs: ➤ 3642392121 - 9783642392061 - 3642392113 - 3642392059 - 9783642392115 - 3642392067 - 9783642392122 - 9783642392054
Access and General Info:
- First Year Published: 2013
- 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.
40Automata, languages, and programming
By International Colloquium on Automata, Languages, and Programming (9th 1982 Aarhus, Denmark), M. Nielsen and E. M. Schmidt
“Automata, languages, and programming” Metadata:
- Title: ➤ Automata, languages, and programming
- Authors: ➤ International Colloquium on Automata, Languages, and Programming (9th 1982 Aarhus, Denmark)M. NielsenE. M. Schmidt
- Language: English
- Number of Pages: Median: 619
- Publisher: ➤ Springer-Verlag - Springer - Springer Verlag - Springer London, Limited
- Publish Date: 1982 - 2006
- Publish Location: New York - Berlin
“Automata, languages, and programming” Subjects and Themes:
- Subjects: ➤ Congresses - Machine theory - Formal languages - Programming languages (Electronic computers) - Automata - Computer Programming Languages - Automates mathématiques, Théorie des - Congrès - Langages de programmation - Langages formels - Programmiersprache - Kongress - Automates mathématiques, théorie des - Kongreß
Edition Identifiers:
- The Open Library ID: OL34520971M - OL28042071M - OL9529418M - OL22839779M
- Library of Congress Control Number (LCCN): 82010430
- All ISBNs: ➤ 3540393080 - 9783540393085 - 3540115765 - 9783540115762 - 0387115765 - 9780387115764
First Setence:
"Most of the well-known, hard computational problems, (e.g. factoring), are worst-case problems, while for cryptographic applications we need hard average-case problems."
Access and General Info:
- First Year Published: 1982
- 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.
41Formal description techniques and protocol specification, testing and verification
By IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan)., Atsushi Togashi, Tadanori Mizuno, Norio Shiratori and Teruo Higashino
“Formal description techniques and protocol specification, testing and verification” Metadata:
- Title: ➤ Formal description techniques and protocol specification, testing and verification
- Authors: ➤ IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan).Atsushi TogashiTadanori MizunoNorio ShiratoriTeruo Higashino
- Language: English
- Number of Pages: Median: 561
- Publisher: Springer - Chapman & Hall
- Publish Date: 1997 - 2013
- Publish Location: London
“Formal description techniques and protocol specification, testing and verification” Subjects and Themes:
- Subjects: ➤ Congresses - Computer network protocols - Formal languages - Electronic data processing - Distributed processing - Computer science - Computer networks
Edition Identifiers:
- The Open Library ID: OL37425384M - OL27977286M - OL7479230M - OL21256442M
- All ISBNs: ➤ 9780387352718 - 1475752601 - 9780412820601 - 9781475752601 - 0387352716 - 0412820609
Access and General Info:
- First Year Published: 1997
- 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 Formal description techniques and protocol specification, testing and verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Understanding language
By John A. Moyne
“Understanding language” Metadata:
- Title: Understanding language
- Author: John A. Moyne
- Language: English
- Number of Pages: Median: 376
- Publisher: ➤ Plenum Press - Springer - Springer London, Limited
- Publish Date: 1985 - 2013
- Publish Location: New York
“Understanding language” Subjects and Themes:
- Subjects: ➤ Artificial intelligence - Comparative and general Grammar - Comprehension - Computational linguistics - Formal languages - Psycholinguistics - Linguistics - Cognition - Grammaire comparée et générale - Linguistique informatique - Langages formels - Psycholinguistique - Taalpsychologie - Natuurlijke-taalverwerking - Compréhension - Artificial Intelligence - Intelligence artificielle
Edition Identifiers:
- The Open Library ID: OL37205465M - OL27992814M - OL27987967M - OL2531702M
- Online Computer Library Center (OCLC) ID: 12215696
- Library of Congress Control Number (LCCN): 85012341
- All ISBNs: ➤ 9781461295051 - 146132484X - 9781461324843 - 1461324831 - 030641970X - 9781461324836 - 146129505X - 9780306419706
Access and General Info:
- First Year Published: 1985
- 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 Understanding language at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Algorithmic logic
By Grażyna Mirkowska-Salwicka, G. Mirkowska and A. Salwicki
“Algorithmic logic” Metadata:
- Title: Algorithmic logic
- Authors: Grażyna Mirkowska-SalwickaG. MirkowskaA. Salwicki
- Language: English
- Number of Pages: Median: 380
- Publisher: ➤ PWN-Polish Scientific Publishers - Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers - Springer - D. Reidel Pub. Co.
- Publish Date: 1987
- Publish Location: ➤ Boston - Norwell, MA, U.S.A - Warszawa - Dordrecht
“Algorithmic logic” Subjects and Themes:
- Subjects: ➤ Algorithms - Formal languages - Symbolic and mathematical Logic - Algebra - Image processing - Algorithms (Computer Programming) - Computers - Mathematics - Science/Mathematics - Computer Books: General - Logic - Computer Science - Computers / Computer Science - Computers-Computer Science - Mathematics / Logic - Logic, Symbolic and mathematic - Logic, Symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9096352M - OL3021992M
- Online Computer Library Center (OCLC) ID: 11812440
- Library of Congress Control Number (LCCN): 85002201
- All ISBNs: 9027719284 - 9789027719287
Access and General Info:
- First Year Published: 1987
- 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 Algorithmic logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Notions sur les grammaires formelles
By Maurice Gross
“Notions sur les grammaires formelles” Metadata:
- Title: ➤ Notions sur les grammaires formelles
- Author: Maurice Gross
- Language: ger
- Number of Pages: Median: 199
- Publisher: ➤ Gauthier-Villars - Springer-Verlag
- Publish Date: 1967 - 1970 - 1971
- Publish Location: Berlin - Paris - New York
“Notions sur les grammaires formelles” Subjects and Themes:
- Subjects: ➤ Comparative and general Grammar - Formal languages - Mathematical models
Edition Identifiers:
- The Open Library ID: OL4768112M - OL4659725M - OL5585263M
- Online Computer Library Center (OCLC) ID: 4142499 - 313493 - 3322155
- Library of Congress Control Number (LCCN): 78135954 - 77546530 - 67103201
Access and General Info:
- First Year Published: 1967
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Notions sur les grammaires formelles at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Homomorphismen und Reduktionen linearer Sprachen
By F. Bartholomes
“Homomorphismen und Reduktionen linearer Sprachen” Metadata:
- Title: ➤ Homomorphismen und Reduktionen linearer Sprachen
- Author: F. Bartholomes
- Language: ger
- Number of Pages: Median: 143
- Publisher: ➤ Springer London, Limited - Springer-Verlag
- Publish Date: 1970 - 2013
- Publish Location: New York - Berlin
“Homomorphismen und Reduktionen linearer Sprachen” Subjects and Themes:
- Subjects: ➤ Categories (Mathematics) - Formal languages - Functor theory - Langages formels - Catégories (Mathématiques) - Foncteurs, Théorie des - Automatentheorie - Generative Transformationsgrammatik - Reduktion
Edition Identifiers:
- The Open Library ID: OL50610503M - OL5702149M - OL17770868M
- Online Computer Library Center (OCLC) ID: 182696
- Library of Congress Control Number (LCCN): 70132181
- All ISBNs: 3642951643 - 9783642951640
Access and General Info:
- First Year Published: 1970
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Homomorphismen und Reduktionen linearer Sprachen at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Categorical combinators, sequential algorithms, and functional programming
By P.-L Curien
“Categorical combinators, sequential algorithms, and functional programming” Metadata:
- Title: ➤ Categorical combinators, sequential algorithms, and functional programming
- Author: P.-L Curien
- Language: English
- Number of Pages: Median: 403
- Publisher: ➤ Birkhäuser - Pitman - Wiley - Brand: Birkhäuser - Birkhäuser
- Publish Date: 1986 - 1993 - 2012
- Publish Location: Boston - New York - London
“Categorical combinators, sequential algorithms, and functional programming” Subjects and Themes:
- Subjects: ➤ Formal languages - Lambda-Kalkül - Kategorientheorie - Funktionale Programmiersprache - Programming languages (electronic computers) - Computer programming - Algorithms
Edition Identifiers:
- The Open Library ID: OL1393144M - OL28021177M - OL2549318M
- Online Computer Library Center (OCLC) ID: 27429800 - 13064076
- Library of Congress Control Number (LCCN): 85031472 - 93000281
- All ISBNs: ➤ 9780470202906 - 9783764336547 - 3764336544 - 9780817636548 - 1461267048 - 9781461267041 - 0817636544 - 0470202904
Access and General Info:
- First Year Published: 1986
- 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 Categorical combinators, sequential algorithms, and functional programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47The concept of fuzziness in automata and language theory
By Wolfgang Wechler
“The concept of fuzziness in automata and language theory” Metadata:
- Title: ➤ The concept of fuzziness in automata and language theory
- Author: Wolfgang Wechler
- Languages: English - ger
- Number of Pages: Median: 154
- Publisher: ➤ de Gruyter GmbH, Walter - Akademie-Verlag
- Publish Date: 1978 - 1979
- Publish Location: Berlin
“The concept of fuzziness in automata and language theory” Subjects and Themes:
- Subjects: Formal languages - Machine theory - Set theory
Edition Identifiers:
- The Open Library ID: OL53273971M - OL4190409M - OL53269045M
- Library of Congress Control Number (LCCN): 80468955
- All ISBNs: 3112733347 - 9783112733349 - 3112733355 - 9783112733356
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The concept of fuzziness in automata and language theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Formele grammatica's in linguïstiek en taalpsychologie
By W. J. M. Levelt
“Formele grammatica's in linguïstiek en taalpsychologie” Metadata:
- Title: ➤ Formele grammatica's in linguïstiek en taalpsychologie
- Author: W. J. M. Levelt
- Language: English
- Publisher: ➤ John Benjamins Pub. Co. - Mouton
- Publish Date: 1974 - 2008 - 2009
- Publish Location: ➤ Philadelphia - The Hague - Amsterdam
“Formele grammatica's in linguïstiek en taalpsychologie” Subjects and Themes:
- Subjects: Formal languages - Mathematical linguistics - Psycholinguistics
Edition Identifiers:
- The Open Library ID: OL5101484M - OL22679208M - OL22665981M
- Online Computer Library Center (OCLC) ID: 264046804
- Library of Congress Control Number (LCCN): 74173548 - 2008046396
- All ISBNs: 9789027232519 - 9027232512
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formele grammatica's in linguïstiek en taalpsychologie at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Descriptional Complexity of Formal Systems
By Michal Hospodár, Galina Jirásková and Stavros Konstantinidis
“Descriptional Complexity of Formal Systems” Metadata:
- Title: ➤ Descriptional Complexity of Formal Systems
- Authors: Michal HospodárGalina JiráskováStavros Konstantinidis
- Language: English
- Number of Pages: Median: 287
- Publisher: ➤ Springer - Springer International Publishing AG
- Publish Date: 2018 - 2019 - 2020
“Descriptional Complexity of Formal Systems” Subjects and Themes:
- Subjects: Formal languages
Edition Identifiers:
- The Open Library ID: OL28330400M - OL28186387M - OL36248526M
- All ISBNs: ➤ 9783030625351 - 9783319946306 - 3030625354 - 3030232468 - 3319946307 - 9783030232467
Access and General Info:
- First Year Published: 2018
- 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 Descriptional Complexity of Formal Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Formal Languages, Automata and Numeration Systems 2
By Michel Rigo
“Formal Languages, Automata and Numeration Systems 2” Metadata:
- Title: ➤ Formal Languages, Automata and Numeration Systems 2
- Author: Michel Rigo
- Language: English
- Number of Pages: Median: 246
- Publisher: ➤ Wiley & Sons, Incorporated, John
- Publish Date: 2014 - 2020
“Formal Languages, Automata and Numeration Systems 2” Subjects and Themes:
- Subjects: Formal languages - Machine theory - Computer programming
Edition Identifiers:
- The Open Library ID: OL29343663M - OL29256499M - OL29256507M
- All ISBNs: ➤ 1119042852 - 111904295X - 9781119042952 - 9781119042853 - 9781119042860 - 1119042860
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal Languages, Automata and Numeration Systems 2 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.