for at udvide
kategorilisten.
Matematisk datateori
-
Natural Deduction, Hybrid Systems and Modal Logics (Bog, Hardback, Engelsk)
The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.
Levering: 6 - 9 hverdage -
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (Bog, Hardback, Engelsk)
Advances in Natural Deduction
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Modeling, Simulation and Optimization for Science and Technology (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Examples in Parametric Inference with R (Bog, Hardback, Engelsk)
The book is divided into eight chapters: Chapter 1 provides an overview of topics on sufficiency and completeness, while Chapter 2 briefly discusses unbiased estimation. Chapter 6 discusses Bayes, while Chapter 7 studies some more powerful tests.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Code Breaking in the Pacific (Bog, Hardback, Engelsk)
This book reveals the historical context and the evolution of the technically complex Allied Signals Intelligence (Sigint) activity against Japan from 1920 to 1945.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Concrete Semantics: With Isabelle/HOL (Bog, Hardback, Engelsk)
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.The book teaches the reader the art of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
It From Bit or Bit From It?: On Physics and Information (Bog, Hardback, Engelsk)
The essays in this book look at the question of whether physics can be based on information, or – as John Wheeler phrased it – whether we can get “It from Bit”.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bent Functions: Fundamentals and Results (Bog, Hardback, Engelsk)
This book gives a detailed survey of the main results on bent functions over finite fields, presents a systematic overview of their generalizations, variations... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Earth Science Satellite Applications: Current and Future Prospects (Bog, Hardback, Engelsk)
The combined observational power of the multiple earth observing satellites is currently not being harnessed holistically to produce more durable societal benefits.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Information and Interaction: Eddington, Wheeler, and the Limits of Knowledge (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Feistel Ciphers: Security Proofs and Cryptanalysis (Bog, Hardback, Engelsk)
This book provides a survey on different kinds of Feistel ciphers, with their definitions and mathematical/computational properties. Feistel ciphers are... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Fading and Shadowing in Wireless Systems (Bog, Hardback, Engelsk)
This book offers a comprehensive overview of fading and shadowing in wireless channels. Newer models for fading, shadowing and shadowed fading are included along with the analysis of diversity combining algorithms.
Levering: Skaffevare (forvent 14 - 30 hverdage)
