Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Elements of Finite Model Theory (Bog, Paperback / softback, Engelsk)
Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Biologically Inspired Algorithms for Financial Modelling (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
A Computational Differential Geometry Approach to Grid Generation (Bog, Paperback / softback, Engelsk)
The process of breaking up a physical domain into smaller sub-domains, known as meshing, facilitates the numerical solution of partial differential equations used to simulate physical systems.
Levering: 6 - 9 hverdage -
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics (Bog, Paperback / softback, Engelsk)
Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard improvement of current computer tech nologies.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Algebraic Complexity Theory (Bog, Paperback / softback, Engelsk)
Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Some Tapas of Computer Algebra (Bog, Paperback / softback, Engelsk)
In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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) -
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) -
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) -
Ad Hoc Networks: First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers (Bog, Paperback / softback, Engelsk)
Ad hoc networks refer to the wireless networking paradigm that covers a variety of network forms for specific purposes, such as mobile ad hoc networks, sensor n- works, vehicular networks, underwater networks, underground networks, personal area networks, and home networks.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (Bog, Paperback / softback, Engelsk)
Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cellular Automata and Groups (Bog, Hardback, Engelsk)
It provides a comprehensive account of recent progress in the theory of cellular automata based on the interplay between amenability, geometric and combinatorial group... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
