Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Leibniz and the Structure of Sciences: Modern Perspectives on the History of Logic, Mathematics, Epistemology (Bog, Paperback / softback, Engelsk)The book offers a collection of essays on various aspects of Leibniz’s scientific thought,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Inquisitive Logic: Consequence and Inference in the Realm of Questions (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Building and Solving Mathematical Programming Models: 50 Practical Examples (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Algorithms for Constructing Computably Enumerable Sets (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Discrete Mathematics: A Concise Introduction (Bog, Hardback, Engelsk)This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Bog, Hardback, Engelsk)This book demonstrates how to formally model various mathematical domains (including... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Advances in Modal Logic, Volume 2 (Bog, Paperback / softback, Engelsk)This volume presents a broad, contemporary view of the field of modal logic, with contributions covering its foundations as well as its many application areas, such as... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Descent in Buildings (Bog, Paperback / softback, Engelsk)Descent in Buildings begins with the resolution of a major open question about the local structure of Bruhat-Tits buildings. The authors then put their algebraic solution... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Handbook of Formal Analysis and Verification in Cryptography (Bog, Hardback, Engelsk)This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Concise Encyclopedia of Coding Theory (Bog, Paperback / softback, Engelsk)Coding theory has grown into a discipline with many practical applications requiring various mathematical techniques in the last few decades. Most topics covered in... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Modern Cryptography with Proof Techniques and Implementations (Bog, Paperback / softback, Engelsk)Proof techniques in cryptography are very difficult to understand even for students or researchers who major in cryptography. In addition,... Læs mere
Levering: 6 - 9 hverdage
