Matematisk logik

Gem søgning

Practical Cryptography

Practical Cryptography View_Book

Data-driven Block Ciphers for Fast Telecommunication Systems

Alexander A. Moldovyan, Nikolai Moldovyan Data-driven Block Ciphers for Fast Telecommunication Systems View_Book

Richard A. Mollin Quadratics View_Book

Fuzzy Automata and Languages

John N. Mordeson, Davender S. Malik Fuzzy Automata and Languages View_Book

Authentication Codes and Combinatorial Designs

Dingyi Pei Authentication Codes and Combinatorial Designs View_Book

Problems With A Point: Exploring Math And Computer Science

Clyde Kruskal, William Gasarch Problems With A Point: Exploring Math And Computer Science View_Book

Managing Trust in Cyberspace

Managing Trust in Cyberspace View_Book

$Model Theory of $\mathrm {C}^*$-Algebras$

Ilijas Farah, Martino Lupini, Bradd Hart, Aaron Tikuisis, Leonel Robert Model Theory of $\mathrm {C}^*$-Algebras View_Book

Formal Methods Teaching

Formal Methods Teaching View_Book

Philosophy of Mathematics

Ahmet Cevik Philosophy of Mathematics View_Book

Time & Logic View_Book

Algebraic Computability and Enumeration Models

Cyrus F. Nourani Algebraic Computability and Enumeration Models View_Book

Global Solution For Sudoku

Zhong-qi Ma Global Solution For Sudoku View_Book

Science Of Learning Mathematical Proofs, The: An Introductory Course

Elana Reiser Science Of Learning Mathematical Proofs, The: An Introductory Course View_Book

Security without Obscurity

Jeff Stapleton Security without Obscurity View_Book

Structures Meres: Semantics, Mathematics, and Cognitive Science

Structures Meres: Semantics, Mathematics, and Cognitive Science View_Book

The Giant Book of Suguru

Alzamili Khalid Alzamili, Khalid Alzamili The Giant Book of Suguru View_Book

The Nuts and Bolts of Proofs

Antonella (Associate Professor of Mathematics Cupillari, Antonella Cupillari The Nuts and Bolts of Proofs View_Book

Quantum Computation

Helmut Bez, Tony Croft Quantum Computation View_Book

Fundamentals of Linear Algebra

J.S. Chahal Fundamentals of Linear Algebra View_Book

Richard E. (Appalachian State University Klima, Neil (Radford University Sigmon, Richard (Appalachian State University Klima, Neil P. (Radford University Sigmon, Neil P. Sigmon, Richard E. Klima, Neil Sigmon, Richard Klima Cryptology View_Book

Douglas Robert (University of Waterloo Stinson, Maura Paterson, Douglas Robert Stinson Cryptography View_Book

Combinatorics and Number Theory of Counting Sequences

Istvan Mezo Combinatorics and Number Theory of Counting Sequences View_Book

An Introduction to Mathematical Proofs

Nicholas A. Loehr An Introduction to Mathematical Proofs View_Book

A Transition to Proof

Neil R. Nicholson A Transition to Proof View_Book

The Story of Proof

John Stillwell The Story of Proof View_Book

Universal Algebraic Logic

Hajnal Andreka, Istvan Nemeti, Zalan Gyenis, Ildiko Sain Universal Algebraic Logic View_Book

Cybersecurity Analytics

David J. (Naval Surface Warfare Center Marchette, Rakesh M. (University of Houston Verma, Rakesh M. Verma, David J. Marchette Cybersecurity Analytics View_Book

Reverse Mathematics

Damir D. Dzhafarov, Carl Mummert Reverse Mathematics View_Book

Mathematics of Casino Carnival Games

Mark Bollman Mathematics of Casino Carnival Games View_Book