Ebók

Proofs and Algorithms

An Introduction to Logic and Computability

Gilles Dowek

Springer Nature

Prísur

259,95 kr.

Vørulýsing av

Proofs and Algorithms

Nágreining

Meira eftir Gilles Dowek

Aðrar bøkur eftir sama høvund

Computation, Proof, Machine

Gilles Dowek

409,95 kr.

Principles of Programming Languages

Gilles Dowek

249,95 kr.

Líknandi Bøkur

Finn líknandi bøkur her

Proofs and Fundamentals

Ethan D. Bloch

329,95 kr.

Problems and Proofs in Numbers and Algebra

Richard S. Millman; Peter J. Shiue; Eric Brendan Kahn

414,95 kr.

Tests and Proofs

374,95 kr.

Types for Proofs and Programs

Stefano Berardi; ‎Ferruccio Damiani; ‎Ugo de Liguoro

374,95 kr.

Dag Prawitz on Proofs and Meaning

439,95 kr.

Introduction to Proofs and Proof Strategies

Shay Fuchs

324,95 kr.

Feistel Ciphers

Valerie Nachef; Jacques Patarin; Emmanuel Volte

899,95 kr.

Guide to Feistel Ciphers

Jacques Patarin; Emmanuel Volte; Benoît Cogliati

599,95 kr.

Philosophy of Mathematics

James Robert Brown

529,95 kr.

Introduction to Mathematical Structures and Proofs

Larry J. Gerstein

189,95 kr.

Sets, Models and Proofs

Ieke Moerdijk; Jaap van Oosten

98,95 kr.

Models, Algebras, and Proofs

1.909,95 kr.