for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Iterative Krylov Methods for Large Linear Systems (Bog, Paperback / softback, Engelsk)Based on the author's extensive teaching experience, this book presents an overview of a number of Krylov projection methods for the solution of linear... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Forcing with Random Variables and Proof Complexity (Bog, Paperback / softback, Engelsk)Aimed at researchers and graduate students in mathematics and theoretical computer science, who are interested in logical approaches to fundamental problems of computational complexity theory, and of proof complexity in particular.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Effective Mathematics of the Uncountable (Bog, Hardback, Engelsk)This book provides an authoritative and multifaceted introduction to eight major approaches to computation on uncountable mathematical domains. The perspectives... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
A Distributed Pi-Calculus (Bog, Hardback, Engelsk)This book proposes a formal mathematical language, a distributed pi-calculus called Dpi, for describing, at varying levels of abstraction, the behaviour of mobile agents in a... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Doing Better Statistics in Human-Computer Interaction (Bog, Paperback / softback, Engelsk)Written for human-computer interaction (HCI) researchers - whether undergraduates, professors, or UX professionals who need to analyse quantitative... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Competitive Programming in Python: 128 Algorithms to Develop your Coding Skills (Bog, Paperback / softback, Engelsk)This succinct book prepares students for IT job interviews and coding competitions. Readers will master 128 algorithms in... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Computer Programming with C++ (Bog, Paperback / softback, Engelsk)This textbook offers clear, extensive coverage of all essential elements of the C++ programming language. Theoretical concepts are described from scratch and are... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Process Algebra: Equational Theories of Communicating Processes (Bog, Hardback, Engelsk)Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Agent-Based Models in Economics: A Toolkit (Bog, Paperback / softback, Engelsk)Edited by several of the leading figures in the field, this is the first book to provide a state-of-the-art, accessibly written methodological introduction to... Læs mere
Levering: 6 - 9 hverdage
