Explore: Berechenbarkeit
Discover books, insights, and more — all in one place.
Learn more about Berechenbarkeit with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “berechenbarkeit”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
By Hans Hermes

“Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit” Metadata:
- Title: ➤ Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
- Author: Hans Hermes
- Languages: ger - English
- Number of Pages: Median: 246
- Publisher: ➤ Springer London, Limited - Academic Press - Springer-Verlag - Springer
- Publish Date: ➤ 1961 - 1965 - 1969 - 1971 - 1978 - 2013
- Publish Location: Berlin - New York
“Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit” Subjects and Themes:
- Subjects: ➤ Algorithms - Computable functions - Gödel's theorem - Recursive functions - Berechenbarkeit - Fonctions récursives - Mathématiques - Rekursive Funktion - Entscheidbarkeit - Algorithmentheorie - Aufzählbarkeit - Logique
Edition Identifiers:
- The Open Library ID: ➤ OL37248253M - OL21523359M - OL21776179M - OL5844448M - OL16505377M - OL5941871M - OL22352485M - OL5704034M - OL9876814M - OL16505366M - OL4910814M
- Online Computer Library Center (OCLC) ID: 1023868 - 527054 - 10949016 - 47207
- Library of Congress Control Number (LCCN): 76089552 - 70144764 - 65012556 - 62001669
- All ISBNs: ➤ 3662014629 - 9783540053347 - 3540088695 - 9783662014622 - 9783540088691 - 3540053344
Access and General Info:
- First Year Published: 1961
- 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 Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Computability with PASCAL
By John S. Mallozzi

“Computability with PASCAL” Metadata:
- Title: Computability with PASCAL
- Author: John S. Mallozzi
- Language: English
- Number of Pages: Median: 193
- Publisher: Prentice-Hall
- Publish Date: 1984
- Publish Location: ➤ Englewood Cliffs. N.J - Englewood Cliffs, N.J
“Computability with PASCAL” Subjects and Themes:
- Subjects: ➤ Computable functions - Data processing - Pascal (Computer program language) - Recursive functions - Informatique - Berechenbarkeit - Fonctions récursives - PASCAL (Langage de programmation) - PASCAL - Fonctions calculables - Pascal (computer program language)
Edition Identifiers:
- The Open Library ID: OL3181786M - OL21361783M
- Library of Congress Control Number (LCCN): 83024450
- All ISBNs: 0131644432 - 9780131644434
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 Computability with PASCAL at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Computability and decidability
By Jacques Loeckx

“Computability and decidability” Metadata:
- Title: Computability and decidability
- Author: Jacques Loeckx
- Language: English
- Number of Pages: Median: 76
- Publisher: Springer
- Publish Date: 1972
- Publish Location: Berlin - New York
“Computability and decidability” Subjects and Themes:
- Subjects: ➤ Turing machines - Sequential machine theory - Machines séquentielles (Théorie) - Machines Turing - Berechenbarkeit - Entscheidbarkeit - SEQUENCING
Edition Identifiers:
- The Open Library ID: OL5301125M
- Online Computer Library Center (OCLC) ID: 402547
- Library of Congress Control Number (LCCN): 72082761
- All ISBNs: 0387058699 - 9780387058696
Access and General Info:
- First Year Published: 1972
- 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 Computability and decidability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Logique et fondements de l'informatique
By Richard Lassaigne

“Logique et fondements de l'informatique” Metadata:
- Title: ➤ Logique et fondements de l'informatique
- Author: Richard Lassaigne
- Language: fre
- Number of Pages: Median: 248
- Publisher: Hermès
- Publish Date: 1993
- Publish Location: Paris
“Logique et fondements de l'informatique” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Computer science - Mathematics - Lambda calculus - Recursive functions - Logic programming - Computable functions - First-order logic - Incomplétude - Indécidabilité - Fonction récursive - Programmation en logique - Complétude - Déduction - Calcul propositionnel - Lambda calcul - Calculabilité - Logique 1er ordre - Logique symbolique et mathématique - Informatique - Mathématiques - Lambda-calcul - Fonctions récursives - Programmation logique - Fonctions calculables - Logique du premier ordre - Berechenbarkeit - Lambda-Kalkül - Logik - Stufe 1 - Logique - Manuel - Calcul lambda
Edition Identifiers:
- The Open Library ID: OL38567539M
- Online Computer Library Center (OCLC) ID: 28985507
- All ISBNs: 9782866013806 - 2866013808
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 Logique et fondements de l'informatique at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Unsolvable classes of quantificational formulas
By Harry R. Lewis

“Unsolvable classes of quantificational formulas” Metadata:
- Title: ➤ Unsolvable classes of quantificational formulas
- Author: Harry R. Lewis
- Language: English
- Number of Pages: Median: 198
- Publisher: Addison-Wesley Pub. Co.
- Publish Date: 1979
- Publish Location: Reading, Mass
“Unsolvable classes of quantificational formulas” Subjects and Themes:
- Subjects: ➤ Combinatorial analysis - Computable functions - Unsolvability (Mathematical logic) - Berechenbarkeit - Non-resolubilite (Logique mathematique) - Analyse combinatoire - Unlosbarkeit - Non-resolubilite (logique mathematique) - Fonctions calculables
Edition Identifiers:
- The Open Library ID: OL4413813M
- Online Computer Library Center (OCLC) ID: 5219400
- Library of Congress Control Number (LCCN): 79017573
- All ISBNs: 0201040697 - 9780201040692
Access and General Info:
- First Year Published: 1979
- 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 Unsolvable classes of quantificational formulas at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Fundamentals of computation theory
By International FCT-Conference (1st 1977 Poznán, Poland and Kórnik, Poland)

“Fundamentals of computation theory” Metadata:
- Title: ➤ Fundamentals of computation theory
- Author: ➤ International FCT-Conference (1st 1977 Poznán, Poland and Kórnik, Poland)
- Language: English
- Number of Pages: Median: 542
- Publisher: Springer-Verlag
- Publish Date: 1977
- Publish Location: Berlin - New York
“Fundamentals of computation theory” Subjects and Themes:
- Subjects: ➤ Categories (Mathematics) - Computational complexity - Congresses - Machine theory - Recursion theory - Théorie catégorie - Informatique théorique - Complexité - Congrès - Décidabilité - Logik - Berechenbarkeit - Théorie nombre - Analyse combinatoire - Algèbre universelle - Recursivité, Théorie de la - Théorie jeu - Automatentheorie - Complexité de calcul (Informatique)
Edition Identifiers:
- The Open Library ID: OL4546214M
- Library of Congress Control Number (LCCN): 77014022
- All ISBNs: 9780387084428 - 0387084428
Access and General Info:
- First Year Published: 1977
- 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 Fundamentals of computation theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Discrete structures, logic, and computability
By James L. Hein

“Discrete structures, logic, and computability” Metadata:
- Title: ➤ Discrete structures, logic, and computability
- Author: James L. Hein
- Language: English
- Number of Pages: Median: 943
- Publisher: ➤ World Headquarters/Jones & Bartlett Learning - Jones & Bartlett Learning, LLC - Jones and Bartlett Publishers - Jones & Bartlett Learning - Jones and Bartlett
- Publish Date: ➤ 1994 - 1995 - 2002 - 2010 - 2015 - 2016
- Publish Location: ➤ Sudbury, Mass - Boston - Burlington, MA
“Discrete structures, logic, and computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Computer science - Data structures (Computer science) - Logic programming - Logic, Symbolic and mathematical - Mathematics - Symbolic and mathematical Logic - Traitement automatique des données - Mathematische Logik - Automatische bewijsvoering - Berechenbarkeit - Diskrete Mathematik - Berekenbaarheid - Logisch programmeren - Computer science, mathematics - Computer science--mathematics - Data structures (computer science) - Logic, symbolic and mathematical - Qa76.9.m35
Edition Identifiers:
- The Open Library ID: ➤ OL1104046M - OL1435849M - OL30395820M - OL36307860M - OL40246309M - OL18386190M - OL23150212M - OL28582566M
- Online Computer Library Center (OCLC) ID: 49887666 - 910073074 - 290423157
- Library of Congress Control Number (LCCN): 93048045 - 2015019684 - 94029101 - 2008055744 - 2001038122
- All ISBNs: ➤ 9780867204773 - 9789380108391 - 9780763718435 - 0867204672 - 0763718432 - 9780763772062 - 086720477X - 0763772062 - 1284070409 - 9781284070408 - 1449615279 - 9781284099867 - 9780867204674 - 9380108397 - 1284099865 - 9781449615277
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 Discrete structures, logic, and computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Introduction to Languages and the Theory of Computation
By John C. Martin

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

“Computing Nature” Metadata:
- Title: Computing Nature
- Authors: Gordana Dodig-CrnkovicRaffaela Giovagnoli
- Language: English
- Number of Pages: Median: 269
- Publisher: ➤ Springer London, Limited - Brand: Springer - Springer Berlin / Heidelberg - Springer
- Publish Date: 2013 - 2015
“Computing Nature” Subjects and Themes:
- Subjects: ➤ Natural computation - Berechenbarkeit - Künstliche Intelligenz - Soft Computing - Turing-Maschine - Turing-System - Engineering - Philosophy of mind - Information theory - Artificial intelligence - Computational intelligence - Electronic data processing
Edition Identifiers:
- The Open Library ID: OL28303691M - OL37200023M - OL35505079M
- Library of Congress Control Number (LCCN): 2013933717
- All ISBNs: ➤ 3642372252 - 9783642428708 - 3642428703 - 9783642372247 - 3642372244 - 9783642372254
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 Computing Nature at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Three Views of Logic
Mathematics, Philosophy, and Computer Science
By Donald W. Loveland, Richard E. Hodel and S G Sterrett

“Three Views of Logic” Metadata:
- Title: Three Views of Logic
- Authors: Donald W. LovelandRichard E. HodelS G Sterrett
- Language: English
- Number of Pages: Median: 339
- Publisher: Princeton University Press
- Publish Date: 2014
“Three Views of Logic” Subjects and Themes:
- Subjects: ➤ Logic - Proof theory - Computable functions - Nonclassical mathematical logic - Berechenbarkeit - Beweistheorie - Nichtklassische Logik
Edition Identifiers:
- The Open Library ID: OL25629805M - OL27559914M - OL29230598M
- Online Computer Library Center (OCLC) ID: 861357633
- Library of Congress Control Number (LCCN): 2013949122
- All ISBNs: ➤ 1306282594 - 9781400848751 - 9781306282598 - 140084875X - 0691160449 - 9780691160443
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 Three Views of Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Computability, an introduction to recursive function theory
By Nigel Cutland

“Computability, an introduction to recursive function theory” Metadata:
- Title: ➤ Computability, an introduction to recursive function theory
- Author: Nigel Cutland
- Language: English
- Number of Pages: Median: 251
- Publisher: Cambridge University Press
- Publish Date: 1980
- Publish Location: Cambridge [Eng.] - New York
“Computability, an introduction to recursive function theory” Subjects and Themes:
- Subjects: ➤ Computable functions - Recursion theory - Berechenbarkeit - Rekursionstheorie - Recursieve functies - Rekursive Funktion - Logica - Recursivité, Théorie de la - Fonctions calculables - Recursive functions - Qa9.59 .c87
Edition Identifiers:
- The Open Library ID: OL4427288M
- Online Computer Library Center (OCLC) ID: 5170205
- Library of Congress Control Number (LCCN): 79051823
- All ISBNs: 0521223849 - 9780521223843 - 0521294657 - 9780521294652
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 Computability, an introduction to recursive function theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Computing 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.
13Fields 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.
14Foundations of computational mathematics
By Felipe Cucker and Michael Shub

“Foundations of computational mathematics” Metadata:
- Title: ➤ Foundations of computational mathematics
- Authors: Felipe CuckerMichael Shub
- Language: English
- Number of Pages: Median: 441
- Publisher: ➤ Springer - Springer-Verlag Telos
- Publish Date: 1997
- Publish Location: New York - Berlin
“Foundations of computational mathematics” Subjects and Themes:
- Subjects: ➤ Numerical analysis - Congresses - Computer science - Informatique - Berechenbarkeit - Congrès - Numerieke wiskunde - Numerische Mathematik - Analyse numérique - Topology - Geometry - Number theory - Algebra - Mathematics - Global analysis (Mathematics) - Computer software - Algorithm Analysis and Problem Complexity - Analysis
Edition Identifiers:
- The Open Library ID: OL998808M - OL9061946M
- Online Computer Library Center (OCLC) ID: 35961347
- Library of Congress Control Number (LCCN): 96037588
- All ISBNs: 9783540616474 - 3540616470
First Setence:
"Quantum chemistry aims at understanding the properties of matter through the modelling of its behaviour at a subatomic scale, where matter is described as an assembly of nuclei and electrons."
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 Foundations of computational mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Fundamentals of Computation Theory
By Lothar Budach

“Fundamentals of Computation Theory” Metadata:
- Title: ➤ Fundamentals of Computation Theory
- Author: Lothar Budach
- Language: English
- Number of Pages: Median: 553
- Publisher: Springer-Verlag - Springer
- Publish Date: 1985
“Fundamentals of Computation Theory” Subjects and Themes:
- Subjects: ➤ Machine theory - Mathematics - Computational complexity - Congresses - Computer science - Electronic data processing - Control theory - Mathematics, data processing - Théorie des automates - Congrès - Informatique - Mathématiques - Complexité de calcul (Informatique) - Informatik - Kongress - Berechenbarkeit - Fundamentele informatica - Computers
Edition Identifiers:
- The Open Library ID: OL7443543M - OL12772128M
- Online Computer Library Center (OCLC) ID: 12552289
- Library of Congress Control Number (LCCN): 85017394
- All ISBNs: 9780387156897 - 9783540156895 - 3540156895 - 0387156895
First Setence:
"The complexity class ACo, the class of languages accepted by circuits of AND and OR gates of polynomial size and constant depth, is one of the best-understood of all complexity classes."
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 Fundamentals of Computation Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Petri-Netze
By Lutz Priese

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

“Computability theory: an introduction” Metadata:
- Title: ➤ Computability theory: an introduction
- Author: Neil D. Jones
- Language: English
- Number of Pages: Median: 154
- Publisher: Academic Press
- Publish Date: 1973
- Publish Location: New York
“Computability theory: an introduction” Subjects and Themes:
- Subjects: ➤ Turing machines - Recursive functions - Computable functions - Fonctions recursives - Berechenbarkeit - Computer - Machines de Turing - Theorie
Edition Identifiers:
- The Open Library ID: OL5289562M
- Online Computer Library Center (OCLC) ID: 623268
- Library of Congress Control Number (LCCN): 72009331
- All ISBNs: 0123900506 - 9780123900500
Access and General Info:
- First Year Published: 1973
- 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 theory: an introduction at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Future Generation Information Technology
By Tai-hoon Kim

“Future Generation Information Technology” Metadata:
- Title: ➤ Future Generation Information Technology
- Author: Tai-hoon Kim
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2010
- Publish Location: Berlin, Heidelberg
“Future Generation Information Technology” Subjects and Themes:
- Subjects: ➤ Information systems - Computer science - Software engineering - Optical pattern recognition - Computer networks - Artificial intelligence - Computer software - Information technology - Electronic data processing - Computersicherheit - Telekommunikation - Kryptoanalyse - Datenverarbeitung - Energieeffizienz - Software Engineering - Berechenbarkeit - Netzwerkverwaltung - Netzwerktopologie - Drahtloses Sensorsystem - Congresses - Datenanalyse - Authentifikation
Edition Identifiers:
- The Open Library ID: OL25570236M
- Library of Congress Control Number (LCCN): 2010940214
- All ISBNs: 3642175686 - 9783642175695 - 3642175694 - 9783642175688
Author's Alternative Names:
"Tai-Hoon Kim"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 Future Generation Information Technology at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Computability theory
By S. B. Cooper

“Computability theory” Metadata:
- Title: Computability theory
- Author: S. B. Cooper
- Language: English
- Number of Pages: Median: 409
- Publisher: Chapman & Hall/CRC Press
- Publish Date: 2004
- Publish Location: Boca Raton, Fla
“Computability theory” Subjects and Themes:
- Subjects: ➤ Computable functions - Fonctions calculables - MATHEMATICS - General - Berechenbarkeit - Mathematische Logik - Recursie - Complexiteit
Edition Identifiers:
- The Open Library ID: OL22043684M
- Online Computer Library Center (OCLC) ID: 52860108 - 1003289717
- Library of Congress Control Number (LCCN): 2003055823
- All ISBNs: 1584882379 - 9781584882374
Access and General Info:
- First Year Published: 2004
- 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 Computability theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Berechenbarkeit, Komplexität, Logik
By Egon Börger

“Berechenbarkeit, Komplexität, Logik” Metadata:
- Title: ➤ Berechenbarkeit, Komplexität, Logik
- Author: Egon Börger
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1986
- Publish Location: Wiesbaden
“Berechenbarkeit, Komplexität, Logik” Subjects and Themes:
- Subjects: Algorithmus - Komplexität (Mathematik) - Mathematische Logik - Prädikatenlogik - Berechenbarkeit
Edition Identifiers:
- The Open Library ID: OL27020591M
- Online Computer Library Center (OCLC) ID: 860183649
- All ISBNs: 3663142132 - 9783322877772 - 9783663142133 - 3322877779
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 Berechenbarkeit, Komplexität, Logik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Nature Of Computation Logic Algorithms Applications
By Paola Bonizzoni

“Nature Of Computation Logic Algorithms Applications” Metadata:
- Title: ➤ Nature Of Computation Logic Algorithms Applications
- Author: Paola Bonizzoni
- Number of Pages: Median: 446
- Publisher: ➤ Springer-Verlag Berlin and Heidelberg GmbH &
- Publish Date: 2013
“Nature Of Computation Logic Algorithms Applications” Subjects and Themes:
- Subjects: ➤ Computable functions - Congresses - Computer science - Mathematics - Berechenbarkeit - Berechnungskomplexität - Berechnungstheorie - Computer science, mathematics - Computational complexity - Logic, symbolic and mathematical - Computer software - Logic design - Symbolic and mathematical Logic - Computation by Abstract Devices - Algorithm Analysis and Problem Complexity - Discrete Mathematics in Computer Science - Math Applications in Computer Science - Logics and Meanings of Programs - Mathematical Logic and Foundations
Edition Identifiers:
- The Open Library ID: OL26189204M
- Library of Congress Control Number (LCCN): 2013940615
- All ISBNs: 9783642390524 - 3642390528
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 Nature Of Computation Logic Algorithms Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Programs, 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.
23Infinity in logic and computation
By ILC 2007 (2007 Cape Town, South Africa)

“Infinity in logic and computation” Metadata:
- Title: ➤ Infinity in logic and computation
- Author: ➤ ILC 2007 (2007 Cape Town, South Africa)
- Language: English
- Number of Pages: Median: 137
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Berlin
“Infinity in logic and computation” Subjects and Themes:
- Subjects: ➤ Machine theory - Computational complexity - Symbolic and mathematical Logic - Berechenbarkeit - Congresses - Unendlichkeit - Logik - Logic - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL25160967M
- Online Computer Library Center (OCLC) ID: 428028081
- Library of Congress Control Number (LCCN): 2009936649
- All ISBNs: 3642030912 - 9783642030918
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 Infinity in logic and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Theory and applications of models of computation
By TAMC 2010 (2010 Prague, Czech Republic)

“Theory and applications of models of computation” Metadata:
- Title: ➤ Theory and applications of models of computation
- Author: ➤ TAMC 2010 (2010 Prague, Czech Republic)
- Language: English
- Number of Pages: Median: 480
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin - New York
“Theory and applications of models of computation” Subjects and Themes:
- Subjects: Computational complexity - Congresses - Computable functions - Berechenbarkeit
- Places: Prag <2010>
Edition Identifiers:
- The Open Library ID: OL25313814M
- Online Computer Library Center (OCLC) ID: 635376539
- Library of Congress Control Number (LCCN): 2010927811
- All ISBNs: 9783642135613 - 3642135617
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 Theory and applications of models of computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Computability in analysis and physics
By Marian B. Pour-El

“Computability in analysis and physics” Metadata:
- Title: ➤ Computability in analysis and physics
- Author: Marian B. Pour-El
- Language: English
- Number of Pages: Median: 206
- Publisher: Springer Verlag
- Publish Date: 1989
- Publish Location: Berlin - New York
“Computability in analysis and physics” Subjects and Themes:
- Subjects: ➤ Computable functions - Mathematical analysis - Physics - Fonctions calculables - Analyse mathématique - Physique - Mathematische Physik - Analysis - Berechenbarkeit - Berechenbare Funktion - Berekenbaarheid - Wiskundige logica - Natuurkunde - Recursive functions - Banach spaces
Edition Identifiers:
- The Open Library ID: OL2047650M
- Online Computer Library Center (OCLC) ID: 18411954
- Library of Congress Control Number (LCCN): 88024880
- All ISBNs: 9780387500355 - 0387500359
Access and General Info:
- First Year Published: 1989
- 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 Computability in analysis and physics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Future generation information technology
By FGIT 2009 (2009 Cheju Island, Korea)

“Future generation information technology” Metadata:
- Title: ➤ Future generation information technology
- Author: ➤ FGIT 2009 (2009 Cheju Island, Korea)
- Language: English
- Number of Pages: Median: 318
- Publisher: Springer
- Publish Date: 2009
- Publish Location: New York - Berlin
“Future generation information technology” Subjects and Themes:
- Subjects: ➤ Software engineering - Computersicherheit - Telekommunikation - Kryptoanalyse - Datenverarbeitung - Energieeffizienz - Software Engineering - Berechenbarkeit - Electronic data processing - Netzwerkverwaltung - Netzwerktopologie - Drahtloses Sensorsystem - Congresses - Authentifikation - Datenanalyse - Information technology - Routing
Edition Identifiers:
- The Open Library ID: OL25279434M
- Online Computer Library Center (OCLC) ID: 475663953
- Library of Congress Control Number (LCCN): 2009939138
- All ISBNs: 9783642105081 - 3642105084
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Future generation information technology at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Computing 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.
28Berechenbarkeit Komplexität Logik
By Egon Börger

“Berechenbarkeit Komplexität Logik” Metadata:
- Title: ➤ Berechenbarkeit Komplexität Logik
- Author: Egon Börger
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1992
- Publish Location: Wiesbaden
“Berechenbarkeit Komplexität Logik” Subjects and Themes:
- Subjects: Prädikatenlogik - Berechenbarkeit
Edition Identifiers:
- The Open Library ID: OL27020590M
- Online Computer Library Center (OCLC) ID: 863960721
- All ISBNs: 3322832279 - 9783322832276
Access and General Info:
- First Year Published: 1992
- 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 Berechenbarkeit Komplexität Logik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Computability in Analysis and Physics

“Computability in Analysis and Physics” Metadata:
- Title: ➤ Computability in Analysis and Physics
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 1989
- Publish Location: Berlin, Heidelberg
“Computability in Analysis and Physics” Subjects and Themes:
- Subjects: Analysis - Physik - Berechenbarkeit
Edition Identifiers:
- The Open Library ID: OL27025666M
- Online Computer Library Center (OCLC) ID: 860263016
- All ISBNs: 3662217171 - 9783662217177
Access and General Info:
- First Year Published: 1989
- 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 Computability in Analysis and Physics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Sieben Wunder der Informatik
By Juraj Hromkovic

“Sieben Wunder der Informatik” Metadata:
- Title: Sieben Wunder der Informatik
- Author: Juraj Hromkovic
- Language: ger
- Number of Pages: Median: 360
- Publisher: Vieweg+Teubner
- Publish Date: 2009
- Publish Location: Wiesbaden
“Sieben Wunder der Informatik” Subjects and Themes:
- Subjects: ➤ Algorithmus - Informatik - Berechenbarkeit - Electronic data processing - Biocomputer - Quantencomputer - Unendlichkeit - Computer science - Komplexita t. - Einfu hrung - Theoretische Informatik
- Time: Geschichte
Edition Identifiers:
- The Open Library ID: OL25556593M
- Online Computer Library Center (OCLC) ID: 428198979
- All ISBNs: 3835101722 - 9783835101722
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Sieben Wunder der Informatik at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.