Explore: Fundamentele Informatica
Discover books, insights, and more — all in one place.
Learn more about Fundamentele Informatica with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “fundamentele-informatica”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Introduction 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.
2Unification
By Claude Kirchner
“Unification” Metadata:
- Title: Unification
- Author: Claude Kirchner
- Language: English
- Number of Pages: Median: 604
- Publisher: Academic Press
- Publish Date: 1991
“Unification” Subjects and Themes:
- Subjects: ➤ Abstract Algebra - Fundamentele informatica - Unificatie - Abstracte algebra's - Algèbre abstraite - Mathematics
Edition Identifiers:
- The Open Library ID: OL10072155M
- All ISBNs: 9780124095908 - 0124095909
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Unification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Proceedings of the 35th Annual ACM Symposium on the Theory of Computing
“Proceedings of the 35th Annual ACM Symposium on the Theory of Computing” Metadata:
- Title: ➤ Proceedings of the 35th Annual ACM Symposium on the Theory of Computing
- Publisher: Assn for Computing Machinery
- Publish Date: 2003
“Proceedings of the 35th Annual ACM Symposium on the Theory of Computing” Subjects and Themes:
- Subjects: ➤ Electronic digital computers - Congresses - Electronic data processing - Computer programming - Computational complexity - Fundamentele informatica
Edition Identifiers:
- The Open Library ID: OL12279717M
- All ISBNs: 1581136749 - 9781581136746
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 Proceedings of the 35th Annual ACM Symposium on the Theory of Computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Number theory for computing
By Song Y. Yan
“Number theory for computing” Metadata:
- Title: Number theory for computing
- Author: Song Y. Yan
- Language: English
- Number of Pages: Median: 408
- Publisher: Springer
- Publish Date: 2000 - 2002
- Publish Location: New York - Berlin
“Number theory for computing” Subjects and Themes:
- Subjects: ➤ Mathematics - Computer science - Number theory - Algorithmes - Cryptographie - Théorie nombre - Conception système informatique - Algorithmique - Fundamentele informatica - Nombres, Théorie des - Getaltheorie - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL3656275M - OL13628846M
- Online Computer Library Center (OCLC) ID: 42889770 - 49873248
- Library of Congress Control Number (LCCN): 2002510398 - 99058845
- All ISBNs: 9783540430728 - 9783540654728 - 3540430725 - 3540654720
Access and General Info:
- First Year Published: 2000
- 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 Number theory for computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Formal description techniques, VI
By IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (6th 1993 Boston, Mass.), Richard L. Tenney and Paul D. Amer
“Formal description techniques, VI” Metadata:
- Title: ➤ Formal description techniques, VI
- Authors: ➤ IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (6th 1993 Boston, Mass.)Richard L. TenneyPaul D. Amer
- Language: English
- Number of Pages: Median: 510
- Publisher: ➤ Elsevier Science Pub Co - North Holland
- Publish Date: 1994
- Publish Location: London - Amsterdam
“Formal description techniques, VI” Subjects and Themes:
- Subjects: ➤ Congresses - Computer programming - Formal languages - Networking - Network Protocols - Computer Communications & Networking - Computer Programming Languages - Computer Systems - Computers - Communications / Networking - Computer network protocols - Fundamentele informatica - Protocoles de réseaux d'ordinateurs - Congrès - Langages formels - Telecommunication systems
Edition Identifiers:
- The Open Library ID: OL10260776M - OL20782360M
- Online Computer Library Center (OCLC) ID: 31010065
- Library of Congress Control Number (LCCN): gb94062730
- All ISBNs: 9780444817730 - 0444817735
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal description techniques, VI at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Results and trends in theoretical computer science
By Arto Salomaa, Hermann A. Maurer, Grzegorz Rozenberg, J. Karhumaki and H. Maurer
“Results and trends in theoretical computer science” Metadata:
- Title: ➤ Results and trends in theoretical computer science
- Authors: Arto SalomaaHermann A. MaurerGrzegorz RozenbergJ. KarhumakiH. Maurer
- Language: English
- Number of Pages: Median: 445
- Publisher: Springer-Verlag - Springer
- Publish Date: 1994
- Publish Location: Berlin - New York
“Results and trends in theoretical computer science” Subjects and Themes:
- Subjects: ➤ Congresses - Computer science - Fundamentele informatica - Informatique - Informatique théorique - Cryptographie - Congrès - Teoria Da Computacao - Automate - Complexité calcul
Edition Identifiers:
- The Open Library ID: OL7447540M - OL9061252M - OL1095779M
- Online Computer Library Center (OCLC) ID: 30511338
- Library of Congress Control Number (LCCN): 94020330
- All ISBNs: 3540581316 - 9783540581314 - 9780387581316 - 0387581316
First Setence:
"Stephen A. Cook described a transformation in 1971 that can, for instance, improve program running times from exponential to linear (as functions of their input size)."
Access and General Info:
- First Year Published: 1994
- 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 Results and trends in theoretical computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award)
By Johan Torkel Håstad
“Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award)” Metadata:
- Title: ➤ Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award)
- Author: Johan Torkel Håstad
- Language: English
- Number of Pages: Median: 75
- Publisher: The MIT Press - MIT Press
- Publish Date: 1987
“Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award)” Subjects and Themes:
- Subjects: Logic circuits - Computational complexity - Fundamentele informatica - Circuits logiques - Complexité de calcul (Informatique)
Edition Identifiers:
- The Open Library ID: OL10237099M
- Online Computer Library Center (OCLC) ID: 15198225
- Library of Congress Control Number (LCCN): 86033802
- All ISBNs: 0262081679 - 9780262081672
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computational Limitations for Small Depth Circuits (ACM Doctoral Dissertation Award) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Graph-Theoretic Concepts in Computer Science
By Juraj Hromkovič
“Graph-Theoretic Concepts in Computer Science” Metadata:
- Title: ➤ Graph-Theoretic Concepts in Computer Science
- Author: Juraj Hromkovič
- Language: English
- Number of Pages: Median: 385
- Publisher: Springer
- Publish Date: 1998
“Graph-Theoretic Concepts in Computer Science” Subjects and Themes:
- Subjects: ➤ Computer Graphics - Graphes, Théorie des - Informatique - Informatik - Graph theory - Electronic data processing - Kongress - Congrès - Fundamentele informatica - Théorie des graphes - Congresses - Graphentheorie - Grafentheorie
Edition Identifiers:
- The Open Library ID: OL12778149M
- Online Computer Library Center (OCLC) ID: 40305257
- All ISBNs: 9783540651956 - 3540651950
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 Graph-Theoretic Concepts in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Fundamentals 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.
10Algorithm theory-- SWAT 2000
By Scandinavian Workshop on Algorithm Theory (7th 2000 Bergen, Norway)
“Algorithm theory-- SWAT 2000” Metadata:
- Title: Algorithm theory-- SWAT 2000
- Author: ➤ Scandinavian Workshop on Algorithm Theory (7th 2000 Bergen, Norway)
- Language: English
- Number of Pages: Median: 455
- Publisher: Springer
- Publish Date: 2000
- Publish Location: New York - London - Berlin
“Algorithm theory-- SWAT 2000” Subjects and Themes:
- Subjects: ➤ Congresses - Algorithms - Computational complexity - Algorithmes - Algoritmos e estruturas de dados - Congrès - Algoritmen - Fundamentele informatica - Complexité de calcul (Informatique) - Computer science - Computer networks - Data structures (Computer science) - Computer software - Computer graphics - Combinatorial analysis
Edition Identifiers:
- The Open Library ID: OL18140496M - OL20765926M
- Online Computer Library Center (OCLC) ID: 44641543 - 44737242
- All ISBNs: 9783540676904 - 3540676902
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 Algorithm theory-- SWAT 2000 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Aspects and prospects of theoretical computer science
By International Meeting of Young Computer Scientists (6th 1990 Smolenice, Slovakia)
“Aspects and prospects of theoretical computer science” Metadata:
- Title: ➤ Aspects and prospects of theoretical computer science
- Author: ➤ International Meeting of Young Computer Scientists (6th 1990 Smolenice, Slovakia)
- Language: English
- Number of Pages: Median: 298
- Publisher: Springer-Verlag - Springer
- Publish Date: 1990
- Publish Location: Berlin - New York
“Aspects and prospects of theoretical computer science” Subjects and Themes:
- Subjects: ➤ Computer science - Congresses - Informatique - Fundamentele informatica - Informatique théorique - Congrès
Edition Identifiers:
- The Open Library ID: OL9060552M - OL1864624M
- Online Computer Library Center (OCLC) ID: 22710870
- Library of Congress Control Number (LCCN): 90022566
- All ISBNs: 9783540534143 - 3540534148 - 9780387534145 - 0387534148
Access and General Info:
- First Year Published: 1990
- 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 Aspects and prospects of theoretical computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12LATIN 2000
By Latin American Symposium on Theoretical Informatics (4th 2000 Punta del Este, Uruguay)
“LATIN 2000” Metadata:
- Title: LATIN 2000
- Author: ➤ Latin American Symposium on Theoretical Informatics (4th 2000 Punta del Este, Uruguay)
- Language: English
- Number of Pages: Median: 484
- Publisher: Springer
- Publish Date: 2000
- Publish Location: New York - Berlin
“LATIN 2000” Subjects and Themes:
- Subjects: ➤ Computer science - Congresses - Informatique - Fundamentele informatica - Congres - Algoritmos e estruturas de dados - Information science
- Places: Latin America
Edition Identifiers:
- The Open Library ID: OL6784229M
- Online Computer Library Center (OCLC) ID: 43706565
- Library of Congress Control Number (LCCN): 00035819
- All ISBNs: 3540673067 - 9783540673064
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 LATIN 2000 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Computer algebra
By European Computer Algebra Conference (1st 1982 Marseille, France)
“Computer algebra” Metadata:
- Title: Computer algebra
- Author: ➤ European Computer Algebra Conference (1st 1982 Marseille, France)
- Language: English
- Number of Pages: Median: 301
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: Berlin
“Computer algebra” Subjects and Themes:
- Subjects: ➤ Congresses - Algorithms - Programming (Mathematics) - Data processing - Algebra - Algorithmes - Congrès - Algèbre - Informatique - Computeralgebra - Kongress - Fundamentele informatica - Symbolische logica
Edition Identifiers:
- The Open Library ID: OL20801262M
- Online Computer Library Center (OCLC) ID: 8979451
- Library of Congress Control Number (LCCN): 82240810
- All ISBNs: 3540116079 - 9783540116073
Access and General Info:
- First Year Published: 1982
- 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 algebra at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Complexity theory and cryptology
By Jorg Rothe
“Complexity theory and cryptology” Metadata:
- Title: ➤ Complexity theory and cryptology
- Author: Jorg Rothe
- Language: English
- Number of Pages: Median: 478
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Complexity theory and cryptology” Subjects and Themes:
- Subjects: ➤ Computational complexity - Cryptography - Cryptographie - Geheimschrift - Fundamentele informatica - Protection de l'information (Informatique) - Computer security - Complexiteit - Complexité de calcul (Informatique) - Complexite? de calcul (Informatique) - Computer science - Data encryption (Computer science) - Information theory - Computer software - Theory of Computation - Data Encryption - Computation by Abstract Devices - Algorithm Analysis and Problem Complexity
Edition Identifiers:
- The Open Library ID: OL21319993M
- Online Computer Library Center (OCLC) ID: 61219005
- Library of Congress Control Number (LCCN): 2005928704
- All ISBNs: 9783540221470 - 3540221476
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Complexity theory and cryptology at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15STACS 2000
By Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France)
“STACS 2000” Metadata:
- Title: STACS 2000
- Author: ➤ Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France)
- Language: English
- Number of Pages: Median: 662
- Publisher: Springer
- Publish Date: 2000
“STACS 2000” Subjects and Themes:
- Subjects: ➤ Informatique - Computadores (software) - Teoria da computacao - Fundamentele informatica - Congresses - Computer science - Congres - Analise numerica
Edition Identifiers:
- The Open Library ID: OL12809910M
- Online Computer Library Center (OCLC) ID: 43526888
- Library of Congress Control Number (LCCN): 00025832
- All ISBNs: 9783540671411 - 3540671412
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 STACS 2000 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Mathematical Foundations of Computer Science 1974
By A. Blikle
“Mathematical Foundations of Computer Science 1974” Metadata:
- Title: ➤ Mathematical Foundations of Computer Science 1974
- Author: A. Blikle
- Language: English
- Number of Pages: Median: 496
- Publisher: Springer
- Publish Date: 1975
“Mathematical Foundations of Computer Science 1974” Subjects and Themes:
- Subjects: ➤ Sequential machine theory - Congresses - Formal languages - Computer programming - Automates séquentiels, Théorie des - Congrès - Langages formels - Programmation (Informatique) - Fundamentele informatica - Automates mathématiques, Théorie des - Ordinateurs - Programmation
Edition Identifiers:
- The Open Library ID: OL12771141M
- Library of Congress Control Number (LCCN): 75009642
- All ISBNs: 3540071628 - 9783540071624
Access and General Info:
- First Year Published: 1975
- 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 1974 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Symbolic and Algebraic Computation
By E.W. Ng
“Symbolic and Algebraic Computation” Metadata:
- Title: ➤ Symbolic and Algebraic Computation
- Author: E.W. Ng
- Language: English
- Number of Pages: Median: 580
- Publisher: Springer
- Publish Date: 1979
“Symbolic and Algebraic Computation” Subjects and Themes:
- Subjects: ➤ Informatique - Datenverarbeitung - Algebre - Algebra - Symbolische logica - Kongress - Algorithmus - Algebraischer Kalkul - Fundamentele informatica - Congresses - Data processing - Congres - Symbolischer Kalkul - Computeralgebra - Mathematics, data processing - Algebra, data processing
Edition Identifiers:
- The Open Library ID: OL12771345M
- All ISBNs: 9783540095194 - 3540095195
Access and General Info:
- First Year Published: 1979
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Symbolic and Algebraic Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Computer Algebra
By J. A. van Hulzen
“Computer Algebra” Metadata:
- Title: Computer Algebra
- Author: J. A. van Hulzen
- Language: English
- Number of Pages: Median: 305
- Publisher: Springer
- Publish Date: 1984
“Computer Algebra” Subjects and Themes:
- Subjects: ➤ Algebra, data processing - Algebra - Congresses - Data processing - Fundamentele informatica - Symbolische logica
Edition Identifiers:
- The Open Library ID: OL12771670M
- Online Computer Library Center (OCLC) ID: 10277301
- Library of Congress Control Number (LCCN): 83020442
- All ISBNs: 9783540128687 - 3540128689
Access and General Info:
- First Year Published: 1984
- 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 Algebra at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19EUROSAM 84
By International Symposium on Symbolic and Algebraic Computation (1984 Cambridge, England)
“EUROSAM 84” Metadata:
- Title: EUROSAM 84
- Author: ➤ International Symposium on Symbolic and Algebraic Computation (1984 Cambridge, England)
- Language: English
- Number of Pages: Median: 396
- Publisher: Springer-Verlag
- Publish Date: 1984
- Publish Location: New York - Berlin
“EUROSAM 84” Subjects and Themes:
- Subjects: ➤ Algebra - Congresses - Data processing - Informatique - Algebre - Symbolische logica - Fundamentele informatica - Computabilidade e modelos de computacao - Congres
Edition Identifiers:
- The Open Library ID: OL2848435M
- Online Computer Library Center (OCLC) ID: 10849982
- Library of Congress Control Number (LCCN): 84010620
- All ISBNs: 9780387133508 - 038713350X
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find EUROSAM 84 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Perspectives of system informatics
By D. Bjørner and M. Broy
“Perspectives of system informatics” Metadata:
- Title: ➤ Perspectives of system informatics
- Authors: D. BjørnerM. Broy
- Language: English
- Number of Pages: Median: 540
- Publisher: Springer
- Publish Date: 2000
“Perspectives of system informatics” Subjects and Themes:
- Subjects: ➤ Computer systems - Congresses - Logic design - Kunstmatige intelligentie - Fundamentele informatica - Programmatuurtechniek - Computer science - Software engineering - Artificial intelligence - Computer engineering
Edition Identifiers:
- The Open Library ID: OL9358613M
- Online Computer Library Center (OCLC) ID: 43317910
- Library of Congress Control Number (LCCN): 00021732
- All ISBNs: 3540671021 - 9783540671022
First Setence:
"Algebraic specification is one of the most extensively-developed approaches in the formal methods area."
Access and General Info:
- First Year Published: 2000
- 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 Perspectives of system informatics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Proof and computation
By North Atlantic Treaty Organization
“Proof and computation” Metadata:
- Title: Proof and computation
- Author: ➤ North Atlantic Treaty Organization
- Language: English
- Number of Pages: Median: 470
- Publisher: Springer
- Publish Date: 1995
- Publish Location: New York - Berlin
“Proof and computation” Subjects and Themes:
- Subjects: ➤ Théorie démonstration - Logique symbolique et mathématique - Symbolic and mathematical Logic - Programmation logique - Spécification algébrique - Théorie type - Congrès - Logic programming - Fundamentele informatica - Congresses - Logica matematica - Programmation en logique - Concurrence - Bewijstheorie
Edition Identifiers:
- The Open Library ID: OL780631M
- Online Computer Library Center (OCLC) ID: 32396896
- Library of Congress Control Number (LCCN): 95012490
- All ISBNs: 3540585818 - 9783540585817
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Proof and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Mathematical Foundations of Computer Science 1979
By J. Becvar
“Mathematical Foundations of Computer Science 1979” Metadata:
- Title: ➤ Mathematical Foundations of Computer Science 1979
- Author: J. Becvar
- Language: English
- Number of Pages: Median: 596
- Publisher: Springer
- Publish Date: 1979
“Mathematical Foundations of Computer Science 1979” Subjects and Themes:
- Subjects: ➤ Computer programming - Congresses - Computer algorithms - Computable functions - Machine theory - Algorithmes - Congrès - Programmation (Informatique) - Fonctions calculables - Automates mathématiques, Théorie des - Fundamentele informatica - Electronic digital computers, programming - Algorithms
Edition Identifiers:
- The Open Library ID: OL12771347M
- Library of Congress Control Number (LCCN): 79017801
- All ISBNs: 9783540095262 - 3540095268
Access and General Info:
- First Year Published: 1979
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Mathematical Foundations of Computer Science 1979 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Mathematical foundations of computer science, 1976
By Symposium on Mathematical Foundations of Computer Science (1972- ) (5th 1976 Gdańsk, Poland)
“Mathematical foundations of computer science, 1976” Metadata:
- Title: ➤ Mathematical foundations of computer science, 1976
- Author: ➤ Symposium on Mathematical Foundations of Computer Science (1972- ) (5th 1976 Gdańsk, Poland)
- Language: English
- Number of Pages: Median: 606
- Publisher: Springer-Verlag
- Publish Date: 1976
- Publish Location: New York - Berlin
“Mathematical foundations of computer science, 1976” Subjects and Themes:
- Subjects: ➤ Congresses - Machine theory - Formal languages - Computer programming - Langages formels - Congrès - Automates mathématiques, Théorie des - Programmation (Informatique) - Fundamentele informatica - Ordinateurs - Programmation
Edition Identifiers:
- The Open Library ID: OL21924734M
- Online Computer Library Center (OCLC) ID: 2346829
- Library of Congress Control Number (LCCN): 76025494
- All ISBNs: 0387078541 - 9780387078540
Access and General Info:
- First Year Published: 1976
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mathematical foundations of computer science, 1976 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991
By A. Tarlecki
“Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991” Metadata:
- Title: ➤ Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991
- Author: A. Tarlecki
- Language: English
- Number of Pages: Median: 435
- Publisher: Springer
- Publish Date: 1991
“Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991” Subjects and Themes:
- Subjects: ➤ Computer science - Congresses - Mathematics - Informatique - Congrès - Mathématiques - Fundamentele informatica - Computable functions
Edition Identifiers:
- The Open Library ID: OL10153522M
- Online Computer Library Center (OCLC) ID: 24487617 - 26012558
- Library of Congress Control Number (LCCN): 91222298
- All ISBNs: 0387543457 - 9780387543451
Access and General Info:
- First Year Published: 1991
- 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, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990
By J. R. Gilbert
“Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990” Metadata:
- Title: ➤ Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990
- Author: J. R. Gilbert
- Language: English
- Number of Pages: Median: 417
- Publisher: Springer
- Publish Date: 1990
“Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990” Subjects and Themes:
- Subjects: ➤ Algorithms - Computational complexity - Congresses - Algorithmes - Congrès - Complexité de calcul (Informatique) - Fundamentele informatica - Algoritmen - Computabilidade e modelos de computacao - Algoritmos e estruturas de dados
Edition Identifiers:
- The Open Library ID: OL10153281M
- Online Computer Library Center (OCLC) ID: 21948693
- Library of Congress Control Number (LCCN): 90010047
- All ISBNs: 0387528466 - 9780387528465
Access and General Info:
- First Year Published: 1990
- 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 Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Mathematical Foundations of Computer Science, 1998
By Lubos Brim, Josef Gruska, Gerhard Goos and Juris Hartmanis
“Mathematical Foundations of Computer Science, 1998” Metadata:
- Title: ➤ Mathematical Foundations of Computer Science, 1998
- Authors: Lubos BrimJosef GruskaGerhard GoosJuris Hartmanis
- Language: English
- Number of Pages: Median: 843
- Publisher: Springer-Verlag Telos
- Publish Date: 1998
“Mathematical Foundations of Computer Science, 1998” Subjects and Themes:
- Subjects: ➤ Informatique - Mathematiques - Kongress - Teoria da computacao - Fundamentele informatica - Congresses - Computer science - Congres - Mathematics - Mathematique - Theoretische Informatik - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL9620125M
- Online Computer Library Center (OCLC) ID: 39842659
- All ISBNs: 3540648275 - 9783540648277
First Setence:
"A directed hypergraph is a generalization of the concept of directed graph."
Author's Alternative Names:
"G. Goos", "J Hartmanis" and "J. Hartmanis"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 Mathematical Foundations of Computer Science, 1998 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Algebraic methodology and software technology
By International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)
“Algebraic methodology and software technology” Metadata:
- Title: ➤ Algebraic methodology and software technology
- Author: ➤ International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)
- Language: English
- Number of Pages: Median: 544
- Publisher: Springer
- Publish Date: 2000
- Publish Location: Berlin - New York
“Algebraic methodology and software technology” Subjects and Themes:
- Subjects: ➤ Congresses - Software engineering - Abstract data types (Computer science) - Genie logiciel - Algebraische Methode - Fundamentele informatica - Congres - Softwareentwicklung - Types abstraits de donnees (Informatique)
Edition Identifiers:
- The Open Library ID: OL18140194M
- Online Computer Library Center (OCLC) ID: 44045563
- Library of Congress Control Number (LCCN): 00032203
- All ISBNs: 9783540675303 - 3540675302
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 Algebraic methodology and software technology at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Fundamentals of computation theory
By FCT '93 (1993 Szeged, Hungary)
“Fundamentals of computation theory” Metadata:
- Title: ➤ Fundamentals of computation theory
- Author: FCT '93 (1993 Szeged, Hungary)
- Language: English
- Number of Pages: Median: 471
- Publisher: Springer-Verlag
- Publish Date: 1993
- Publish Location: New York - Berlin
“Fundamentals of computation theory” Subjects and Themes:
- Subjects: ➤ Congresses - Electronic data processing - Informatique - Teoria Da Computacao - Fundamentele informatica - Congres - Computers
Edition Identifiers:
- The Open Library ID: OL1403738M
- Online Computer Library Center (OCLC) ID: 28585594
- Library of Congress Control Number (LCCN): 93011816
- All ISBNs: 9780387571638 - 3540571639 - 0387571639 - 9783540571636
Access and General Info:
- First Year Published: 1993
- 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 Fundamentals of computation theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.