Explore: Mathematical Theory Of Computation
Discover books, insights, and more — all in one place.
Learn more about Mathematical Theory Of Computation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “mathematical-theory-of-computation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Information Processing and Management of Uncertainty in Knowledge-Based Systems
By Joao Paulo Carvalho, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira, Bernadette Bouchon-Meunier and Ronald R. Yager
“Information Processing and Management of Uncertainty in Knowledge-Based Systems” Metadata:
- Title: ➤ Information Processing and Management of Uncertainty in Knowledge-Based Systems
- Authors: ➤ Joao Paulo CarvalhoMarie-Jeanne LesotUzay KaymakSusana VieiraBernadette Bouchon-MeunierRonald R. Yager
- Language: English
- Number of Pages: Median: 813
- Publisher: ➤ Springer London, Limited - Springer International Publishing AG - Springer
- Publish Date: 2016 - 2020 - 2025
“Information Processing and Management of Uncertainty in Knowledge-Based Systems” Subjects and Themes:
- Subjects: ➤ Expert systems (computer science) - Uncertainty (information theory) - Logic, symbolic and mathematical - Information technology - Computer networks - Artificial intelligence - Computer science - Information theory - Expert systems (Computer science) - Congresses - Uncertainty (Information theory) - Systèmes experts (Informatique) - Congrès - Incertitude (Théorie de l'information) - Data mining - Algorithms & data structures - Maths for computer scientists - Mathematical theory of computation - Image processing - Computers - Database Management - Data Mining - Programming - Algorithms - Mathematical & Statistical Software - Mathematics - Logic - Computer Graphics - Intelligence (AI) & Semantics
Edition Identifiers:
- The Open Library ID: ➤ OL57517724M - OL34536889M - OL28318109M - OL30091246M - OL57536615M - OL28224446M - OL37265655M - OL57554236M - OL34534877M - OL27995600M
- Online Computer Library Center (OCLC) ID: 951906214 - 951906714
- All ISBNs: ➤ 9783031739965 - 9783031740022 - 3031739965 - 3319405810 - 3319405950 - 9783030501426 - 9783319405803 - 303173999X - 3319405802 - 9783319405810 - 9783030501457 - 9783319405964 - 3319405969 - 9783319405957 - 9783030501525 - 3030501450 - 9783031739996 - 3031740025 - 3030501523 - 3030501426
Access and General Info:
- First Year Published: 2016
- 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 Information Processing and Management of Uncertainty in Knowledge-Based Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Optimization in solving elliptic problems
By E. G. Dʹi͡akonov, Eugene G. D'yakonov and Steve McCormick
“Optimization in solving elliptic problems” Metadata:
- Title: ➤ Optimization in solving elliptic problems
- Authors: E. G. Dʹi͡akonovEugene G. D'yakonovSteve McCormick
- Language: English
- Number of Pages: Median: 590
- Publisher: ➤ CRC - Taylor & Francis Group - CRC Press
- Publish Date: 1995 - 1996 - 2017 - 2018
- Publish Location: Boca Raton, FL
“Optimization in solving elliptic problems” Subjects and Themes:
- Subjects: ➤ Asymptotic theory - Elliptic Differential equations - Differential equations - Mathematical theory of computation - Discrete Mathematics - Partial Differential Equations - Mathematics - Science/Mathematics - Applied - Differential Equations - Partial Differential Equations - Mathematics / Applied - Differential equations, Ellipt - Differential equations, Elliptic - Équations différentielles elliptiques - Théorie asymptotique - Calculus - Mathematical Analysis
Edition Identifiers:
- The Open Library ID: ➤ OL1269240M - OL33778511M - OL33698782M - OL33734220M - OL33714627M - OL8259874M - OL28904291M
- Online Computer Library Center (OCLC) ID: 1035748802 - 32626663
- Library of Congress Control Number (LCCN): 95000351
- All ISBNs: ➤ 9781351083669 - 9780849328725 - 135108366X - 1315896117 - 1351092111 - 1351075217 - 9781351075213 - 9781351092111 - 1351100564 - 9781351100564 - 0849328721 - 9781315896113
First Setence:
"1.1. General notions. In this section, we start by considering the most general and important notions of the theory of numerical methods, which are equally applicable to all reasonable approximations of a given operator equation, including all types of grid methods."
Access and General Info:
- First Year Published: 1995
- 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 Optimization in solving elliptic problems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993
By International Conference on Parallel Processing (22nd 1993 Saint Charles, Ill.), C.Y. Roger Chen, P. Bruce Berra, Alok N. Choudhary and Salim Hariri
“Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993” Metadata:
- Title: ➤ Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993
- Authors: ➤ International Conference on Parallel Processing (22nd 1993 Saint Charles, Ill.)C.Y. Roger ChenP. Bruce BerraAlok N. ChoudharySalim Hariri
- Language: English
- Number of Pages: Median: 350
- Publisher: CRC Press - CRC
- Publish Date: 1993
- Publish Location: Boca Raton, Fla
“Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993” Subjects and Themes:
- Subjects: ➤ Computer architecture - Computer networks - Computer software - Congresses - Distributed processing - Electronic data processing - Parallel processing (Electronic computers) - Computer Programming - Parallel Processing - Science/Mathematics - Data Processing - Parallel Processing - Computers - Computers - General Information - Computer Books: General - Parallel processing (Electroni - Computer Engineering - Computers / Computer Engineering - Computer Architecture - General - Engineering - General - Applications of Computing - Compilers & interpreters - Software Design - Mathematical theory of computation - Parallel processing (electronic computers) - Electronic data processing, distributed processing
Edition Identifiers:
- The Open Library ID: OL1416629M - OL8261428M - OL8261430M - OL8261429M
- Library of Congress Control Number (LCCN): 93026191
- All ISBNs: ➤ 9780849389832 - 9780849389863 - 9780849389849 - 0849389836 - 0849389844 - 0849389860 - 0849389852 - 9780849389856
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 Proceedings of the 1993 International Conference on Parallel Processing, August 16-20, 1993 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Algebraic geometry codes
By M. A. Tsfasman, Michael Tsfasman, Serge Vladut and Dmitry Nogin
“Algebraic geometry codes” Metadata:
- Title: Algebraic geometry codes
- Authors: M. A. TsfasmanMichael TsfasmanSerge VladutDmitry Nogin
- Language: English
- Number of Pages: Median: 338
- Publisher: American Mathematical Society
- Publish Date: 2007 - 2019
- Publish Location: Providence, R.I
“Algebraic geometry codes” Subjects and Themes:
- Subjects: ➤ Algebraic Geometry - Coding theory - Number theory - Mathematical theory of computation - Mathematics - Computers - General Information - Science/Mathematics - Information Theory - Nonfiction - Advanced - Geometry, Algebraic - Geometry, algebraic - Algebraic geometry - Curves - Information and communication, circuits - Theory of error-correcting codes and error-detecting codes - Arithmetic problems. Diophantine geometry - Finite ground fields - Algebraic number theory: global fields - Arithmetic theory of algebraic function fields - Algebraic numbers; rings of algebraic integers - Finite fields and commutative rings (number-theoretic aspects) - Algebraic coding theory; cryptography - Zeta and $L$-functions: analytic theory - Zeta and $L$-functions in characteristic $p$ - Class field theory - Zeta functions and $L$-functions of number fields - Families, fibrations - Fine and coarse moduli spaces - Surfaces and higher-dimensional varieties - Arithmetic ground fields - Algebraische meetkunde - Coderingstheorie - Codage - Theorie des Nombres - Geometrie algebrique
Edition Identifiers:
- The Open Library ID: OL11420280M - OL37286938M - OL17179885M
- Online Computer Library Center (OCLC) ID: 1090163037 - 85822747
- Library of Congress Control Number (LCCN): 2007061731 - 2019003782
- All ISBNs: 0821843060 - 9780821843062 - 9781470448653 - 1470448653
Access and General Info:
- First Year Published: 2007
- 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 Algebraic geometry codes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5The graph isomorphism problem
By Johannes Köbler, J. Kobler, U. Schöning and J. Toran
“The graph isomorphism problem” Metadata:
- Title: The graph isomorphism problem
- Authors: Johannes KöblerJ. KoblerU. SchöningJ. Toran
- Language: English
- Number of Pages: Median: 172
- Publisher: ➤ Birkhäuser Boston - Birkhäuser - Birkhäuser
- Publish Date: 1993 - 2011
- Publish Location: Boston
“The graph isomorphism problem” Subjects and Themes:
- Subjects: ➤ Computational complexity - Data processing - Graph theory - Isomorphisms (Mathematics) - Applied mathematics - Computer architecture & logic design - Mathematical theory of computation - Computer Science - Theory Of Computing - Computers - Computers - General Information - General - Computer Books: General - Science/Mathematics - Applied - Graphic Methods - Computers / Computer Science - Mathematics-Applied - Mathematics-Graphic Methods
Edition Identifiers:
- The Open Library ID: OL28116291M - OL1412979M - OL8074486M
- Online Computer Library Center (OCLC) ID: 27432721
- Library of Congress Control Number (LCCN): 93022011
- All ISBNs: 9781461203346 - 9780817636807 - 0817636803 - 1461203341
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 graph isomorphism problem at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6A course in error-correcting codes
By Jorn Justesen, Jom Justesen and Tom Hoholdt
“A course in error-correcting codes” Metadata:
- Title: ➤ A course in error-correcting codes
- Authors: Jorn JustesenJom JustesenTom Hoholdt
- Language: English
- Number of Pages: Median: 193
- Publisher: ➤ European Mathematical Society - American Mathematical Society
- Publish Date: 2004 - 2017
- Publish Location: Zurich
“A course in error-correcting codes” Subjects and Themes:
- Subjects: ➤ Databases & data structures - Mathematical theory of computation - Error-correcting codes (Information theory) - Codes
Edition Identifiers:
- The Open Library ID: OL37279318M - OL12659974M - OL22112398M
- Online Computer Library Center (OCLC) ID: 54937303
- All ISBNs: 9783037190012 - 9783037191798 - 3037190019 - 3037191791
Access and General Info:
- First Year Published: 2004
- 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 A course in error-correcting codes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Working classes
By Rick Decker and Stuart Hirshfield
“Working classes” Metadata:
- Title: Working classes
- Authors: Rick DeckerStuart Hirshfield
- Language: English
- Number of Pages: Median: 495
- Publisher: ➤ PWS Pub. Co. - Course Technology
- Publish Date: 1995 - 1996
- Publish Location: Boston
“Working classes” Subjects and Themes:
- Subjects: ➤ C++ (Computer program language) - Data structures (Computer science) - C & Visual C - Databases & data structures - Mathematical theory of computation - Data Modeling & Design - C (Programming Language) - Data Structures - Computers - Languages / Programming - Programming Languages - C++ - Computer Books: Languages - Computers / Data Modeling & Design - C++ (Computer program language - Data structures (Computer scie - C++ - Datastructuren
Edition Identifiers:
- The Open Library ID: OL1117763M - OL7786845M
- Library of Congress Control Number (LCCN): 94043941
- All ISBNs: 053494566X - 9780534945664
Access and General Info:
- First Year Published: 1995
- 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 Working classes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Introduction to automata theory, languages, and computation
By John E. Hopcroft, Jeffrey D. Ullman and Rajeev Motwani
“Introduction to automata theory, languages, and computation” Metadata:
- Title: ➤ Introduction to automata theory, languages, and computation
- Authors: John E. HopcroftJeffrey D. UllmanRajeev Motwani
- Languages: English - ger
- Number of Pages: Median: 525
- Publisher: ➤ Addison-Wesley - Pearson/Addison-Wesley - Addison Wesley - Pearson Education, Limited - Pearson Education Deutschland - Pearson/Addison Wesley
- Publish Date: ➤ 1979 - 1998 - 1999 - 2001 - 2002 - 2003 - 2006 - 2007
- Publish Location: Boston - USA - Reading, Mass
“Introduction to automata theory, languages, and computation” Subjects and Themes:
- Subjects: ➤ Computational complexity - Formal languages - Machine theory - Programmeren (computers) - Computers - Langages formels - Automates mathématiques, Théorie des - Complexité algorithmique - Langage formel - Formele talen - Lenguajes formales - Théorie des automates - Automate mathématique - Teoría de las máquinas - Cellulaire automaten - Complexité de calcul (Informatique) - Artificial intelligence - Mathematical theory of computation - Computers - General Information - Computer Books: General - Computer Science - Logic - Computers / Computer Science - Programming languages (electronic computers) - Computer mathematics - Mathematical programming & operations research - Komplexitätstheorie - Formale sprache - Automatentheorie - Qa267 .h56 2007 - 511.3/5 - St 130 - Dat 500f - St 136 - Dat 517f - Dat 550f - Dat 555f - Nonfiction
Edition Identifiers:
- The Open Library ID: ➤ OL53447274M - OL53447272M - OL28965127M - OL9764313M - OL24357442M - OL4748554M - OL6795097M - OL25167962M
- Online Computer Library Center (OCLC) ID: 4549363 - 69013079
- Library of Congress Control Number (LCCN): 2006014263 - 00064608 - 78067950
- All ISBNs: ➤ 9783827370204 - 9780201029888 - 9780321210296 - 0321455363 - 0201441241 - 3827370205 - 9780201441246 - 9780321455369 - 0321210298 - 020102988X
First Setence:
"Ten years ago the authors undertook to produce a book covering the known material on formal languages, automata theory, and computational complexity."
Author's Alternative Names:
"John Edward Hopcroft" and "Jeff Ullman"Access and General Info:
- First Year Published: 1979
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Introduction to automata theory, languages, and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Computer algorithms/C++
By Ellis Horowitz, Sanguthevar Rajasekaran and Sartaj Sahni
“Computer algorithms/C++” Metadata:
- Title: Computer algorithms/C++
- Authors: Ellis HorowitzSanguthevar RajasekaranSartaj Sahni
- Language: English
- Number of Pages: Median: 769
- Publisher: ➤ Galgotia Publication Pvt. Ltd. - Computer Science Press - W. H. Freeman - Silicon Press
- Publish Date: 1996 - 1997 - 2004 - 2008
- Publish Location: Summit, NJ - New York
“Computer algorithms/C++” Subjects and Themes:
- Subjects: ➤ Computer algorithms - C++ (Computer program language) - Computer Programming - Mathematical theory of computation - Programming - General - Computer Books: Languages - Algorithms (Computer Programming) - Computers - Computers - General Information - Computer Science - Programming Languages - General - Computers / Computer Science - C++ (Computer program language - C plus plus (computer program language)
Edition Identifiers:
- The Open Library ID: OL13147318M - OL1009575M - OL23673984M - OL24057525M - OL7835793M
- Online Computer Library Center (OCLC) ID: 35928547 - 165083637
- Library of Congress Control Number (LCCN): 96049610 - 2007034007
- All ISBNs: ➤ 9788175152588 - 9780716783152 - 0929306422 - 8175152583 - 9780929306421 - 0716783150
Author's Alternative Names:
"Horowitz Ellis"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 Computer algorithms/C++ at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Programming the finite element method
By I. M. Smith and D. V. Griffiths
“Programming the finite element method” Metadata:
- Title: ➤ Programming the finite element method
- Authors: I. M. SmithD. V. Griffiths
- Language: English
- Number of Pages: Median: 540
- Publisher: ➤ John Wiley & Sons Inc - John Wiley & Sons - Wiley & Sons, Incorporated, John - John Wiley & Sons Inc. - Wiley
- Publish Date: ➤ 1982 - 1984 - 1988 - 1997 - 1998 - 2007 - 2014
- Publish Location: ➤ Chichester, West Sussex, United Kingdom - Chichester [West Sussex] - New York - Chichester
“Programming the finite element method” Subjects and Themes:
- Subjects: ➤ Data processing - Finite element method - Computer programs - Soil mechanics - Engineering - Subroutines (Computer programs) - Computer-aided engineering - Applied mathematics - Civil Engineering, Surveying & Building - Computer Programming - Mathematical theory of computation - Mechanical engineering - Subroutines (Computer programs - Technology & Industrial Arts - Computer Books: Operating Systems - Engineering - Mechanical - Engineering, data processing - Civil engineering
Edition Identifiers:
- The Open Library ID: ➤ OL31145241M - OL29104825M - OL7631778M - OL3051435M - OL10339628M - OL2379593M - OL1013591M
- Online Computer Library Center (OCLC) ID: 9281030 - 59585838
- Library of Congress Control Number (LCCN): 2013019445 - 82145525 - 87008123 - 96054905
- All ISBNs: ➤ 0471100986 - 9781119973348 - 0471280038 - 0471915521 - 9780471915522 - 0471965421 - 9780471965428 - 047191553X - 9780471886440 - 9780471280033 - 9780471965435 - 9780471915539 - 9780470341780 - 0470341785 - 0471886440 - 047196543X - 9780471100980 - 1119973341
First Setence:
"Many textbooks exist which describe the principles of the finite element method of analysis and the wide scope of its applications to the solution of practical engineering problems."
Author's Alternative Names:
"D. Vaughan Griffiths", "Vaughan D. Griffiths", "Vaughn. D. Griffiths", "Denwood Vaughan Griffiths", "Denwood V. Griffiths" and "Vaughan Griffiths"Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Programming the finite element method at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Probability models for computer science
By Sheldon M. Ross
“Probability models for computer science” Metadata:
- Title: ➤ Probability models for computer science
- Author: Sheldon M. Ross
- Language: English
- Number of Pages: Median: 296
- Publisher: ➤ Harcourt Academic Press - Academic Press - Elsevier Science & Technology Books
- Publish Date: 2001 - 2002
- Publish Location: San Diego
“Probability models for computer science” Subjects and Themes:
- Subjects: ➤ Probabilities - Mathematics - Computer science - Mathematical theory of computation - Probability & statistics - Computer Simulation - Science/Mathematics - Applied - Probability & Statistics - General - Mathematics / Statistics - Computer Engineering - Computer Science - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL9802770M - OL17018788M - OL40427338M
- Online Computer Library Center (OCLC) ID: 47186225
- Library of Congress Control Number (LCCN): 2001089413
- All ISBNs: 008051488X - 9780080514888 - 0125980515 - 9780125980517
First Setence:
"Consider an experiment whose outcome is not known in advance."
Author's Alternative Names:
"Sheldon M Ross", "Apa Sheldon M. Ross", "SHELDON M. ROSS", "Sheldon, M Ross" and "Sheldon Ross"Access and General Info:
- First Year Published: 2001
- 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 Probability models for computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Quantum computing
By Mikio Nakahara, M. Nakahara and Tetsuo Ohmi
“Quantum computing” Metadata:
- Title: Quantum computing
- Authors: Mikio NakaharaM. NakaharaTetsuo Ohmi
- Language: English
- Number of Pages: Median: 438
- Publisher: ➤ Taylor & Francis - Taylor & Francis Group - CRC Press
- Publish Date: 2008
- Publish Location: Boca Raton
“Quantum computing” Subjects and Themes:
- Subjects: ➤ Quantum computers - Mathematical theory of computation - Teaching Methods & Materials - Reading - Computers - Integrated Software - Education - Algebra - Linear - Business Software - General - Mathematical & Statistical Software - Science / Quantum Theory - Ordinateurs quantiques - COMPUTERS - Machine Theory - Computer Engineering - Hardware - General - Qa76.889 .n34 2008 - 621.39/1
Edition Identifiers:
- The Open Library ID: ➤ OL33715060M - OL33455482M - OL29042935M - OL7971198M - OL18512904M - OL18504041M
- Online Computer Library Center (OCLC) ID: 177825572 - 229893524
- Library of Congress Control Number (LCCN): 2007044310
- All ISBNs: ➤ 9780429146510 - 9780750309837 - 9781281326164 - 9781420012293 - 0429146515 - 1420012290 - 0750309830 - 128132616X
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 Quantum computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Logic, Mathematics, and Computer Science
By Yves Nievergelt
“Logic, Mathematics, and Computer Science” Metadata:
- Title: ➤ Logic, Mathematics, and Computer Science
- Author: Yves Nievergelt
- Language: English
- Number of Pages: Median: 403
- Publisher: ➤ Springer London, Limited - Springer New York - Springer
- Publish Date: 2015
“Logic, Mathematics, and Computer Science” Subjects and Themes:
- Subjects: ➤ Logic, symbolic and mathematical - Set theory - Number theory - Computer science, mathematics - Mathematics - Symbolic and mathematical Logic - Mathematical Logic and Foundations - Mathematical Logic and Formal Languages - Number Theory - Mathematical Theory - Physical Sciences & Mathematics - Mathematical theory of computation - Mathematical foundations - Logic
Edition Identifiers:
- The Open Library ID: OL27985429M - OL37258903M - OL37246582M
- Online Computer Library Center (OCLC) ID: 932166573
- All ISBNs: ➤ 1493937138 - 9781493932238 - 1493932233 - 1493932225 - 9781493932221 - 9781493937134
Access and General Info:
- First Year Published: 2015
- 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 Logic, Mathematics, and Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Representation and control of infinite dimensional systems
By Alain Bensoussan, Giuseppe Da Prato, Michel C. Delfour and Sanjoy K. Mitter
“Representation and control of infinite dimensional systems” Metadata:
- Title: ➤ Representation and control of infinite dimensional systems
- Authors: Alain BensoussanGiuseppe Da PratoMichel C. DelfourSanjoy K. Mitter
- Language: English
- Number of Pages: Median: 368
- Publisher: ➤ Birkhäuser Boston - Springer London, Limited - Birkhauser - Springer - Birkhäuser
- Publish Date: 1992 - 1993 - 2007 - 2011
- Publish Location: Boston
“Representation and control of infinite dimensional systems” Subjects and Themes:
- Subjects: ➤ Control theory - Mathematical optimization - Automatic control engineering - Mathematical theory of computation - Mathematics - Applied - Science - Science/Mathematics - System Theory - Mathematics / Applied - Operator theory - Partial Differential equations - Automatic control - Differential equations, partial - Control Systems Theory - Calculus of Variations and Optimal Control; Optimization - Applications of Mathematics
Edition Identifiers:
- The Open Library ID: ➤ OL37093209M - OL8074468M - OL51573468M - OL1708724M - OL27954082M - OL8074467M
- Online Computer Library Center (OCLC) ID: 25552521
- Library of Congress Control Number (LCCN): 92010323
- All ISBNs: ➤ 9783764336424 - 9781280816673 - 0817645810 - 9780817636418 - 1461276519 - 3764336412 - 9783764336417 - 0817636412 - 1280816678 - 9780817636425 - 0817636420 - 3764336420 - 9781461276517 - 9780817645816
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 Representation and control of infinite dimensional systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Numerical recipes
By Julien C. Sprott, William H. Press, Saul A. Teukolsky, William T. Vetterling and Brian P. Flannery
“Numerical recipes” Metadata:
- Title: Numerical recipes
- Authors: Julien C. SprottWilliam H. PressSaul A. TeukolskyWilliam T. VetterlingBrian P. Flannery
- Language: English
- Number of Pages: Median: 1235
- Publisher: Cambridge University Press
- Publish Date: 1991 - 2007
- Publish Location: New York - Cambridge [England]
“Numerical recipes” Subjects and Themes:
- Subjects: ➤ BASIC (Computer program language) - Computer programs - Mathematics - Numerical analysis - Science - C++ (Computer program language) - Infinite series - Mathematical theory of computation - Computers - General Information - Science/Mathematics - Mathematical & Statistical Software - Mathematics / General - General - FORTRAN (Computer program language) - Numerical analysis, data processing - Science, mathematics - Numerical analysis--computer programs - Science--mathematics--computer programs - Qa297 .n866 2007 - 518/.0285
Edition Identifiers:
- The Open Library ID: OL9431282M - OL1868051M - OL17902059M
- Online Computer Library Center (OCLC) ID: 22891610 - 1113376468 - 123285342
- Library of Congress Control Number (LCCN): 2007062003 - 90026323
- All ISBNs: 0521880688 - 0521406897 - 9780521406895 - 9780521880688
Author's Alternative Names:
"Vetterling William T." and "WILLIAM H. PRESS"Access and General Info:
- First Year Published: 1991
- 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 Numerical recipes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Tools and Algorithms for the Construction and Analysis of Systems
By Armin Biere
“Tools and Algorithms for the Construction and Analysis of Systems” Metadata:
- Title: ➤ Tools and Algorithms for the Construction and Analysis of Systems
- Author: Armin Biere
- Language: English
- Number of Pages: Median: 470
- Publisher: ➤ Springer - Springer Nature - Springer International Publishing AG - Saint Philip Street Press
- Publish Date: 2020
- Publish Location: Cham
“Tools and Algorithms for the Construction and Analysis of Systems” Subjects and Themes:
- Subjects: ➤ Expert systems / knowledge-based systems - Algorithms & data structures - Systems analysis & design - Computer science - Mathematical theory of computation
Edition Identifiers:
- The Open Library ID: ➤ OL31369086M - OL35834111M - OL37307706M - OL32852768M - OL31369088M - OL32840382M
- All ISBNs: ➤ 9783030451905 - 9783030452377 - 9781013277184 - 9781013277214 - 9783030452360 - 3030452360 - 101327721X - 3030451909 - 3030452379 - 101327718X - 9783030451899 - 3030451895
Access and General Info:
- First Year Published: 2020
- 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 Tools and Algorithms for the Construction and Analysis of Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Chinese remainder theorem
By C. Ding, D. Pei and A. Salomaa
“Chinese remainder theorem” Metadata:
- Title: Chinese remainder theorem
- Authors: C. DingD. PeiA. Salomaa
- Language: English
- Number of Pages: Median: 213
- Publisher: ➤ World Scientific - World Scientific Publishing Co Pte Ltd - World Scientific Publishing Company
- Publish Date: 1996 - 1999
- Publish Location: Singapore - River Edge, NJ
“Chinese remainder theorem” Subjects and Themes:
- Subjects: ➤ Coding theory - Cryptography - Mathematical theory of computation - Mathematics for scientists & engineers - Philosophy of mathematics - Set Theory - Mathematics - Science/Mathematics - General - Number Theory - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL49256048M - OL49255547M - OL735568M - OL9194604M
- Online Computer Library Center (OCLC) ID: 36413556
- Library of Congress Control Number (LCCN): 97126135
- All ISBNs: ➤ 1299662951 - 9789810228279 - 9812779388 - 9781299662957 - 9810228279 - 9789812779380
Access and General Info:
- First Year Published: 1996
- 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 Chinese remainder theorem at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Learning and geometry
By Smith, Carl H., David Kueker and Carl Smith
“Learning and geometry” Metadata:
- Title: Learning and geometry
- Authors: Smith, Carl H.David KuekerCarl Smith
- Language: English
- Number of Pages: Median: 216
- Publisher: ➤ Birkhauser - Birkhauser Verlag AG - Birkhäuser - Birkhäuser - Birkhauser Verlag
- Publish Date: 1995 - 1996 - 2011 - 2012
- Publish Location: Boston
“Learning and geometry” Subjects and Themes:
- Subjects: ➤ Geometry - Computer vision - Congresses - Géométrie - Vision par ordinateur - Congrès - Mathematical theory of computation - Pattern recognition - Topology
Edition Identifiers:
- The Open Library ID: ➤ OL37438669M - OL30532979M - OL28005078M - OL8074541M - OL9090161M - OL804912M
- Online Computer Library Center (OCLC) ID: 33209608
- Library of Congress Control Number (LCCN): 95041450
- All ISBNs: ➤ 1461286468 - 0817638253 - 9781461286462 - 1461240883 - 9781461240891 - 3764338253 - 1461240891 - 9781461240884 - 9780817638252 - 9783764338251
First Setence:
"In Valiant (1984) 'learning' was formalized as the process of estimating a Boolean function (or a related 'concept') in a certain class from randomly generated samples of the portion of its graph where the function has value 1."
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Learning and geometry at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Topics in control theory
By H. W. Knobloch, Hans W. Knobloch, A. Isidori and D. Flockerzi
“Topics in control theory” Metadata:
- Title: Topics in control theory
- Authors: H. W. KnoblochHans W. KnoblochA. IsidoriD. Flockerzi
- Language: English
- Number of Pages: Median: 166
- Publisher: ➤ Birkhauser Verlag - Island Press - Birkhäuser Verlag - Birkhauser - Birkhäuser Boston
- Publish Date: 1993 - 2004 - 2012
- Publish Location: Boston - Basel
“Topics in control theory” Subjects and Themes:
- Subjects: ➤ Control theory - Automatic control engineering - Mathematical theory of computation - General - Robotics - Science / General - Technology & Industrial Arts - Science (General) - Science, general
Edition Identifiers:
- The Open Library ID: OL1428595M - OL34377283M - OL50695963M - OL9090095M - OL37235787M
- Online Computer Library Center (OCLC) ID: 29218910
- Library of Congress Control Number (LCCN): 93039836
- All ISBNs: ➤ 9780817629533 - 9783034885676 - 9783034896832 - 3034885679 - 3034896832 - 9783034885669 - 9783764329532 - 376432953X - 081762953X - 3034885660
First Setence:
"A problem of major importance in control theory is that of controlling a fixed plant in order to have its output asymptotically tracking any reference trajectory in a prescribed family."
Access and General Info:
- First Year Published: 1993
- 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 Topics in control theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20The CNC workshop
By Frank Nanfara, Tony Uccello and Derek Murphy
“The CNC workshop” Metadata:
- Title: The CNC workshop
- Authors: Frank NanfaraTony UccelloDerek Murphy
- Language: English
- Number of Pages: Median: 378
- Publisher: ➤ Prentice Hall - Pearson Education, Limited - Addison-Wesley
- Publish Date: 1999 - 2001 - 2002
- Publish Location: ➤ Reading, MA - Upper Saddle River, NJ
“The CNC workshop” Subjects and Themes:
- Subjects: ➤ Machine-tools - Numerical control - Programming - Multimedia systems - Mathematical theory of computation - Machine Tools Numerical Control - Multi-Media Hardware & Software - Technology - Technology & Industrial Arts - Science/Mathematics - Automation - CAD-CAM - Programming - General - Interactive & Multimedia - Machinery - Machine-tools - Multimedia systems - Numerical control - Programming - Machine-tools, numerical control
Edition Identifiers:
- The Open Library ID: OL22083290M - OL10079199M - OL29217441M - OL31528M
- Online Computer Library Center (OCLC) ID: 45829601
- Library of Congress Control Number (LCCN): 99012091
- All ISBNs: ➤ 9780201331455 - 0201337967 - 9780130914125 - 0201331454 - 0130914126 - 9780201337969
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 The CNC workshop at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Computation and control III
By Bozeman Conference on Computation and Control (3rd 1992 Montana State University), Kenneth L. Bowers and John Lund
“Computation and control III” Metadata:
- Title: Computation and control III
- Authors: ➤ Bozeman Conference on Computation and Control (3rd 1992 Montana State University)Kenneth L. BowersJohn Lund
- Language: English
- Number of Pages: Median: 409
- Publisher: ➤ Birkhäuser - Birkhauser Verlag - Brand: Birkhäuser - Birkhäuser - Birkhauser
- Publish Date: 1993 - 2011 - 2012 - 2013
- Publish Location: Boston
“Computation and control III” Subjects and Themes:
- Subjects: ➤ Congresses - Control theory - Engineering mathematics - Partial Differential equations - System analysis - Artificial intelligence - Automatic control engineering - Mathematical theory of computation - Mathematics for scientists & engineers - Control Engineering - Science - Technology & Industrial Arts - Science/Mathematics - General - Robotics - Science / General - Earth Sciences - General - Differential equations, Partia - Differential equations, partial - Science (General) - Science, general
Edition Identifiers:
- The Open Library ID: OL1405772M - OL37427292M - OL28169490M - OL28651022M - OL8074472M
- Library of Congress Control Number (LCCN): 93014021
- All ISBNs: ➤ 146120321X - 9781461267065 - 1461267064 - 0817636560 - 9780817636562 - 9781461203223 - 9781461203216 - 1461203228
First Setence:
"An emerging technology for the 90s that offers new challenges for the distributed parameter control community involves the design, development and use of smart material structures."
Access and General Info:
- First Year Published: 1993
- 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 Computation and control III at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Data refinement
By W.-P. de Roever, Willem-Paul de Roever and Kai Engelhardt
“Data refinement” Metadata:
- Title: Data refinement
- Authors: W.-P. de RoeverWillem-Paul de RoeverKai Engelhardt
- Language: English
- Number of Pages: Median: 429
- Publisher: Cambridge University Press
- Publish Date: 1998 - 2001 - 2010 - 2011
- Publish Location: Cambridge, UK - New York, NY
“Data refinement” Subjects and Themes:
- Subjects: ➤ Computer simulation - Verification - Data structures (Computer science) - Computer programs - Databases & data structures - Mathematical theory of computation - Science/Mathematics - Data Structures - Computers - Computers - General Information - Networking - General - Database Management - General - Data structures (Computer scie - Computer Science - System Theory - Computers / Programming / Software Development - Computer Bks - General Information - Software engineering - Data structures (computer science)
Edition Identifiers:
- The Open Library ID: OL364458M - OL40507336M - OL34448089M - OL7749782M
- Library of Congress Control Number (LCCN): 98024731
- All ISBNs: ➤ 0511836503 - 0511663072 - 0521641705 - 9780511836503 - 9780511663079 - 9780521641708
First Setence:
"During the process of stepwise, hierarchical program development, a step represents a transformation of a so-called abstract higher level result into a more concrete lower level one."
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 Data refinement at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23DNA computing
By Gheorghe Păun, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa and Anne Condon
“DNA computing” Metadata:
- Title: DNA computing
- Authors: Gheorghe PăunGheorghe PaunGrzegorz RozenbergArto SalomaaAnne Condon
- Language: English
- Number of Pages: Median: 400
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 1998 - 2001 - 2003 - 2006
- Publish Location: Berlin - New York
“DNA computing” Subjects and Themes:
- Subjects: ➤ Molecular computers - Biotechnology - Mathematical logic - Mathematical theory of computation - Computers - General Information - Discrete Mathematics (Computer Science) - Theory Of Computing - Computers - Science/Mathematics - Artificial Intelligence - General - Computers / Computer Science - Computer Science - Congresses - Molecular electronics - Computer science - Qa76.887 .p38 1998 - 511.3
Edition Identifiers:
- The Open Library ID: OL9057293M - OL35781659M - OL9062523M - OL358949M
- Online Computer Library Center (OCLC) ID: 46866323
- Library of Congress Control Number (LCCN): 2001032224 - 98018927
- All ISBNs: ➤ 3540420762 - 9783540420767 - 3540641963 - 9783540449928 - 3540449922 - 9783540641964
First Setence:
"From silicon to carbon."
Access and General Info:
- First Year Published: 1998
- 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 DNA computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Scheduling and automatic parallelization
By Alain Darte, Yves. Robert and Frederic Vivien
“Scheduling and automatic parallelization” Metadata:
- Title: ➤ Scheduling and automatic parallelization
- Authors: Alain DarteYves. RobertFrederic Vivien
- Language: English
- Number of Pages: Median: 264
- Publisher: ➤ Birkhauser - Birkhäuser Boston - Island Press - Birkhäuser - Birkhauser Verlag
- Publish Date: 2000 - 2012
- Publish Location: Boston
“Scheduling and automatic parallelization” Subjects and Themes:
- Subjects: ➤ Compiling (Electronic computers) - Parallel processing (Electronic computers) - Mathematical theory of computation - Programming - Parallel Programming - Computers - Languages / Programming - Parallel Processing - Computers - Computer Books: General - Parallel processing (Electroni - Data Processing - Parallel Processing - Computer Engineering - Computers / Programming / Parallel - Computers / Programming / Software Development - Operations Research - Software Engineering - Compiling (Electronic computer - Parallel processing (electronic computers) - Compiling (electronic computers)
Edition Identifiers:
- The Open Library ID: OL50688822M - OL34523085M - OL34490769M - OL8074677M - OL16973493M
- Library of Congress Control Number (LCCN): 99046585
- All ISBNs: ➤ 9781461271130 - 9780817641498 - 1461213630 - 9781461213628 - 1461213622 - 1461271134 - 9781461213635 - 0817641491
First Setence:
"Consider the following algorithm to solve the linear system Ax = b, where A is an n x n nonsingular lower triangular matrix and b is a vector with n components: DO i=1, n Task Ti,i: x(i) = b(i) / a(i,i) DO j = i+1, n Task Ti,j: b(j) = b(j) - a(j,i) * x(i) ENDDO ENDDO"
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 Scheduling and automatic parallelization at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Complexity and Approximation
By G. Ausiello, P. Crescenzi, V. Kann, Marchetti-sp, Giorgio Gambosi and Alberto M. Spaccamela
“Complexity and Approximation” Metadata:
- Title: Complexity and Approximation
- Authors: ➤ G. AusielloP. CrescenziV. KannMarchetti-spGiorgio GambosiAlberto M. Spaccamela
- Language: English
- Number of Pages: Median: 524
- Publisher: ➤ Springer - Verlag GmbH & Co KG - Springer - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG - Springer-Verlag New York, Incorporated
- Publish Date: 1999 - 2003 - 2011 - 2013
- Publish Location: New York - S. l
“Complexity and Approximation” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Combinatorial optimization - Computational complexity - Algorithms & procedures - Mathematical theory of computation - Optimization - Reference works - Reference - General - Computer Engineering - Combinatorics - Computers - Computers - General Information - Computer Books: General - Computer Bks - General Information - Game Theory - Computers / Computer Science - Algebra - General
Edition Identifiers:
- The Open Library ID: OL30546928M - OL27973260M - OL9062869M - OL15520594M - OL15520596M
- Online Computer Library Center (OCLC) ID: 49963665 - 41967185
- Library of Congress Control Number (LCCN): 99040936
- All ISBNs: ➤ 3642635814 - 3642584136 - 9783540654315 - 3540654313 - 9783642584138 - 9783642635816
First Setence:
"IN INTRODUCTORY computer programming courses we learn that computers are used to execute algorithms for the solution of problems."
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 Complexity and Approximation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Systems Construction and Analysis
By Norman E. Fenton and Gillian Ann Foard Hill
“Systems Construction and Analysis” Metadata:
- Title: ➤ Systems Construction and Analysis
- Authors: Norman E. FentonGillian Ann Foard Hill
- Language: English
- Number of Pages: Median: 456
- Publisher: ➤ Mcgraw Hill Book Co Ltd - McGraw-Hill Publishing Co. - McGraw-Hill
- Publish Date: 1992 - 1993
- Publish Location: New York - London
“Systems Construction and Analysis” Subjects and Themes:
- Subjects: ➤ System analysis - System design - Mathematical theory of computation - Systems analysis & design
Edition Identifiers:
- The Open Library ID: OL9972452M - OL7308738M - OL1701068M - OL9263400M
- Library of Congress Control Number (LCCN): 92001487
- All ISBNs: 0077074319 - 0077077369 - 9780077074319 - 9780077077365
Author's Alternative Names:
"Fenton, Norman E." and "Norman Elliott Fenton"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 Systems Construction and Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Programming languages
By PLILP '96 (1996 Aachen, Germany), Germany) Plilp 9 (1996 Aachen, Herbert R. Kuchen and S. Doaitse Swierstra
“Programming languages” Metadata:
- Title: Programming languages
- Authors: ➤ PLILP '96 (1996 Aachen, Germany)Germany) Plilp 9 (1996 AachenHerbert R. KuchenS. Doaitse Swierstra
- Language: English
- Number of Pages: Median: 315
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 1996 - 2015
- Publish Location: Berlin - New York
“Programming languages” Subjects and Themes:
- Subjects: ➤ Congresses - Computer programming - Programming languages (Electronic computers) - Mathematical theory of computation - Programming languages - Programming Languages - General - Computers - Computer Programming Languages - Computers - Languages / Programming - Programming - General - Computer Books: Languages - Logic Design - Programming languages (Electro - Computer Science - Programming languages (electronic computers)
Edition Identifiers:
- The Open Library ID: OL997741M - OL9061978M - OL28294502M - OL34526802M
- Library of Congress Control Number (LCCN): 96036464
- All ISBNs: ➤ 3319240129 - 9783319240114 - 9783540617563 - 3540617566 - 9783319240121 - 3319240110
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 Programming languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28LISREL 8
By K. G. Jöreskog, Karl Joreskog, Dag Sorbom, Stephen du Toit, Mathilda du Toit and Karl G. Joreskog
“LISREL 8” Metadata:
- Title: LISREL 8
- Authors: ➤ K. G. JöreskogKarl JoreskogDag SorbomStephen du ToitMathilda du ToitKarl G. Joreskog
- Language: English
- Number of Pages: Median: 237
- Publisher: ➤ SSI - Scientific Software International - Lawrence Erlbaum Associates - L. Erlbaum Associates
- Publish Date: 1993 - 2000 - 2001
- Publish Location: ➤ Lincolnwood, Ill - Hillsdale, NJ
“LISREL 8” Subjects and Themes:
- Subjects: ➤ Data processing - LISREL - Social sciences - Statistical methods - Computer modelling & simulation - Mathematical theory of computation - Probability & statistics - General - Computers - Mathematics - Computer Books: Languages - Programming Languages - LISP
Edition Identifiers:
- The Open Library ID: OL8249916M - OL20421170M - OL21015702M - OL9388734M
- All ISBNs: 0894980513 - 9780805814422 - 9780894980510 - 0805814426
Access and General Info:
- First Year Published: 1993
- 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 LISREL 8 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Computational and Group-Theoretical Methods in Nuclear Physics
By Symposium on Computational and Group-Theoretical Methods in Nuclear Physics, Jutta Escher, SYMPOSIUM ON COMPUTATIONAL AND GROUP-THE and J. P. Draayer
“Computational and Group-Theoretical Methods in Nuclear Physics” Metadata:
- Title: ➤ Computational and Group-Theoretical Methods in Nuclear Physics
- Authors: ➤ Symposium on Computational and Group-Theoretical Methods in Nuclear PhysicsJutta EscherSYMPOSIUM ON COMPUTATIONAL AND GROUP-THEJ. P. Draayer
- Language: English
- Number of Pages: Median: 271
- Publisher: ➤ World Scientific Publishing Co Pte Ltd - World Scientific - World Scientific Publishing Company
- Publish Date: 2004 - 2005
- Publish Location: Singapore
“Computational and Group-Theoretical Methods in Nuclear Physics” Subjects and Themes:
- Subjects: ➤ Atomic & molecular physics - Mathematical theory of computation - Nuclear structure physics - Science - Congresses - Physics - Science/Mathematics - Nuclear Physics - Mathematical Physics - Mathematics
Edition Identifiers:
- The Open Library ID: OL9196464M - OL22625762M - OL49244497M - OL49249069M
- All ISBNs: ➤ 9781281899033 - 9789812385963 - 1281899038 - 9812385967 - 9812703020 - 9789812703026
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 Computational and Group-Theoretical Methods in Nuclear Physics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Interactive Differential Equations
By Beverly West, Steven H. Strogatz, Jean Marie McDill, John Cantwell and Hubert Hohn
“Interactive Differential Equations” Metadata:
- Title: ➤ Interactive Differential Equations
- Authors: Beverly WestSteven H. StrogatzJean Marie McDillJohn CantwellHubert Hohn
- Language: English
- Publisher: ➤ Addison Wesley Longman - Addison Wesley - Addison-Wesley
- Publish Date: 1996 - 1997 - 1999
“Interactive Differential Equations” Subjects and Themes:
- Subjects: ➤ Mathematics and Science - Science/Mathematics - Textbooks - Computer Books: General - Differential equations - Mathematical theory of computation - General - Microsoft Windows
Edition Identifiers:
- The Open Library ID: OL10148794M - OL10168470M - OL10168035M
- All ISBNs: ➤ 0201192284 - 9780201192285 - 0201618397 - 0201571315 - 9780201571318 - 9780201618396
Author's Alternative Names:
"Steven Strogatz", "Stephen Strogatz" and "Steven H. Strogatz,Steven Strogatz"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 Interactive Differential Equations at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Computational mathematics driven by industrial problems
By Rainer E. Burkard, V. Capasso, Jacques Periaux, R. Burkard, P. Deuflhard, A. Jameson, Jacques Louis Lions and G. Strang
“Computational mathematics driven by industrial problems” Metadata:
- Title: ➤ Computational mathematics driven by industrial problems
- Authors: ➤ Rainer E. BurkardV. CapassoJacques PeriauxR. BurkardP. DeuflhardA. JamesonJacques Louis LionsG. Strang
- Language: English
- Number of Pages: Median: 414
- Publisher: Springer
- Publish Date: 2000 - 2007 - 2014
- Publish Location: Berlin - New York
“Computational mathematics driven by industrial problems” Subjects and Themes:
- Subjects: ➤ Mathematical models - Congresses - Industrial applications - Mathematics - Thermodynamics - Numerical analysis - Distribution (Probability theory) - Mathematical optimization - Systems theory - Calculus of variations - Mathematical theory of computation - Mathematics for scientists & engineers - Operations Research (Engineering) - Science/Mathematics - Medical / Nursing - Operations Research - Number Systems - General - Probability & Statistics - General - 49-XX - 65-XX - Computational mathematics - Mathematics / Number Systems - Mathematics-Number Systems - Mathematics-Probability & Statistics - General - Medical / General - Applied - Industrial management, mathematical models
Edition Identifiers:
- The Open Library ID: OL37394566M - OL15486502M - OL28037448M - OL9063431M
- Online Computer Library Center (OCLC) ID: 505746834 - 44869033
- Library of Congress Control Number (LCCN): 00063777
- All ISBNs: ➤ 9783540449768 - 3662173867 - 3540449760 - 3540677828 - 9783540677826 - 9783662173862
Author's Alternative Names:
"J.L. Lions", "Prof. J. L. Lions", "Jacques-Louis Lions", "Jacques L. Lions", "J.-L. Lions†", "J. L. Lions", "J.-L Lions", "J. -L Lions" and "J.-L. Lions"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 Computational mathematics driven by industrial problems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Monte Carlo methods for applied scientists
By Ivan T. Dimov and Sean McKee
“Monte Carlo methods for applied scientists” Metadata:
- Title: ➤ Monte Carlo methods for applied scientists
- Authors: Ivan T. DimovSean McKee
- Language: English
- Number of Pages: Median: 296
- Publisher: ➤ World Scientific - World Scientific Publishing Company - World Scientific Publishing Co Pte Ltd
- Publish Date: 2005 - 2007 - 2008
- Publish Location: Hackensack, N.J
“Monte Carlo methods for applied scientists” Subjects and Themes:
- Subjects: ➤ Monte Carlo method - Applied mathematics - Mathematical theory of computation - Probability & statistics - Algorithms (Computer Programming) - Numerical Analysis - Science - Mathematics - Science/Mathematics - General - Applied Sciences - Monte carlo method
Edition Identifiers:
- The Open Library ID: OL49255904M - OL49245927M - OL13167819M - OL22515581M
- Library of Congress Control Number (LCCN): 2008273180
- All ISBNs: ➤ 9789812779892 - 9781281938190 - 9810223293 - 128193819X - 9789810223298 - 9812779892
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 Monte Carlo methods for applied scientists at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Numerical solution of SDE through computer experiments
By Peter E. Kloeden, Peter Eris Kloeden, Eckhard Platen and Henri Schurz
“Numerical solution of SDE through computer experiments” Metadata:
- Title: ➤ Numerical solution of SDE through computer experiments
- Authors: Peter E. KloedenPeter Eris KloedenEckhard PlatenHenri Schurz
- Language: English
- Number of Pages: Median: 292
- Publisher: Springer-Verlag - Springer
- Publish Date: 1994 - 1997 - 2003 - 2012
- Publish Location: New York - Berlin
“Numerical solution of SDE through computer experiments” Subjects and Themes:
- Subjects: ➤ Numerical solutions - Stochastic differential equations - Data processing - Applications of Computing - Differential equations - Mathematical theory of computation - Stochastics - Science/Mathematics - Stochastic Processes - Mathematics - Computer Books: General - Number Systems - Probability & Statistics - General - Computer Experiment - Mathematics / Statistics - Mathematics : Number Systems - SDE - discrete time approximations - higher order numerical schemes - numerical simulation - stochastic Taylor expansion - Numerical analysis - Distribution (Probability theory) - Probability Theory and Stochastic Processes
Edition Identifiers:
- The Open Library ID: OL37425029M - OL9061063M - OL1161370M - OL681140M
- Online Computer Library Center (OCLC) ID: 29788831
- Library of Congress Control Number (LCCN): 97027732 - 94140189
- All ISBNs: 9783642579134 - 3642579132 - 3540570748 - 9783540570745
First Setence:
"In everyday life we meet many situations where randomness plays a crucial role."
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 Numerical solution of SDE through computer experiments at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Towards efficient fuzzy information processing
By Chongfu Huang, Chongfu Huang and Yong Shi
“Towards efficient fuzzy information processing” Metadata:
- Title: ➤ Towards efficient fuzzy information processing
- Authors: Chongfu HuangChongfu HuangYong Shi
- Language: English
- Number of Pages: Median: 383
- Publisher: ➤ Physica-Verlag - Physica-Verlag Heidelberg
- Publish Date: 2002 - 2010 - 2012
- Publish Location: New York - Heidelberg
“Towards efficient fuzzy information processing” Subjects and Themes:
- Subjects: ➤ Soft computing - Uncertainty (Information theory) - Fuzzy systems - Engineering - Computer science - Artificial intelligence - Fuzzy set theory - Mathematical theory of computation - Theory Of Computing - Electronics - General - Information Theory - Computers - Computers - General Information - Computer Books: General - Artificial Intelligence - General - General - Computers / Artificial Intelligence - Data Modeling - Fuzziness - Fuzzy Engineering - Information Diffusion - Information Processing - Knowledge Modeling - Medical-General - Uncertainty (Information theor - Uncertainty (information theory)
Edition Identifiers:
- The Open Library ID: OL37394649M - OL37119604M - OL9103961M - OL18177090M
- Library of Congress Control Number (LCCN): 2002025767
- All ISBNs: ➤ 3790825115 - 379081475X - 9783790825114 - 9783790814750 - 9783790817850 - 3790817856
First Setence:
"This chapter introduces a novel approach, called information matrix, to illustrate a given small-sample for its information structure."
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 Towards efficient fuzzy information processing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Verification of computer codes in computational science and engineering
By Patrick M. Knupp, Patrick Knupp and Kambiz Salari
“Verification of computer codes in computational science and engineering” Metadata:
- Title: ➤ Verification of computer codes in computational science and engineering
- Authors: Patrick M. KnuppPatrick KnuppKambiz Salari
- Language: English
- Number of Pages: Median: 160
- Publisher: ➤ Chapman & Hall/CRC Press - Taylor & Francis Group - Chapman & Hall/CRC
- Publish Date: 2002 - 2003
- Publish Location: Boca Raton, Fla
“Verification of computer codes in computational science and engineering” Subjects and Themes:
- Subjects: ➤ Numerical calculations - Numerical solutions - Partial Differential equations - Verification - Differential Equations - Partial - MATHEMATICS - Engineering: general - Mathematical theory of computation - Programming - Software Development - Engineering - Civil - Coding Techniques - Software Quality Control - Science/Mathematics - Computers - Engineering - Mechanical - Applied - Mathematics / Number Systems - Programming - Systems Analysis & Design - Differential equations, Partia - Differential equations, Partial - Differential equations, parabolic, numerical solutions - Calculs numériques - Vérification - Équations aux dérivées partielles - Solutions numériques
Edition Identifiers:
- The Open Library ID: OL33731112M - OL29023720M - OL8795288M - OL18180108M
- Online Computer Library Center (OCLC) ID: 50164835 - 276796519
- Library of Congress Control Number (LCCN): 2002073821
- All ISBNs: ➤ 9780429122750 - 1584882646 - 9781584882640 - 1420035428 - 9781420035421 - 0429122756
First Setence:
"A significant development of the Scientific Revolution was the discovery and derivation of mathematical equations that could be used to describe the behavior of physical systems."
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 Verification of computer codes in computational science and engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Formal concept analysis
By Bernhard Ganter and Rudolf Wille
“Formal concept analysis” Metadata:
- Title: Formal concept analysis
- Authors: Bernhard GanterRudolf Wille
- Language: English
- Number of Pages: Median: 284
- Publisher: Springer
- Publish Date: 1998 - 1999
- Publish Location: New York - Berlin
“Formal concept analysis” Subjects and Themes:
- Subjects: ➤ Artificial intelligence - Comprehension (Theory of knowledge) - Information theory - Lattice theory - Logic, Symbolic and mathematical - Mathematical models - Symbolic and mathematical Logic - Information storage and retrieval systems - Computer science - Applied mathematics - Databases & data structures - Mathematical theory of computation - Computers - General Information - Science/Mathematics - Computers - Logic - Information Storage & Retrieval - Reference - General - Computers / Information Storage & Retrieval - Comprehension (Theory of knowl - Mathematics, methodology
Edition Identifiers:
- The Open Library ID: OL9062147M - OL385010M
- Online Computer Library Center (OCLC) ID: 40163504
- Library of Congress Control Number (LCCN): 98047620
- All ISBNs: 3540627715 - 9783540627715
First Setence:
"Formal Concept Analysis is based on mathematical order theory, in particular on the theory of complete lattices."
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal concept analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37International Symposium on Mathematics, Quantum Theory, and Cryptography
By Tsuyoshi Takagi
“International Symposium on Mathematics, Quantum Theory, and Cryptography” Metadata:
- Title: ➤ International Symposium on Mathematics, Quantum Theory, and Cryptography
- Author: Tsuyoshi Takagi
- Language: English
- Number of Pages: Median: 274
- Publisher: ➤ Springer Nature - Springer Singapore Pte. Limited
- Publish Date: 2020 - 2021
“International Symposium on Mathematics, Quantum Theory, and Cryptography” Subjects and Themes:
- Subjects: ➤ Mathematical theory of computation - Algorithms & data structures - Maths for engineers - Computer security
Edition Identifiers:
- The Open Library ID: OL31375320M - OL37984319M - OL35591396M
- All ISBNs: ➤ 9789811551918 - 9789811551901 - 9811551901 - 981155191X - 9811551936 - 9789811551932
Access and General Info:
- First Year Published: 2020
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find International Symposium on Mathematics, Quantum Theory, and Cryptography at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Algebraic and logic programming
By Michael Hanus, Germany) Alp 9 (1996 Aachen and M. Rodriguez Artalejo
“Algebraic and logic programming” Metadata:
- Title: ➤ Algebraic and logic programming
- Authors: Michael HanusGermany) Alp 9 (1996 AachenM. Rodriguez Artalejo
- Language: English
- Number of Pages: Median: 345
- Publisher: Springer
- Publish Date: 1996
- Publish Location: New York - Berlin
“Algebraic and logic programming” Subjects and Themes:
- Subjects: ➤ Wiskundige logica - Algebra - Programmeren (computers) - Programmation logique - Logic programming - Logique algebrique - Congresses - Algebraic logic - Programmierung - Congres - Termersetzungssystem - Algebraische Spezifikation - Logische Programmierung - Mathematical Logic and Formal Languages - Computer Science - Logic design - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics) - Programming Languages, Compilers, Interpreters - Artificial intelligence - Computer Programming - Computer architecture & logic design - Mathematical theory of computation - Programming - General - Computers - Languages / Programming - Computers - Computer Books: Languages - Programming Languages - General - Logic
Edition Identifiers:
- The Open Library ID: OL1002435M - OL9061972M
- Online Computer Library Center (OCLC) ID: 35397838
- Library of Congress Control Number (LCCN): 96041750
- All ISBNs: 9783540617358 - 3540617353
First Setence:
"The fundamental interest of using term rewriting as an executable specification tool was shown in the last two decades, through many theoretical works but also many implementations of the concept, like (without exhaustivity) OBJ, PLUSS, LPG, ASF+SDF."
Access and General Info:
- First Year Published: 1996
- 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 and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Computability
By Richard L. Epstein and Walter A. Carnielli
“Computability” Metadata:
- Title: Computability
- Authors: Richard L. EpsteinWalter A. Carnielli
- Language: English
- Number of Pages: Median: 299
- Publisher: ➤ Wadsworth & Brooks/Cole Advanced Books & Software - Wadsworth/Thomson Learning - Wadsworth Publishing
- Publish Date: 1989 - 1999 - 2000
- Publish Location: ➤ Belmont, CA - Pacific Grove, Calif
“Computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Gödel's theorem - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Logic, Symbolic and mathematic - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Logic - Philosophy / General
Edition Identifiers:
- The Open Library ID: OL2188845M - OL7785461M - OL32454M
- Library of Congress Control Number (LCCN): 89007097 - 99014119
- All ISBNs: 0534546447 - 9780534103569 - 9780534546441 - 0534103561
First Setence:
"Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics."
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 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40C++ toolbox for verified computing I
By Rolf Hammer, Matthias Hocks, Ulrich Kulisch and Dietmar Ratz
“C++ toolbox for verified computing I” Metadata:
- Title: ➤ C++ toolbox for verified computing I
- Authors: Rolf HammerMatthias HocksUlrich KulischDietmar Ratz
- Language: English
- Number of Pages: Median: 380
- Publisher: Springer - Island Press
- Publish Date: 1995 - 1997
- Publish Location: New York - Berlin
“C++ toolbox for verified computing I” Subjects and Themes:
- Subjects: ➤ C++ (Computer program language) - C & Visual C - Mathematical theory of computation - Utilities & tools - Applied - Mathematical Analysis - Number Systems - C++ und C-XSC - Intervallarithmetik - Mathematics / Number Systems - Selbstverifizierende Numerik - Verified scientific computing - Verifiziertes wissenschaftliches Rechnen - automatic result - automatische Ergebnisverifikation - c++ and c-xsc - interval arithmetic - self-validating numerics - simplification of programming - verification - Mathematics
Edition Identifiers:
- The Open Library ID: OL50683470M - OL9061469M - OL1278428M
- Online Computer Library Center (OCLC) ID: 32166841
- Library of Congress Control Number (LCCN): 95010173
- All ISBNs: ➤ 9783642796524 - 9780387591100 - 3642796524 - 9783540591108 - 0387591109 - 3540591109
Author's Alternative Names:
"Ulrich W. Kulisch"Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find C++ toolbox for verified computing I at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Fault-tolerant parallel computation
By P. C. Kanellakis, Paris Christos Kanellakis and Alex Allister Shvartsman
“Fault-tolerant parallel computation” Metadata:
- Title: ➤ Fault-tolerant parallel computation
- Authors: P. C. KanellakisParis Christos Kanellakis Alex Allister Shvartsman
- Language: English
- Number of Pages: Median: 202
- Publisher: Kluwer Academic - Springer
- Publish Date: 1997
- Publish Location: Boston
“Fault-tolerant parallel computation” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Parallel processing (Electronic computers) - Fault-tolerant computing - Algorithms & procedures - Mathematical theory of computation - Parallel Processing - Algorithms (Computer Programming) - Computers - Computers - General Information - Computer Books: Spreadsheets - Data Processing - Parallel Processing - Computer Architecture - General - Computer Science - Computers / Computer Architecture - Computers / Computer Science - Computers : Computer Science - Parallel processing (Electroni - Parallel processing (electronic computers)
Edition Identifiers:
- The Open Library ID: OL7810894M - OL665412M
- Library of Congress Control Number (LCCN): 97011038
- All ISBNs: 9780792399223 - 0792399226
Access and General Info:
- First Year Published: 1997
- 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 Fault-tolerant parallel computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Fundamentals of convex analysis
By Jean-Baptiste Hiriart-Urruty and Claude Lemaréchal
“Fundamentals of convex analysis” Metadata:
- Title: ➤ Fundamentals of convex analysis
- Authors: Jean-Baptiste Hiriart-UrrutyClaude Lemaréchal
- Language: English
- Number of Pages: Median: 259
- Publisher: Springer
- Publish Date: 2001 - 2004
- Publish Location: New York - Berlin
“Fundamentals of convex analysis” Subjects and Themes:
- Subjects: ➤ Convex sets - Convex functions - Mathematical analysis - Calculus & mathematical analysis - Mathematical theory of computation - Functions Of Real Variables - Linear Programming - Mathematics - Science/Mathematics - Applied - Calculus - Convex analysis - Mathematics / Calculus - Mathematics / Linear Programming - Mathematics : Applied - Mathematics : Linear Programming - mathematical programming - nondifferentiable optimization - Functional Analysis - Systems theory - Mathematical optimization
Edition Identifiers:
- The Open Library ID: OL9057336M - OL21462553M - OL20644567M
- Online Computer Library Center (OCLC) ID: 47915788
- Library of Congress Control Number (LCCN): 2001053271
- All ISBNs: 9783540422051 - 3540422056
First Setence:
"1.1 In the totally ordered set R, inf E and sup E are respectively the greatest lower bound - the infimum - and least upper bound - the supremum - of a nonempty subset E, when they exist (as real numbers)."
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 Fundamentals of convex analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Graph-Theoretic Concepts in Computer Science
By Hans L. Bodlaender
“Graph-Theoretic Concepts in Computer Science” Metadata:
- Title: ➤ Graph-Theoretic Concepts in Computer Science
- Author: Hans L. Bodlaender
- Language: English
- Number of Pages: Median: 420
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2003 - 2004 - 2017
“Graph-Theoretic Concepts in Computer Science” Subjects and Themes:
- Subjects: ➤ Computer modelling & simulation - Mathematical theory of computation - Graph theory - Computers - General Information - Computers - Computer Books: General - Machine Theory - Discrete Mathematics - Computers / Computer Science - Computer Science - Congresses - Fundamentele informatica. - gtt - Computer science
Edition Identifiers:
- The Open Library ID: OL35778003M - OL28326612M - OL9387166M
- All ISBNs: ➤ 3540204520 - 3319687042 - 9783540398905 - 9783540204527 - 3540398902 - 9783319687049
First Setence:
"The collection of methods for classifying problems as fixed-parameter tractable, for designing FPT algorithms, for designing better FPT algorithms and transfer-ing these results to practical implementations, and for describing FPT problem transformations to prove lower bound and intractability results, has developed with surprising vigor yet it still seems we are far from having the "basic vocabulary" of effective FPT algorithm design techniques worked out."
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 Graph-Theoretic Concepts in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44CAAM-90 International Seminar on Computer Algebra and Its Applications to Mechanics
By CAAM-90 International Seminar on Computer Algebra and Its Applications to Mechanics (1990 Novosibirsk and Irkutsk), V. G. Ganzha and V. M. Rudenko
“CAAM-90 International Seminar on Computer Algebra and Its Applications to Mechanics” Metadata:
- Title: ➤ CAAM-90 International Seminar on Computer Algebra and Its Applications to Mechanics
- Authors: ➤ CAAM-90 International Seminar on Computer Algebra and Its Applications to Mechanics (1990 Novosibirsk and Irkutsk)V. G. GanzhaV. M. Rudenko
- Language: English
- Number of Pages: Median: 197
- Publisher: ➤ Nova Science Publishers - Nova Science Publishers, Inc.
- Publish Date: 1993
- Publish Location: Commack, N.Y
“CAAM-90 International Seminar on Computer Algebra and Its Applications to Mechanics” Subjects and Themes:
- Subjects: ➤ Congresses - Data processing - Mechanics - Algebra - Mathematical theory of computation - Mechanical engineering - Discrete Mathematics - Computer Mathematics - Engineering Mechanics - Mathematics - Science/Mathematics - International trade - Unfair Competition - General Agreement on Tariffs and Trade - Commercial policy - International Competition - Foreign economic relations
Edition Identifiers:
- The Open Library ID: OL16732383M - OL12119985M - OL21171391M
- Online Computer Library Center (OCLC) ID: 29413162 - 29413702
- All ISBNs: 1560721030 - 9781560721031
Access and General Info:
- First Year Published: 1993
- 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 CAAM-90 International Seminar on Computer Algebra and Its Applications to Mechanics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Propositional logic
By H. Kleine Büning, Hans Kleine Büning and Theodor Lettmann
“Propositional logic” Metadata:
- Title: Propositional logic
- Authors: H. Kleine BüningHans Kleine BüningTheodor Lettmann
- Language: English
- Number of Pages: Median: 415
- Publisher: Cambridge University Press
- Publish Date: 1999
- Publish Location: New York - Cambridge [England]
“Propositional logic” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Computer logic - Algorithmes - Algorithme - Automatische bewijsvoering - Logique propositionnelle - Logique (Informatique) - Algoritmen - Structure de données - Algorithme résolution - Démonstration automatique de théorèmes - Déduction - Calcul propositionnel - Aussagenlogik - Satisfiabilité - Clause Horn - Logique informatique - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Computers - General Information - Algorithms (Computer Programming) - Philosophy Of Mathematics - Computers - Programming - General - Discrete Mathematics - Computer Science - Logic - Computers / Programming / Software Development - Computer Bks - General Information - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL7749360M - OL18820915M
- Online Computer Library Center (OCLC) ID: 39655053
- Library of Congress Control Number (LCCN): 98038806
- All ISBNs: 0521630177 - 9780521630177
First Setence:
"Mathematical logic has from its very beginning concerned itself with, amongst other things, a precise explication of the concept of proof, that is to say the concept of logical deduction."
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 Propositional logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Stabilization problems with constraints
By V. A. Bushenkov, Vladimir A Bushenkov and Georgi V Smirnov
“Stabilization problems with constraints” Metadata:
- Title: ➤ Stabilization problems with constraints
- Authors: V. A. BushenkovVladimir A BushenkovGeorgi V Smirnov
- Language: English
- Number of Pages: Median: 298
- Publisher: ➤ Gordon and Breach Science Publishers - CRC
- Publish Date: 1997 - 1998
- Publish Location: Australia
“Stabilization problems with constraints” Subjects and Themes:
- Subjects: ➤ Convex functions - Differential equations - Linear systems - Stability - Applied mathematics - Mathematical theory of computation - Science - Mathematics - Science/Mathematics - Physics - Science / Physics - Mathematics, problems, exercises, etc.
Edition Identifiers:
- The Open Library ID: OL117399M - OL9106596M
- Online Computer Library Center (OCLC) ID: 40268015
- Library of Congress Control Number (LCCN): 99459976
- All ISBNs: 9789056991418 - 9056991418
First Setence:
"In this chapter we study main algebraic and topological properties of convex sets."
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 Stabilization problems with constraints at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Algorithms - ESA '95
By ESA '95 (1995 Corfu, Greece), Greece) Esa 9 (1995 Corfu and P. G. Spirakis
“Algorithms - ESA '95” Metadata:
- Title: Algorithms - ESA '95
- Authors: ESA '95 (1995 Corfu, Greece)Greece) Esa 9 (1995 CorfuP. G. Spirakis
- Language: English
- Number of Pages: Median: 598
- Publisher: ➤ Springer - Springer-Verlag Telos
- Publish Date: 1995
- Publish Location: Berlin - New York
“Algorithms - ESA '95” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Congresses - Computer Programming - Mathematical theory of computation - Science/Mathematics - Algorithms (Computer Programming) - Computers - Computers - General Information - Machine Theory - Computer Books: General - Computer Architecture - General - Computer Science
Edition Identifiers:
- The Open Library ID: OL800770M - OL9061638M
- Library of Congress Control Number (LCCN): 95037098
- All ISBNs: 9783540603139 - 3540603131
First Setence:
"Certificates with fewer edges than the original graph are useful for improving the efficiency of a number of graph algorithms."
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Algorithms - ESA '95 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Conditional and typed rewriting systems
By International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem), Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata, Naomi Lindenstrauss and Nachum Dershowitz
“Conditional and typed rewriting systems” Metadata:
- Title: ➤ Conditional and typed rewriting systems
- Authors: ➤ International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem)Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on AutomataNaomi LindenstraussNachum Dershowitz
- Language: English
- Number of Pages: Median: 378
- Publisher: Springer
- Publish Date: 1995
- Publish Location: New York - Berlin
“Conditional and typed rewriting systems” Subjects and Themes:
- Subjects: ➤ Congresses - Computer programming - Rewriting systems (Computer science) - Algorithms - Mathematical theory of computation - Programming - General - Rewriting systems (Computer sc - Mathematics - Computers - Languages / Programming - Science/Mathematics - Logic - Programming Languages - General - Computer Science
Edition Identifiers:
- The Open Library ID: OL803127M - OL9061659M
- Library of Congress Control Number (LCCN): 95039593
- All ISBNs: 9783540603818 - 3540603816
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Conditional and typed rewriting systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49FME '97, industrial applications and strengthened foundations of formal methods
By International Symposium of Formal Methods Europe (4th 1997 Graz, Austria), C. B. Jones and Peter Lucas
“FME '97, industrial applications and strengthened foundations of formal methods” Metadata:
- Title: ➤ FME '97, industrial applications and strengthened foundations of formal methods
- Authors: ➤ International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)C. B. JonesPeter Lucas
- Language: English
- Number of Pages: Median: 685
- Publisher: Springer
- Publish Date: 1997
- Publish Location: New York - Berlin
“FME '97, industrial applications and strengthened foundations of formal methods” Subjects and Themes:
- Subjects: ➤ Methodology - Congresses - System design - Mathematical theory of computation - Programming - Software Development - Software Engineering - Systems Engineering - Computers - Computers - Languages / Programming - Science/Mathematics
Edition Identifiers:
- The Open Library ID: OL689979M - OL9062352M
- Library of Congress Control Number (LCCN): 97037056
- All ISBNs: 9783540635338 - 3540635335
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 FME '97, industrial applications and strengthened foundations of formal methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages
By Conference on Ordered Structures and Algebra of Computer Languages (1991 Hong Kong), K. P. Shum and Pong C. Yuen
“Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages” Metadata:
- Title: ➤ Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages
- Authors: ➤ Conference on Ordered Structures and Algebra of Computer Languages (1991 Hong Kong)K. P. ShumPong C. Yuen
- Language: English
- Number of Pages: Median: 361
- Publisher: ➤ World Scientific - World Scientific Pub Co Inc
- Publish Date: 1993
- Publish Location: River Edge, N.J - Singapore
“Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages” Subjects and Themes:
- Subjects: ➤ Congresses - Machine theory - Semigroups - Applied mathematics - Mathematical theory of computation - Programming languages - Computer Mathematics - Theory Of Computing - Science/Mathematics
Edition Identifiers:
- The Open Library ID: OL1407864M - OL9194006M
- Online Computer Library Center (OCLC) ID: 27430580
- Library of Congress Control Number (LCCN): 93016336
- All ISBNs: 9810212402 - 9789810212407
Access and General Info:
- First Year Published: 1993
- 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 Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.