for at udvide
kategorilisten.
Matematisk datateori
-
Coordination Models and Languages: 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 17th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Constructive Side-Channel Analysis and Secure Design: 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the 8th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Constructive Side-Channel Analysis and Secure Design: 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the 9th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computing and Combinatorics: 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 21st International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015. The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Concise Computer Mathematics: Tutorials on Theory and Problems (Bog, Paperback / softback, Engelsk)
Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree.
Levering: 6 - 9 hverdage -
Conceptual Structures for Discovering Knowledge: 20th International Conference on Conceptual Structures, ICCS 2013, Mumbay, India, January 10-12, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 20th International Conference on Conceptual Structures, ICCS 2013, held in Mumbai, India, in January 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Concrete Semantics: With Isabelle/HOL (Bog, Paperback / softback, 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) -
Computing and Combinatorics: 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computing and Combinatorics: 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
The papers cover various topics, including algorithms and data structures, complexity... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Conflict Resolution in Decision Making: Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes thoroughly revised selected papers of the Second International Workshop on Conflict and Resolution in Decision Makrung, COREDEMA 2016, held in The Hague, The Netherlands, in August 2016.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (Bog, Paperback / softback, Engelsk)
This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
