Matematisk logik

Gem søgning

John T. Baldwin Categoricity View_Book

Writing for Video Game Genres

Writing for Video Game Genres View_Book

Proceedings Of The 13th Asian Logic Conference

Proceedings Of The 13th Asian Logic Conference View_Book

Introduction to Mathematical Proofs

Charles Roberts, Fred Roberts Introduction to Mathematical Proofs View_Book

E-recursion, Forcing And C*-algebras

E-recursion, Forcing And C*-algebras View_Book

Taming the Unknown

Victor J. Katz, Karen Hunger Parshall Taming the Unknown View_Book

Forcing For Mathematicians

Nik Weaver Forcing For Mathematicians View_Book

How to Read and Do Proofs

D Solow, Daniel (Case Western Reserve University Solow, Daniel Solow How to Read and Do Proofs View_Book

Quantum Physics and Linguistics

Quantum Physics and Linguistics View_Book

Computer Security Literacy

Joseph Idziorek, Douglas Jacobson Computer Security Literacy View_Book

Multiple-Base Number System

Vassil Dimitrov, Graham Jullien, Roberto Muscedere Multiple-Base Number System View_Book

Visual Cryptography and Secret Image Sharing

Visual Cryptography and Secret Image Sharing View_Book

Distributed Networks

Distributed Networks View_Book

Security for Wireless Sensor Networks using Identity-Based Cryptography

Stephen A. Szygenda, Harsh Kupwade Patil Security for Wireless Sensor Networks using Identity-Based Cryptography View_Book

Noiseless Steganography

Abdelrahman Desoky Noiseless Steganography View_Book

Two Applications of Logic to Mathematics

Gaisi Takeuti Two Applications of Logic to Mathematics View_Book

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques View_Book

Correct System Design

Correct System Design View_Book

Fields of Logic and Computation II

Fields of Logic and Computation II View_Book

Automated Deduction in Geometry

Automated Deduction in Geometry View_Book

Introduction to Certificateless Cryptography

Zhen Qin, Hu Xiong, Athanasios V. Vasilakos Introduction to Certificateless Cryptography View_Book

Handbook of Image-based Security Techniques

Shivendra Shivani, Jasjit S. Suri, Suneeta Agarwal Handbook of Image-based Security Techniques View_Book

The Equation of Knowledge

Le Nguyen Hoang The Equation of Knowledge View_Book

Formal Aspects of Component Software

Formal Aspects of Component Software View_Book

Quantitative Reasoning

Eric Zaslow Quantitative Reasoning View_Book

Parameterized Complexity in the Polynomial Hierarchy

Ronald de Haan Parameterized Complexity in the Polynomial Hierarchy View_Book

Arabic Logic from al-Farabi to Averroes

Saloua Chatti Arabic Logic from al-Farabi to Averroes View_Book

Application of Fuzzy Logic to Social Choice Theory

John N. Mordeson, Terry D. Clark, Davender S. Malik Application of Fuzzy Logic to Social Choice Theory View_Book

Theory and Applications of Higher-Dimensional Hadamard Matrices, Second Edition

Cheng Qing Xu, Yi Xian Yang, Xin Xin Niu Theory and Applications of Higher-Dimensional Hadamard Matrices, Second Edition View_Book

Quantum Communications and Cryptography

Quantum Communications and Cryptography View_Book