Explore: Theoretische Informatik
Discover books, insights, and more — all in one place.
Learn more about Theoretische Informatik with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “theoretische-informatik”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The (new) turing omnibus
By A.K. Dewdney

“The (new) turing omnibus” Metadata:
- Title: The (new) turing omnibus
- Author: A.K. Dewdney
- Language: English
- Number of Pages: Median: 468
- Publisher: ➤ Holt Paperbacks - Computer Science Press
- Publish Date: 1993
- Publish Location: New York
“The (new) turing omnibus” Subjects and Themes:
- Subjects: ➤ Electronic data processing - Computers - Computer science - Theoretische Informatik - Ordinateur - Informatique
Edition Identifiers:
- The Open Library ID: OL7932848M - OL1408746M
- Library of Congress Control Number (LCCN): 93017330
- All ISBNs: 0805071660 - 9780805071665 - 9780716782711 - 0716782715
First Setence:
"A program specifies in the exact syntax of some programming language the computation one expects a computer to perform."
Author's Alternative Names:
"A. K. Dewdney", "A.K. Dewdney.", "A. R. Dewdney" and "Alexander Keewatin Dewdney"Access and General Info:
- First Year Published: 1993
- 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 The (new) turing omnibus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Introduction to computer theory
By Daniel I. A. Cohen

“Introduction to computer theory” Metadata:
- Title: ➤ Introduction to computer theory
- Author: Daniel I. A. Cohen
- Language: English
- Number of Pages: Median: 823
- Publisher: ➤ John Wiley & Sons - Wiley - John Wiley & Sons Inc
- Publish Date: 1986 - 1990 - 1991 - 1997
- Publish Location: New York - Chichester
“Introduction to computer theory” Subjects and Themes:
- Subjects: ➤ Electronic digital computers - Computers - Computer programming - Computer science - Computabilidade e complexidade - Teoria dos automatos - Linguagens formais - Fundamentele informatica - Ordinateurs - Automatentheorie - Theoretische Informatik - Computers, handbooks, manuals, etc. - Qa76.5 .c558 1991 - 004
Edition Identifiers:
- The Open Library ID: ➤ OL10303160M - OL22782414M - OL22571679M - OL22782751M - OL2531447M - OL2225773M - OL741585M
- Online Computer Library Center (OCLC) ID: 12134742 - 20799591 - 1074689539
- Library of Congress Control Number (LCCN): 97133565 - 85012077 - 89070664
- All ISBNs: ➤ 9780471137726 - 0471548413 - 0471802719 - 9780471802716 - 0471137723 - 0471843164 - 0471510106 - 0471173053 - 9780471843160 - 9780471548416 - 9780471510109 - 9780471173052
Author's Alternative Names:
"DIA Cohen"Access and General Info:
- First Year Published: 1986
- 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 computer theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Perspectives of Systems Informatics
By Amir Pnueli

“Perspectives of Systems Informatics” Metadata:
- Title: ➤ Perspectives of Systems Informatics
- Author: Amir Pnueli
- Language: English
- Publisher: ➤ Springer - Springer Berlin Heidelberg
- Publish Date: 2010
- Publish Location: Berlin, Heidelberg
“Perspectives of Systems Informatics” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Systems engineering - Informatique - Engineering - Computer programming - Computer Systems - Congresses - Programmierung - Softwareentwicklung - Systementwicklung - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL27955724M - OL25562327M
- Library of Congress Control Number (LCCN): 2009943004
- All ISBNs: ➤ 9783642114854 - 3642114865 - 9783642114878 - 3642114873 - 9783642114861 - 3642114857
Access and General Info:
- First Year Published: 2010
- 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 Perspectives of Systems Informatics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Einfu 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.
5Automata, 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.
6Introduction to Algorithms
By Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein

“Introduction to Algorithms” Metadata:
- Title: Introduction to Algorithms
- Authors: Thomas H. CormenCharles E. LeisersonRonald L. RivestClifford Stein
- Language: English
- Number of Pages: Median: 1292
- Publisher: ➤ The MIT Press - McGraw-Hill Science/Engineering/Math - MIT Press - PHI Learning Pvt. Ltd. (Originally MIT Press) - Brand: PHI Learning - McGraw-Hill
- Publish Date: ➤ 1990 - 1999 - 2001 - 2003 - 2009 - 2010 - 2022
- Publish Location: ➤ London, England - Cambridge, Mass - Cambridge, MA, USA - USA - Cambridge, Massachusetts, USA - New York
“Introduction to Algorithms” Subjects and Themes:
- Subjects: ➤ Algorithms - Computer algorithms - Computer programming - open_syllabus_project - Programming - Algorithmes - Programmation (Informatique) - 54.10 theoretical informatics - Algorithmus - Informatik - Theoretische Informatik - Algorithmentheorie - COMPUTER PROGRAMS - PROGRAMMING LANGUAGES - FILE MAINTENANCE (COMPUTERS) - SOFTWARE TOOLS - Long Now Manual for Civilization - COMPUTERS - Open Source - Software Development & Engineering - Tools - General - Algorithmische Programmierung - Algoritmen - Datenstruktur - Datoralgoritmer - Datastrukturer - Компьютеры//Алгоритмы и структуры данных - Компьютеры - Алгоритмы и структуры данных - Algorithms and Data Structures - Qa76.6 .c662 2009 - 005.1 - 54.10 - Qa76.6 .i5858 2001 - Electronic digital computers, programming
Edition Identifiers:
- Google Books ID: aefUBQAAQBAJ
- The Open Library ID: ➤ OL53283895M - OL34192801M - OL32457466M - OL32457467M - OL9801324M - OL29592483M - OL29597979M - OL29753762M - OL7306164M - OL9260837M - OL7294306M - OL9249010M - OL23170657M - OL3946060M - OL18372918M - OL17384060M - OL2194069M - OL25409352M
- Online Computer Library Center (OCLC) ID: ➤ 44674539 - 311310321 - 1264174621 - 676697295 - 20219489 - 46792720
- Library of Congress Control Number (LCCN): 2021037260 - 2009008593 - 2001031277 - 89013027
- All ISBNs: ➤ 0262270838 - 0070131430 - 9780262259460 - 0262031418 - 9780262032933 - 9780262531962 - 9780262046305 - 9780070131514 - 0262033844 - 0070131511 - 9780262033848 - 9780262533058 - 1423724607 - 9780072970548 - 0262533057 - 0262032937 - 0262531968 - 026225946X - 9780070131439 - 9780262258104 - 0262530910 - 9781423724605 - 026204630X - 9788120340077 - 8120340078 - 9780262530910 - 9780262270830 - 0072970545 - 0262258102 - 9780262031417
Author's Alternative Names:
"Charles Eric Leiserson", "Thomas Cormen", "Clifford Stein, Robert L. Drysdale, Kenneth Bogart", "Charles E Leiserson", "Tahsin Oner, Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein, Urfat Nuriyev, Efendi Nasiboglu", "Cormen", "Rivest", "Ronald L Rivest" and "by by Thomas H. Cormen Charles E. Leiserson Ronald L. Rivest Clifford Stein Thomas H. Cormen Clara Lee Erica Lin"Access and General Info:
- First Year Published: 1990
- 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 Algorithms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Software engineering mathematics
By Jim Woodcock

“Software engineering mathematics” Metadata:
- Title: ➤ Software engineering mathematics
- Author: Jim Woodcock
- Language: English
- Number of Pages: Median: 281
- Publisher: ➤ Pitman - Addison-Wesley Pub. Co.
- Publish Date: 1988 - 1989
- Publish Location: London - Reading, Mass
“Software engineering mathematics” Subjects and Themes:
- Subjects: ➤ Computer science - Electronic digital computers - Mathematics - Programming - Software engineering - Computer programming - Electronic data processing - Algebra - Theoretische Informatik - Informatique - Mathématiques
Edition Identifiers:
- The Open Library ID: OL2188442M - OL14360738M
- Library of Congress Control Number (LCCN): 88029820 - 89006649
- All ISBNs: 9780273026730 - 0201504243 - 0273026739 - 9780201504248
Access and General Info:
- First Year Published: 1988
- 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 Software engineering mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Foundations 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.
9Theory of computing
By Efim Kinber

“Theory of computing” Metadata:
- Title: Theory of computing
- Author: Efim Kinber
- Language: English
- Number of Pages: Median: 207
- Publisher: Prentice Hall
- Publish Date: 2000 - 2001
- Publish Location: Upper Saddle River, N.J
“Theory of computing” Subjects and Themes:
- Subjects: Electronic data processing - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL7330834M - OL24766416M
- Online Computer Library Center (OCLC) ID: 43481838
- Library of Congress Control Number (LCCN): 00024617
- All ISBNs: 9780130279613 - 0130279617
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 Theory of computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Theoretical foundations of computer science
By Dino Mandrioli

“Theoretical foundations of computer science” Metadata:
- Title: ➤ Theoretical foundations of computer science
- Author: Dino Mandrioli
- Language: English
- Number of Pages: Median: 478
- Publisher: Wiley - Krieger Pub. Co.
- Publish Date: 1987 - 1988 - 1993
- Publish Location: New York - Malabar, Fla
“Theoretical foundations of computer science” Subjects and Themes:
- Subjects: ➤ Computer science - Mathematics - Számítástechnika - 68Qxx - Informatique - Mathématiques - Mathematische Logik - Theoretische Informatik - Computers
Edition Identifiers:
- The Open Library ID: OL1725730M - OL22783804M - OL2373995M
- Library of Congress Control Number (LCCN): 92029749 - 87002118
- All ISBNs: ➤ 9780471838340 - 0471859184 - 9780894647987 - 9780471859185 - 0471838349 - 0894647989
Access and General Info:
- First Year Published: 1987
- 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 Theoretical foundations of computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Automata, 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.
12Introduction to Coalgebra
By Bart Jacobs
“Introduction to Coalgebra” Metadata:
- Title: Introduction to Coalgebra
- Author: Bart Jacobs
- Language: English
- Number of Pages: Median: 494
- Publisher: Cambridge University Press
- Publish Date: 2016
“Introduction to Coalgebra” Subjects and Themes:
- Subjects: ➤ Associative algebras - Algebra, universal - Universal enveloping algebras - Universal Algebra - Assoziative Algebra - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL35535640M - OL34732394M - OL28612454M
- Online Computer Library Center (OCLC) ID: 950519615
- Library of Congress Control Number (LCCN): 2016023664
- All ISBNs: ➤ 9781107177895 - 9781316836019 - 1316823180 - 1107177898 - 9781316823187 - 1316836010
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 Coalgebra at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Theoretische Informatik
By Dirk W. Hoffmann

“Theoretische Informatik” Metadata:
- Title: Theoretische Informatik
- Author: Dirk W. Hoffmann
- Language: ger
- Number of Pages: Median: 431
- Publisher: Hanser
- Publish Date: 2011
- Publish Location: München
“Theoretische Informatik” Subjects and Themes:
- Subjects: ➤ Theoretische Informatik - Lehrbuch - Theoretische Informatik - Lehrbuch
Edition Identifiers:
- The Open Library ID: OL27091596M
- Online Computer Library Center (OCLC) ID: 748700867
- All ISBNs: ➤ 9783446426399 - 9783446415119 - 3446426396 - 9783446428546 - 3446415114 - 3446428542
Access and General Info:
- First Year Published: 2011
- 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 Theoretische Informatik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Computation Engineering:
By Ganesh Gopalakrishnan

“Computation Engineering:” Metadata:
- Title: Computation Engineering:
- Author: Ganesh Gopalakrishnan
- Language: English
- Number of Pages: Median: 476
- Publisher: Springer
- Publish Date: 2006 - 2007 - 2010
“Computation Engineering:” Subjects and Themes:
- Subjects: ➤ Machine theory - Mathematics - Computer logic - Computer science - Informatique - Komplexitätstheorie - Automates mathématiques, Théorie des - Model Checking - Mathématiques - Automatentheorie - Theoretische Informatik - Logique informatique - Computer engineering - Mathematiques - Theorie des Automates mathematiques - Information theory - Systems engineering - Theory of Computation - Circuits and Systems - Mathematical Logic and Formal Languages - Electronic and Computer Engineering
Edition Identifiers:
- The Open Library ID: OL7444698M - OL27961860M - OL9652093M
- Online Computer Library Center (OCLC) ID: 70249249
- Library of Congress Control Number (LCCN): 2006920602
- All ISBNs: ➤ 9780387244181 - 0387244182 - 1441937412 - 9781441937414 - 9780387244198 - 0387244190
Access and General Info:
- First Year Published: 2006
- 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 Computation Engineering: at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Jewels are forever
By Arto Salomaa

“Jewels are forever” Metadata:
- Title: Jewels are forever
- Author: Arto Salomaa
- Language: English
- Number of Pages: Median: 349
- Publisher: ➤ Springer - Springer-Verlag Telos
- Publish Date: 1999
- Publish Location: New York - Berlin
“Jewels are forever” Subjects and Themes:
- Subjects: ➤ Bibliography - Computer science - Bibliographie - Informatique - Complexité - Combinatoire - Langage formel - Algorithmique - Langages formels - Automates mathématiques, Théorie des - Automate fini - Theoretische Informatik
- People: Arto Salomaa
Edition Identifiers:
- The Open Library ID: OL21224663M - OL12809583M
- Online Computer Library Center (OCLC) ID: 41361428
- Library of Congress Control Number (LCCN): 99023730
- All ISBNs: 3540659846 - 9783540659846
Access and General Info:
- First Year Published: 1999
- 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 Jewels are forever at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Automata, 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.
17Theoretische Informatik - kurz gefasst (German Edition)
By Uwe Schöning

“Theoretische Informatik - kurz gefasst (German Edition)” Metadata:
- Title: ➤ Theoretische Informatik - kurz gefasst (German Edition)
- Author: Uwe Schöning
- Number of Pages: Median: 200
- Publisher: Spektrum Akademischer Verlag
- Publish Date: 2008
“Theoretische Informatik - kurz gefasst (German Edition)” Subjects and Themes:
- Subjects: Machine theory - 0 Gesamtdarstellung - Theoretische Informatik - Theory of computer science - Computable functions
Edition Identifiers:
- The Open Library ID: OL26764736M
- All ISBNs: 9783827418241 - 3827418240
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Theoretische Informatik - kurz gefasst (German Edition) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Computing and combinatorics
By COCOON '98 (1998 Taipei, Taiwan)

“Computing and combinatorics” Metadata:
- Title: Computing and combinatorics
- Author: ➤ COCOON '98 (1998 Taipei, Taiwan)
- Language: English
- Number of Pages: Median: 372
- Publisher: Springer
- Publish Date: 1998
- Publish Location: Berlin - New York
“Computing and combinatorics” Subjects and Themes:
- Subjects: ➤ Congresses - Combinatorial analysis - Computer science - Informatique - Berechenbarkeit - Kombinatorik - Analyse combinatoire - Combinatieleer - Analise combinatoria - Kongress - Congres - Theoretische Informatik - Computermethoden - Computers, congresses
Edition Identifiers:
- The Open Library ID: OL368740M
- Online Computer Library Center (OCLC) ID: 497426232
- Library of Congress Control Number (LCCN): 98029352
- All ISBNs: 9783540648246 - 3540648240
Access and General Info:
- First Year Published: 1998
- 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 Computing and combinatorics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Computer science logic
By Workshop on Computer Science Logic (19th 2005 Oxford, England)

“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ Workshop on Computer Science Logic (19th 2005 Oxford, England)
- Language: English
- Number of Pages: Median: 565
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - COMPUTERS - Programming - Logique (Informatique) - Congres - Programmierlogik - Informatique - Open Source - Tools - General - Software Development & Engineering - Logique informatique - Computational logic - Logik - Theoretische Informatik - Logische Programmierung - Computer science - Logic
Edition Identifiers:
- The Open Library ID: OL18239420M
- Online Computer Library Center (OCLC) ID: 61320925
- Library of Congress Control Number (LCCN): 2005930337
- All ISBNs: 3540282319 - 9783540282310
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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Turing's Cathedral
By George Dyson

“Turing's Cathedral” Metadata:
- Title: Turing's Cathedral
- Author: George Dyson
- Number of Pages: Median: 200
- Publisher: Allen Lane
- Publish Date: 2012
“Turing's Cathedral” Subjects and Themes:
- Subjects: ➤ Turing machines - Computable functions - Random access memory - Computers - History - Computer science - Philosophy - Informatik - Theoretische Informatik - Computer - Datorer - Historia - Datavetenskap - Teori, filosofi - Von neumann, john, 1903-1957 - Computers, history - Computer storage devices - Mathematicians, biography - Turing, alan mathison, 1912-1954
Edition Identifiers:
- The Open Library ID: OL27628301M
- Online Computer Library Center (OCLC) ID: 760292658
- All ISBNs: 9780713997507 - 0713997508
Author's Alternative Names:
"George B. Dyson", "George Dyson" and "GEORGE DYSON"Access and General Info:
- First Year Published: 2012
- 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 Turing's Cathedral at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Theoretische Informatik
By Katrin Erk

“Theoretische Informatik” Metadata:
- Title: Theoretische Informatik
- Author: Katrin Erk
- Language: ger
- Number of Pages: Median: 500
- Publisher: Springer Vieweg - Springer
- Publish Date: 2008 - 2018
- Publish Location: Heidelberg - Berlin
“Theoretische Informatik” Subjects and Themes:
- Subjects: 0 Gesamtdarstellung - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL28220830M - OL27091595M
- Online Computer Library Center (OCLC) ID: 244015158
- All ISBNs: ➤ 3540763198 - 9783540763208 - 366257408X - 3540763201 - 9783662574089 - 9783540763192
Access and General Info:
- First Year Published: 2008
- 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 Theoretische Informatik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Fields of logic and computation
By Yuri Gurevich, Andreas Blass, Nachum Dershowitz and Wolfgang Reisig

“Fields of logic and computation” Metadata:
- Title: ➤ Fields of logic and computation
- Authors: Yuri GurevichAndreas BlassNachum DershowitzWolfgang Reisig
- Language: English
- Number of Pages: Median: 626
- Publisher: Springer
- Publish Date: 2010
- Publish Location: New York - Berlin
“Fields of logic and computation” Subjects and Themes:
- Subjects: ➤ Softwarespezifikation - Komplexitätstheorie - Mathematische Logik - Symbolic and mathematical Logic - Berechenbarkeit - Programmverifikation - Formale Methode - Information theory - Computer science - Automatentheorie - Mathematics - Formal methods (Computer science) - Theoretische Informatik - Abstrakte Zustandsmaschine - Logic design - Computer networks - Software engineering - Computer software - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL25375129M
- Online Computer Library Center (OCLC) ID: 657597118
- Library of Congress Control Number (LCCN): 2010931832
- All ISBNs: 9783642150241 - 3642150241
Access and General Info:
- First Year Published: 2010
- 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 Fields of logic and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Algorithmic bioprocesses
By Anne Condon

“Algorithmic bioprocesses” Metadata:
- Title: Algorithmic bioprocesses
- Author: Anne Condon
- Language: English
- Number of Pages: Median: 742
- Publisher: Brand: Springer - Springer
- Publish Date: 2009 - 2012
- Publish Location: Dordrecht - New York
“Algorithmic bioprocesses” Subjects and Themes:
- Subjects: ➤ Theoretical Models - Information Theory - Festschrift - Computational Biology - Mathematical models - Systembiologie - Biocomputer - Molecular Biology - Structural bioinformatics - Information theory in biology - Formale Methode - Aufsatzsammlung - Theoretische Informatik - Molecular biology - Nanobiotechnologie - Bioinformatics - Biology, data processing
Edition Identifiers:
- The Open Library ID: OL27981906M - OL25312956M
- Online Computer Library Center (OCLC) ID: 467706742
- Library of Congress Control Number (LCCN): 2008944308
- All ISBNs: ➤ 9783642260155 - 3642260152 - 3540888691 - 9783540888697 - 3540888683 - 9783540888680
Access and General Info:
- First Year Published: 2009
- 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 Algorithmic bioprocesses at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Computer science in perspective
By Klein, Rolf and Lutz Wegner

“Computer science in perspective” Metadata:
- Title: ➤ Computer science in perspective
- Authors: Klein, RolfLutz Wegner
- Language: English
- Number of Pages: Median: 357
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2003 - 2004
“Computer science in perspective” Subjects and Themes:
- Subjects: ➤ Computer science - Informatique - World Wide Web - Multimedia - Anwendungssystem - MATEMATICA DA COMPUTACʹAO - TEORIA DA COMPUTACʹAO - Theoretische Informatik - Aufsatzsammlung
Edition Identifiers:
- The Open Library ID: OL37099056M - OL9053826M
- Online Computer Library Center (OCLC) ID: 51566431
- Library of Congress Control Number (LCCN): 2003042502
- All ISBNs: 9783540364771 - 354000579X - 3540364773 - 9783540005797
First Setence:
"If one tries to estimate the "natural amounts of multimedia" needed for teaching various scientific disciplines, it might be a good idea just to compare common textbooks by the percentage of pure text vs. graphical illustrations and photographs appearing in their pages."
Access and General Info:
- First Year Published: 2003
- 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 Computer science in perspective at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25FSTTCS 2005
By Conference on Foundations of Software Technology and Theoretical Computer Science (25th 2005 Hyderabad, India)

“FSTTCS 2005” Metadata:
- Title: FSTTCS 2005
- Author: ➤ Conference on Foundations of Software Technology and Theoretical Computer Science (25th 2005 Hyderabad, India)
- Language: English
- Number of Pages: Median: 573
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“FSTTCS 2005” Subjects and Themes:
- Subjects: ➤ Congresses - Computer science - Software engineering - Computer software - Logic design - Computational complexity - Informatique - REFERENCE - Genie logiciel - General - Programmierung - Congres - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL17725911M - OL17628871M
- Online Computer Library Center (OCLC) ID: 62731164 - 62701186
- Library of Congress Control Number (LCCN): 2005937124
- All ISBNs: 3540304959 - 9783540304951
Access and General Info:
- First Year Published: 2005
- 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 FSTTCS 2005 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Grundlagen der Theoretischen Informatik mit Anwendungen
By Gottfried Vossen and Kurt-Ulrich Witt

“Grundlagen der Theoretischen Informatik mit Anwendungen” Metadata:
- Title: ➤ Grundlagen der Theoretischen Informatik mit Anwendungen
- Authors: Gottfried VossenKurt-Ulrich Witt
- Language: ger
- Publisher: ➤ Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH - Vieweg+Teubner Verlag
- Publish Date: 2002 - 2013
- Publish Location: Wiesbaden
“Grundlagen der Theoretischen Informatik mit Anwendungen” Subjects and Themes:
- Subjects: Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL50682224M - OL27042189M
- Online Computer Library Center (OCLC) ID: 863882928
- All ISBNs: 9783322968388 - 9783322969019 - 3322969010 - 3322968383
Access and General Info:
- First Year Published: 2002
- 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 Grundlagen der Theoretischen Informatik mit Anwendungen at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Automata, Languages and Programming (vol. # 3580)
By Luís Caires, Catuscia Palamidessi and Moti Yung

“Automata, Languages and Programming (vol. # 3580)” Metadata:
- Title: ➤ Automata, Languages and Programming (vol. # 3580)
- Authors: Luís CairesCatuscia PalamidessiMoti Yung
- Language: English
- Number of Pages: Median: 1477
- Publisher: Springer
- Publish Date: 2005
“Automata, Languages and Programming (vol. # 3580)” Subjects and Themes:
- Subjects: ➤ Electronic data processing - Computational complexity - Information theory - Data structures (Computer science) - Software engineering - Theorie des Automates mathematiques - Machine theory - Programmation - COMPUTERS - Programming - Langages formels - Theorie des automates - Lissabon (2005) - Congres - Langage formel - Informatique - Open Source - Algorithme d'approximation - Software Development & Engineering - Tools - Kongress - General - Programmation (Informatique) - Congresses - Computer programming - Theoretische Informatik - Formal languages - Computer algorithms - Formal languages (Computers)
Edition Identifiers:
- The Open Library ID: OL9055733M
- Online Computer Library Center (OCLC) ID: 61176039 - 60846329
- Library of Congress Control Number (LCCN): 2005928673
- All ISBNs: 3540275800 - 9783540275800
First Setence:
"A holographic reduction [V04] between two computational problems is a reduction that preserves the sum of the solutions without preserving any correspondences among the individual solutions."
Access and General Info:
- First Year Published: 2005
- 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 (vol. # 3580) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Theoretische Informatik
By Juraj Hromkovic

“Theoretische Informatik” Metadata:
- Title: Theoretische Informatik
- Author: Juraj Hromkovic
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 2004
- Publish Location: Wiesbaden
“Theoretische Informatik” Subjects and Themes:
- Subjects: Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL27091597M
- Online Computer Library Center (OCLC) ID: 863883563
- All ISBNs: 3322940551 - 9783322940551
Access and General Info:
- First Year Published: 2004
- 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 Theoretische Informatik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Logic, language, information, and computation
By Workshop on Logic, Language, Information and Computation (20th 2013 Darmstadt, Germany)
“Logic, language, information, and computation” Metadata:
- Title: ➤ Logic, language, information, and computation
- Author: ➤ Workshop on Logic, Language, Information and Computation (20th 2013 Darmstadt, Germany)
- Language: English
- Number of Pages: Median: 281
- Publisher: Springer
- Publish Date: 2013
- Publish Location: Berlin - New York
“Logic, language, information, and computation” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - Symbolic and mathematical Logic - Berechnungstheorie - Formale Grammatik - Formale Methode - Formale Syntax - Künstliche Intelligenz - Logik - Natürliche Sprache - Programmierlogik - Programmiersprache - Theoretische Informatik - Logic, symbolic and mathematical - Language and logic - Artificial Intelligence (incl. Robotics) - Computer science - Algebra - Data processing - Artificial intelligence - Mathematical Logic and Formal Languages - Symbolic and Algebraic Manipulation - Computer Science, general
Edition Identifiers:
- The Open Library ID: OL31013764M
- Online Computer Library Center (OCLC) ID: 861569522
- Library of Congress Control Number (LCCN): 2013943913
- All ISBNs: 9783642399916 - 3642399916 - 3642399924 - 9783642399923
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic, language, information, and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Implementation and application of automata
By N.S.) CIAA (Conference) (18th 2013 Halifax
“Implementation and application of automata” Metadata:
- Title: ➤ Implementation and application of automata
- Author: ➤ N.S.) CIAA (Conference) (18th 2013 Halifax
- Language: English
- Number of Pages: Median: 358
- Publisher: Springer
- Publish Date: 2013
- Publish Location: Berlin
“Implementation and application of automata” Subjects and Themes:
- Subjects: ➤ Machine theory - Congresses - Robotics - Automat (Automatentheorie) - Theoretische Informatik - Information retrieval - Information organization - Computer science - Data structures (Computer science) - Computer software - Information storage and retrieval systems - Bioinformatics - Computation by Abstract Devices - Algorithm Analysis and Problem Complexity - Mathematical Logic and Formal Languages - Computational Biology/Bioinformatics - Data Structures
Edition Identifiers:
- The Open Library ID: OL31012859M
- Online Computer Library Center (OCLC) ID: 861569710
- Library of Congress Control Number (LCCN): 2013941377
- All ISBNs: 9783642392733 - 3642392741 - 9783642392740 - 3642392733
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Implementation and application of automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Frontiers in Algorithmics
By FAW 2009 (2009 Hefei University of Technology)

“Frontiers in Algorithmics” Metadata:
- Title: Frontiers in Algorithmics
- Author: ➤ FAW 2009 (2009 Hefei University of Technology)
- Language: English
- Number of Pages: Median: 372
- Publisher: Springer
- Publish Date: 2009
- Publish Location: New York - Berlin
“Frontiers in Algorithmics” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Algorithmus - Theoretische Informatik - Kongress - Congresses - Computational complexity - Algorithms - Computer science - Software engineering - Data mining - Computer networks - Computer software
- Places: Hefei <2009>
Edition Identifiers:
- The Open Library ID: OL25248807M
- Online Computer Library Center (OCLC) ID: 401153788
- Library of Congress Control Number (LCCN): 2009938838
- All ISBNs: 9783642022692 - 3642022693
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 Frontiers in Algorithmics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Theoretische Informatik (German Edition)
By Juraj Hromkovic

“Theoretische Informatik (German Edition)” Metadata:
- Title: ➤ Theoretische Informatik (German Edition)
- Author: Juraj Hromkovic
- Number of Pages: Median: 420
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 2007
“Theoretische Informatik (German Edition)” Subjects and Themes:
- Subjects: 0 Gesamtdarstellung - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL26766012M
- All ISBNs: 3835100432 - 9783835100435
Access and General Info:
- First Year Published: 2007
- 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 Theoretische Informatik (German Edition) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Mathematical And Engineering Methods In Computer Science 7th International Doctoral Workshop Memics 2011 Lednice Czech Republic October 1416 2011 Revised Selected Papers
By Jan Bouda

“Mathematical And Engineering Methods In Computer Science 7th International Doctoral Workshop Memics 2011 Lednice Czech Republic October 1416 2011 Revised Selected Papers” Metadata:
- Title: ➤ Mathematical And Engineering Methods In Computer Science 7th International Doctoral Workshop Memics 2011 Lednice Czech Republic October 1416 2011 Revised Selected Papers
- Author: Jan Bouda
- Publisher: Springer
- Publish Date: 2012
“Mathematical And Engineering Methods In Computer Science 7th International Doctoral Workshop Memics 2011 Lednice Czech Republic October 1416 2011 Revised Selected Papers” Subjects and Themes:
- Subjects: ➤ Informatik - Congresses - Computer science - Software engineering - Mathematics - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL26060807M
- Library of Congress Control Number (LCCN): 2011944974
- All ISBNs: 9783642259289 - 3642259286
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 Mathematical And Engineering Methods In Computer Science 7th International Doctoral Workshop Memics 2011 Lednice Czech Republic October 1416 2011 Revised Selected Papers at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Algorithmic language and program development
By Friedrich Ludwig Bauer

“Algorithmic language and program development” Metadata:
- Title: ➤ Algorithmic language and program development
- Author: Friedrich Ludwig Bauer
- Language: English
- Number of Pages: Median: 497
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: Berlin - New York
“Algorithmic language and program development” Subjects and Themes:
- Subjects: ➤ Computer programming - Programming languages (Electronic computers) - Programmation (Informatique) - Langages de programmation - Algorithmus - Programmierung - Softwareentwicklung - Theoretische Informatik - Langage programmation - Programmation linéaire - Algorithmes
Edition Identifiers:
- The Open Library ID: OL3490602M
- Online Computer Library Center (OCLC) ID: 8589213
- Library of Congress Control Number (LCCN): 82010364
- All ISBNs: 0387111484 - 9780387111483
Access and General Info:
- First Year Published: 1982
- 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 language and program development at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Fundamentals of Computation Theory
By Mirosław Kutyłowski

“Fundamentals of Computation Theory” Metadata:
- Title: ➤ Fundamentals of Computation Theory
- Author: Mirosław Kutyłowski
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Fundamentals of Computation Theory” Subjects and Themes:
- Subjects: ➤ Logic design - Computational complexity - Computer science - Computer software - Congresses - Theoretische Informatik - Kongress - Machine theory
Edition Identifiers:
- The Open Library ID: OL25548008M
- Online Computer Library Center (OCLC) ID: 428028151
- Library of Congress Control Number (LCCN): 2009931292
- All ISBNs: 3642034098 - 364203408X - 9783642034084 - 9783642034091
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 Fundamentals of Computation Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Theoretical Aspects of Computing - ICTAC 2009
By Martin Leucker

“Theoretical Aspects of Computing - ICTAC 2009” Metadata:
- Title: ➤ Theoretical Aspects of Computing - ICTAC 2009
- Author: Martin Leucker
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Theoretical Aspects of Computing - ICTAC 2009” Subjects and Themes:
- Subjects: ➤ Data processing - Computer science - Software engineering - Algebra - Information theory - Computer software - Electronic data processing - Congresses - Model Checking - Kongress - Nebenläufigkeit - Softwareentwicklung - Entwurfsmuster - Formale Methode - Systementwicklung - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL25554976M
- Online Computer Library Center (OCLC) ID: 428028161
- Library of Congress Control Number (LCCN): 2009931537
- All ISBNs: 3642034667 - 9783642034664 - 9783642034657 - 3642034659
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 Theoretical Aspects of Computing - ICTAC 2009 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Mathematical foundations of computer science 2009
By Symposium on Mathematical Foundations of Computer Science (1972- ) (34th 2009 Novy Smokovec, Slovakia)

“Mathematical foundations of computer science 2009” Metadata:
- Title: ➤ Mathematical foundations of computer science 2009
- Author: ➤ Symposium on Mathematical Foundations of Computer Science (1972- ) (34th 2009 Novy Smokovec, Slovakia)
- Language: English
- Number of Pages: Median: 760
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin - New York
“Mathematical foundations of computer science 2009” Subjects and Themes:
- Subjects: ➤ Machine theory - Congresses - Algorithms - Computable functions - Computer programming - Theoretische Informatik - Kongress - Logic design - Computer science - Data structures (Computer science) - Computer software
- Places: Starý Smokovec <2009>
Edition Identifiers:
- The Open Library ID: OL25092180M
- Online Computer Library Center (OCLC) ID: 436909826
- Library of Congress Control Number (LCCN): 2009932264
- All ISBNs: 3642038158 - 9783642038150
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 Mathematical foundations of computer science 2009 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Programs, proofs, processes
By Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)

“Programs, proofs, processes” Metadata:
- Title: Programs, proofs, processes
- Author: ➤ Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
- Language: English
- Number of Pages: Median: 450
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Programs, proofs, processes” Subjects and Themes:
- Subjects: ➤ Computational complexity - Berechenbarkeit - Computer science - Mathematische Logik - Congresses - Computable functions - Beweistheorie - Mathematics - Theoretische Informatik - Prozessalgebra - Berechnungskomplexität
Edition Identifiers:
- The Open Library ID: OL25321476M
- Online Computer Library Center (OCLC) ID: 646006859
- Library of Congress Control Number (LCCN): 2010929188
- All ISBNs: 9783642139611 - 3642139612
Access and General Info:
- First Year Published: 2010
- 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 Programs, proofs, processes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Computer science logic
By CSL 2010 (2010 Brno, Czech Republic)

“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ CSL 2010 (2010 Brno, Czech Republic)
- Language: English
- Number of Pages: Median: 546
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - Computational logic - Logik - Theoretische Informatik - Logische Programmierung - Programmierlogik - Logic design - Software engineering - Computer science - Artificial intelligence - Computer software - Logic - Logic programming
- Places: Brünn <2010>
Edition Identifiers:
- The Open Library ID: OL25343335M
- Online Computer Library Center (OCLC) ID: 657597133
- Library of Congress Control Number (LCCN): 2010932191
- All ISBNs: 9783642152047 - 364215204X
Access and General Info:
- First Year Published: 2010
- 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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Tools and algorithms for the construction and analysis of systems
By TACAS 2010 (2010 Paphos, Cyprus)

“Tools and algorithms for the construction and analysis of systems” Metadata:
- Title: ➤ Tools and algorithms for the construction and analysis of systems
- Author: ➤ TACAS 2010 (2010 Paphos, Cyprus)
- Language: English
- Number of Pages: Median: 468
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:
- Subjects: ➤ Development - Model Checking - Congresses - System design - System analysis - Softwareentwicklung - Computer software - Theoretische Informatik - Systementwicklung - Programmanalyse - Logic design - Computer networks - Artificial intelligence - Software engineering - Computer science
Edition Identifiers:
- The Open Library ID: OL25296754M
- Online Computer Library Center (OCLC) ID: 586999181
- Library of Congress Control Number (LCCN): 2010921913
- All ISBNs: 3642120016 - 9783642120015
Access and General Info:
- First Year Published: 2010
- 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 Tools and algorithms for the construction and analysis of systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Unconventional Computation
By Cristian Calude

“Unconventional Computation” Metadata:
- Title: Unconventional Computation
- Author: Cristian Calude
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Unconventional Computation” Subjects and Themes:
- Subjects: ➤ Electronic data processing - Bioinformatics - Computer science - Computer software - Soft computing - Congresses - Analogrechner - Kongress - Angewandte Informatik - Soft Computing - Theoretische Informatik - Zellularer Automat
Edition Identifiers:
- The Open Library ID: OL25560743M
- Online Computer Library Center (OCLC) ID: 428028447
- Library of Congress Control Number (LCCN): 2009933350
- All ISBNs: 3642037453 - 9783642037450 - 3642037445 - 9783642037443
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 Unconventional Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Algebra and Coalgebra in Computer Science
By Alexander Kurz

“Algebra and Coalgebra in Computer Science” Metadata:
- Title: ➤ Algebra and Coalgebra in Computer Science
- Author: Alexander Kurz
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Algebra and Coalgebra in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic design - Computational complexity - Computer science - Data processing - Algebra - Congresses - Mathematics - Formale Methode - Kongress - Theoretische Informatik - Koalgebra - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL25544672M
- Online Computer Library Center (OCLC) ID: 428028788
- Library of Congress Control Number (LCCN): 2009932885
- All ISBNs: 3642037402 - 3642037410 - 9783642037405 - 9783642037412
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 Algebra and Coalgebra in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Computer science logic
By CSL 2009 (2009 Coimbra, Portugal)

“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ CSL 2009 (2009 Coimbra, Portugal)
- Language: English
- Number of Pages: Median: 565
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin - New York
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Kongress - Congresses - Computational logic - Programmierlogik - Theoretische Informatik - Logische Programmierung - Logik - Logic, symbolic and mathematical
- Places: Coimbra <2009>
Edition Identifiers:
- The Open Library ID: OL25201065M
- Online Computer Library Center (OCLC) ID: 436029031
- Library of Congress Control Number (LCCN): 2009933208
- All ISBNs: 3642040268 - 9783642040269
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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Algorithmische Konzepte der Informatik
By Juraj Hromkovic

“Algorithmische Konzepte der Informatik” Metadata:
- Title: ➤ Algorithmische Konzepte der Informatik
- Author: Juraj Hromkovic
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 2001
- Publish Location: Wiesbaden
“Algorithmische Konzepte der Informatik” Subjects and Themes:
- Subjects: Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL27015980M
- Online Computer Library Center (OCLC) ID: 863876425
- All ISBNs: 3322911314 - 9783322911315
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 Algorithmische Konzepte der Informatik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Fete of combinatorics and computer science
By G. Katona, A. Schrijver and T. Szőnyi

“Fete of combinatorics and computer science” Metadata:
- Title: ➤ Fete of combinatorics and computer science
- Authors: G. KatonaA. SchrijverT. Szőnyi
- Language: English
- Number of Pages: Median: 365
- Publisher: ➤ Springer - Janos Bolyai Mathematical society
- Publish Date: 2010
- Publish Location: Budapest - New York - Berlin
“Fete of combinatorics and computer science” Subjects and Themes:
- Subjects: ➤ Mathematics - Theoretische Informatik - Computer science - Kombinatorik - Combinatorial analysis - Computational complexity - Number theory - Computer science, mathematics
- Places: Keszthely <2008>
Edition Identifiers:
- The Open Library ID: OL25343285M
- Online Computer Library Center (OCLC) ID: 646114230
- Library of Congress Control Number (LCCN): 2010928477
- All ISBNs: 9639453129 - 364213579X - 9783642135798 - 9789639453128
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 Fete of combinatorics and computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Computer Science - Theory and Applications
By Anna Frid

“Computer Science - Theory and Applications” Metadata:
- Title: ➤ Computer Science - Theory and Applications
- Author: Anna Frid
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Computer Science - Theory and Applications” Subjects and Themes:
- Subjects: ➤ Logic design - Information theory - Coding theory - Computer science - Computer software - Congresses - Berechnungstheorie - Kongress - Theoretische Informatik - Anwendung
Edition Identifiers:
- The Open Library ID: OL25535620M
- Online Computer Library Center (OCLC) ID: 430111521 - 455211217 - 428028137
- Library of Congress Control Number (LCCN): 2009931111
- All ISBNs: 9783642033513 - 3642033504 - 3642033512 - 9783642033506
Access and General Info:
- First Year Published: 2009
- 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 Computer Science - Theory and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Computing and Combinatorics
By Xiaodong Hu

“Computing and Combinatorics” Metadata:
- Title: Computing and Combinatorics
- Author: Xiaodong Hu
- Language: English
- Number of Pages: Median: 680
- Publisher: ➤ Springer-Verlag Berlin Heidelberg
- Publish Date: 2008
- Publish Location: Berlin, Heidelberg
“Computing and Combinatorics” Subjects and Themes:
- Subjects: ➤ Computational complexity - Computer graphics - Algorithms - Data structures (Computer science) - Computer software - Computer science - Congresses - Combinatorial analysis - Berechenbarkeit - Kombinatorik - Theoretische Informatik
Edition Identifiers:
- The Open Library ID: OL25543653M
- Online Computer Library Center (OCLC) ID: 232569749
- Library of Congress Control Number (LCCN): 2008929349
- All ISBNs: 3540697330 - 9783540697336 - 9783540697329 - 3540697322
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 Computing and Combinatorics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Mathematical foundations of computer science 2006
By Symposium on Mathematical Foundations of Computer Science (1972- ) (31st 2006 Stará Lesná, Slovakia)

“Mathematical foundations of computer science 2006” Metadata:
- Title: ➤ Mathematical foundations of computer science 2006
- Author: ➤ Symposium on Mathematical Foundations of Computer Science (1972- ) (31st 2006 Stará Lesná, Slovakia)
- Language: English
- Number of Pages: Median: 814
- Publisher: Springer
- Publish Date: 2006
- Publish Location: Berlin
“Mathematical foundations of computer science 2006” Subjects and Themes:
- Subjects: ➤ Congresses - Machine theory - Algorithms - Computer programming - Computable functions - Logic design - Computational complexity - Computer science - Data structures (Computer science) - Computer software - COMPUTERS - Mathématique discrète - Congrès - Computer Literacy - Data Processing - Mathématiques - Mathematics - Information Technology - Engineering & Applied Sciences - Informatique - Reference - General - Hardware - Theoretische Informatik - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL22740832M
- Online Computer Library Center (OCLC) ID: 505800233 - 71008346
- Library of Congress Control Number (LCCN): 2006930918 - 2005931473
- All ISBNs: 9783540377917 - 3540377913
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mathematical foundations of computer science 2006 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Mathematical foundations of computer science 1994

“Mathematical foundations of computer science 1994” Metadata:
- Title: ➤ Mathematical foundations of computer science 1994
- Language: English
- Number of Pages: Median: 628
- Publisher: Springer
- Publish Date: 1994
“Mathematical foundations of computer science 1994” Subjects and Themes:
- Subjects: Theoretische Informatik - Computer science - Mathematics - Congresses
- Places: Kaschau <1994>
Edition Identifiers:
- The Open Library ID: OL10154499M
- Online Computer Library Center (OCLC) ID: 31178204
- All ISBNs: 0387583386 - 9780387583389
Access and General Info:
- First Year Published: 1994
- 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 1994 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Foundations of software technology and theoretical computer science

“Foundations of software technology and theoretical computer science” Metadata:
- Title: ➤ Foundations of software technology and theoretical computer science
- Language: English
- Number of Pages: Median: 372
- Publisher: Springer
- Publish Date: 2003
“Foundations of software technology and theoretical computer science” Subjects and Themes:
- Subjects: Theoretische Informatik - Programmierung
Edition Identifiers:
- The Open Library ID: OL9053702M
- All ISBNs: 9783540002253 - 3540002251
First Setence:
"In foundational research some two decades ago, Jean-Jacques Lévy attempted to characterize formally what an optimally efficient reduction strategy for the -calculus would look like, even if the technology for its implementation was at the time lacking [13]."
Access and General Info:
- First Year Published: 2003
- 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 Foundations of software technology and theoretical computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.