Explore: Abstracte Automaten
Discover books, insights, and more — all in one place.
Learn more about Abstracte Automaten with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “abstracte-automaten”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Automata, languages and programming
By International Colloquium on Automata, Languages, and Programming (30th 2003 Eindhoven, Netherlands)
“Automata, languages and programming” Metadata:
- Title: ➤ Automata, languages and programming
- Author: ➤ International Colloquium on Automata, Languages, and Programming (30th 2003 Eindhoven, Netherlands)
- Language: English
- Number of Pages: Median: 1199
- Publisher: Springer
- Publish Date: 2003
- Publish Location: New York - Berlin
“Automata, languages and programming” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Computer programming - Congresses - Formal languages - Machine theory - Programming languages (electronic computers) - Algorithmes - Congrès - Automates mathématiques, Théorie des - Langages formels - Programmation (Informatique) - Abstracte automaten - Programmeertalen - Theoretische Informatik - Computer science - Mathematics
Edition Identifiers:
- The Open Library ID: OL3707465M
- Online Computer Library Center (OCLC) ID: 53068829 - 52557967
- Library of Congress Control Number (LCCN): 2003279338
- All ISBNs: 3540404937 - 9783540404934
Access and General Info:
- First Year Published: 2003
- 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 Automata, languages and programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Automata, 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.
3Automata, languages and programming
By Friedhelm Meyer auf der Heide
“Automata, languages and programming” Metadata:
- Title: ➤ Automata, languages and programming
- Author: Friedhelm Meyer auf der Heide
- Language: English
- Number of Pages: Median: 680
- Publisher: ➤ Springer London, Limited - Springer-Verlag Telos
- Publish Date: 1996 - 2010
“Automata, languages and programming” Subjects and Themes:
- Subjects: ➤ Machine theory - Congresses - Formal languages - Computer programming - Automates mathématiques, Théorie des - Congrès - Langages formels - Programmation (Informatique) - Abstracte automaten - Programmeertalen - Theoretische Informatik - Kongress - Ordinateurs - Programmation - Computer science - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL35772364M - OL35770605M - OL9529267M
- Online Computer Library Center (OCLC) ID: 35188623
- All ISBNs: ➤ 364214165X - 9783642141652 - 3642141625 - 9783642141621 - 3540614400 - 9783540614401
First Setence:
"Saturation is one of the major techniques for automated theorem proving in first-order logic."
Access and General Info:
- First Year Published: 1996
- 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.
4Automata, languages, and programming
By International Colloquium on Automata, Languages, and Programming (7th 1980 Noordwijkerhout)
“Automata, languages, and programming” Metadata:
- Title: ➤ Automata, languages, and programming
- Author: ➤ International Colloquium on Automata, Languages, and Programming (7th 1980 Noordwijkerhout)
- Language: English
- Number of Pages: Median: 671
- Publisher: Springer-Verlag
- Publish Date: 1980
- Publish Location: New York - Berlin
“Automata, languages, and programming” Subjects and Themes:
- Subjects: ➤ Congresses - Machine theory - Programming (Electronic computers) - Formal languages - Computer programming - Sequential machine theory - Programming languages (Electronic computers) - Théorie des machines séquentielles - Congrès - Langages formels - Langages de programmation - Théorie des automates - Programmation (Informatique) - Abstracte automaten - Formele talen - Programmeren (computers) - Computers - Linguagens Formais E Automatos - Teoria Da Computacao
Edition Identifiers:
- The Open Library ID: OL10151777M - OL22775810M
- Online Computer Library Center (OCLC) ID: 6587281 - 10403362
- Library of Congress Control Number (LCCN): 81156919
- All ISBNs: 0387100032 - 9780387100036
Access and General Info:
- First Year Published: 1980
- 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 Automata, languages, and programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Automata, languages and programming
By Colloquium on Automata, Languages and Programming (6th. 1979 Graz, Austria)
“Automata, languages and programming” Metadata:
- Title: ➤ Automata, languages and programming
- Author: ➤ Colloquium on Automata, Languages and Programming (6th. 1979 Graz, Austria)
- Language: English
- Number of Pages: Median: 684
- Publisher: Springer-Verlag
- Publish Date: 1979
- Publish Location: Berlin - New York
“Automata, languages and programming” Subjects and Themes:
- Subjects: ➤ Formal languages - Formallanguages - Machine theory - Programming (Electronic computers) - Computer Science, general - Formele talen - Abstracte automaten - Programmeren (computers) - Computers - Computer science - Computer Science - Computer programming
Edition Identifiers:
- The Open Library ID: OL22806029M
- All ISBNs: 9783540095101 - 3540095101
Access and General Info:
- First Year Published: 1979
- 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.
6Automata, 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.
7Automata, languages and programming
By Pierpaolo Degano
“Automata, languages and programming” Metadata:
- Title: ➤ Automata, languages and programming
- Author: Pierpaolo Degano
- Language: English
- Number of Pages: Median: 862
- Publisher: Springer
- Publish Date: 1997
“Automata, languages and programming” Subjects and Themes:
- Subjects: ➤ Réécriture - Programmation - Cryptographie - Automate (informatique) - Calcul parallèle - Congrès - Langages formels - Automates mathématiques, Théorie des - Automate - Langage formel - Informatique - [congrès] - Concurrence - Théorie des automates - Réseau Petri - Langage de programmation - Routage - Ordinateurs - Programmation en logique - Complexité calcul - Sémantique - Machine theory - Formal languages - Computer programming - Congresses - Abstracte automaten - Programmeertalen - Computer science - Computer networks - Information theory
Edition Identifiers:
- The Open Library ID: OL9712299M
- Online Computer Library Center (OCLC) ID: 37415100 - 327055612
- All ISBNs: 3540631658 - 9783540631651
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 Automata, languages and programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Automata, Languages and Programming (Fourth Colloquium, Univ of Turku, Finland, July 18-22, 1977)
By Gerhard Goos
“Automata, Languages and Programming (Fourth Colloquium, Univ of Turku, Finland, July 18-22, 1977)” Metadata:
- Title: ➤ Automata, Languages and Programming (Fourth Colloquium, Univ of Turku, Finland, July 18-22, 1977)
- Author: Gerhard Goos
- Number of Pages: Median: 569
- Publisher: Springer-Verlag
- Publish Date: 1977
“Automata, Languages and Programming (Fourth Colloquium, Univ of Turku, Finland, July 18-22, 1977)” Subjects and Themes:
- Subjects: ➤ Sequential machine theory - Congresses - Formal languages - Programming languages (Electronic computers) - Machines séquentielles, Théorie des - Congrès - Langages formels - Langages de programmation - Automatentheorie - Programmiersprache - Kongress - Abstracte automaten - Formele talen - Programmeren (computers) - Computers - Linguagens Formais E Automatos - Machine theory
Edition Identifiers:
- The Open Library ID: OL10151708M
- Online Computer Library Center (OCLC) ID: 3280853
- Library of Congress Control Number (LCCN): 78337949
- All ISBNs: 9780387083421 - 0387083421
Author's Alternative Names:
"G. Goos"Access and General Info:
- First Year Published: 1977
- 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 (Fourth Colloquium, Univ of Turku, Finland, July 18-22, 1977) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Automata, Languages and Programming fifth colloquium, Udine, Italy, July 17-21, 1978
By International Colloquium on Automata, Languages and Programming (5th 1978 Udine)
“Automata, Languages and Programming fifth colloquium, Udine, Italy, July 17-21, 1978” Metadata:
- Title: ➤ Automata, Languages and Programming fifth colloquium, Udine, Italy, July 17-21, 1978
- Author: ➤ International Colloquium on Automata, Languages and Programming (5th 1978 Udine)
- Language: English
- Number of Pages: Median: 508
- Publisher: Springer-Verlag
- Publish Date: 1978
- Publish Location: Berlin - New York
“Automata, Languages and Programming fifth colloquium, Udine, Italy, July 17-21, 1978” Subjects and Themes:
- Subjects: ➤ Machine theory - Congresses - Formal languages - Programming languages (Electronic computers) - Probabilistic automata - Langages formels - Congrès - Langages de programmation - Automates probabilistes - Théorie des automates - Automatentheorie - Programmiersprache - Kongress - Abstracte automaten - Formele talen - Programmeren (computers) - Computers - Automates mathématiques, Théorie des
Edition Identifiers:
- The Open Library ID: OL22831920M
- Online Computer Library Center (OCLC) ID: 4161483
- Library of Congress Control Number (LCCN): 79303999
- All ISBNs: 0387088601 - 9780387088600
Access and General Info:
- First Year Published: 1978
- 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 Automata, Languages and Programming fifth colloquium, Udine, Italy, July 17-21, 1978 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Automata, Languages and Programming
By Kim G. Larsen, Sven Skyum, Glynn Winskel, Gerhard Goos and Juris Hartmanis
“Automata, Languages and Programming” Metadata:
- Title: ➤ Automata, Languages and Programming
- Authors: Kim G. LarsenSven SkyumGlynn WinskelGerhard GoosJuris Hartmanis
- Language: English
- Number of Pages: Median: 932
- Publisher: Springer
- Publish Date: 1998
“Automata, Languages and Programming” Subjects and Themes:
- Subjects: ➤ Machine theory - Congresses - Computer science - Mathematics - Programming languages (Electronic computers) - Automates mathématiques, Théorie des - Congrès - Langages formels - Programmation (Informatique) - Abstracte automaten - Programmeertalen - Theoretische Informatik - Kongress - Formal languages - Computer programming
Edition Identifiers:
- The Open Library ID: OL9887573M
- Online Computer Library Center (OCLC) ID: 39714746
- All ISBNs: 9783540647812 - 3540647813
First Setence:
"Two brands of temporal logics have been proposed over the years for specifying the properties of reactive systems: the linear time brand LTL [GPSS80] and the branching time variant CTL [CE81]."
Author's Alternative Names:
"J. Hartmanis", "G. Goos" and "J Hartmanis"Access and General Info:
- First Year Published: 1998
- 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.