for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Unconventional Computation and Natural Computation: 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation and Natural Computation, UCNC 2014, held in London, ON, Canada, in July 2014.
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) -
Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 11th European Workshop on Performance... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP... 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) -
Computational Complexity of Solving Equation Systems (Bog, Paperback / softback, Engelsk)
Since unary algebras admit only type 1, this book focuses on these algebras to tackle the main problem. It discusses several aspects of unary... Læs mere
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) -
Ramsey Theory for Discrete Structures (Bog, Paperback / softback, Engelsk)
This monograph covers the most important developments in Ramsey theory from its beginning in the early 20th century via its many breakthroughs and highlights in the late 20th century up to recent important developments in the early 21st century.
Levering: Skaffevare (forvent 14 - 30 hverdage)
