Matematisk datateori

Gem søgning

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV View_Book

The Definitive Guide to How Computers Do Math

Clive Maxfield, Alvin Brown The Definitive Guide to How Computers Do Math View_Book

Mathematical Foundations of Computer Science 2006

Mathematical Foundations of Computer Science 2006 View_Book

Functional Interpretation Of Logical Deduction, The

Anjolina G De Oliveira, Dov M Gabbay, Ruy J G B De Queiroz Functional Interpretation Of Logical Deduction, The View_Book

Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science View_Book

Mathematical Aspects of Computer and Information Sciences

Mathematical Aspects of Computer and Information Sciences View_Book

Mathematics of Quantum Computation and Quantum Technology

Mathematics of Quantum Computation and Quantum Technology View_Book

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy View_Book

Computational Science – ICCS 2021

Computational Science – ICCS 2021 View_Book

Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems View_Book

Coalgebraic Methods in Computer Science

Coalgebraic Methods in Computer Science View_Book

Nature-Inspired Computing

Nazmul H. Siddique, Hojjat Adeli Nature-Inspired Computing View_Book

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures View_Book

200 Problems on Languages, Automata, and Computation

200 Problems on Languages, Automata, and Computation View_Book

Symbolic Computation and Automated Reasoning

Symbolic Computation and Automated Reasoning View_Book

Introduction To Quantum Computers

Vladimir I Tsifrinovich, Ronnie Mainieri, Gennady P Berman, Gary D Doolen Introduction To Quantum Computers View_Book

An Introduction to Scientific, Symbolic, and Graphical Computation

Eugene Fiume An Introduction to Scientific, Symbolic, and Graphical Computation View_Book

Temporal Logic View_Book