Der er 1 underkategori
Matematik til informatikfag
-
Bemærk: Kan ikke leveres før jul.
Probabilistic Methods for Algorithmic Discrete Mathematics (Bog, Paperback / softback, Engelsk)Some of the most convincing demonstrations of the power of these tech niques are randomized algorithms for estimating quantities which are hard to compute exactly. One example is the randomized algorithm of Dyer, Frieze and Kannan for estimating the volume of a polyhedron.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Combinatorial Optimization: Theory and Algorithms (Bog, Paperback / softback, Engelsk)Now fully updated in a third edition, this is a comprehensive textbook on combinatorial optimization. It puts special emphasis on theoretical results and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Post-Quantum Cryptography (Bog, Paperback / softback, Engelsk)Leading experts have joined forces for the first time to explain the state of the art in quantum computing, hash-based cryptography, code-based cryptography, lattice-based cryptography, and multivariate cryptography.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra (Bog, Paperback / softback, Engelsk)The book provides a self-contained account of the formal theory of general, i.e. also under- and overdetermined, systems of differential equations which in its central notion of involution combines geometric, algebraic, homological and combinatorial ideas.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings (Bog, Paperback / softback, Engelsk)The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Information Computing and Applications: Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers (Bog, Paperback / softback, Engelsk)The papers are organized in topical sections on invited talk abstracts,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the Second International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Business Intelligence: Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures (Bog, Paperback / softback, Engelsk)Here is a concise and comprehensive introduction to business intelligence (BI). This book combines traditional BI technologies with new topics such as business semantics, Big Data analysis, and multicriteria decision making.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Bog, Paperback / softback, Engelsk)The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
