Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although...

Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)
Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)
In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.

Distributed Algorithms
contains the most significant algorithms and impossibility
...
Managing and Mining Graph Data (Advances in Database Systems)
Managing and Mining Graph Data (Advances in Database Systems)

Managing and Mining Graph Data is a comprehensive survey book in graph data analytics. It contains extensive surveys on important graph topics such as graph languages, indexing, clustering, data generation, pattern mining, classification, keyword search, pattern matching, and privacy. It also studies a number of domain-specific...

Quantum Computing for Everyone (The MIT Press)
Quantum Computing for Everyone (The MIT Press)

An accessible introduction to an exciting new area in computation, explaining such topics as qubits, entanglement, and quantum teleportation for the general reader.

Quantum computing is a beautiful fusion of quantum physics and computer science, incorporating some of the most stunning ideas from twentieth-century...

Playing Smart: On Games, Intelligence, and Artificial Intelligence (Playful Thinking)
Playing Smart: On Games, Intelligence, and Artificial Intelligence (Playful Thinking)
A new vision of the future of games and game design, enabled by AI.

Can games measure intelligence? How will artificial intelligence inform games of the future? In Playing Smart, Julian Togelius explores the connections between games and intelligence to offer a new vision of future games and game design. Video games...

Quantum Computing without Magic: Devices (Scientific and Engineering Computation)
Quantum Computing without Magic: Devices (Scientific and Engineering Computation)
"Quantum Computing without Magic gives a refreshing and down to earth approach to quantum information as well as quantum devices which will have a fundamental impact on the technology of the 21st century."
Raymond Laflamme, Canada Research Chair in Quantum Information, and Director, Institute for
...
Knowledge-Based Neurocomputing
Knowledge-Based Neurocomputing
Neurocomputing methods are loosely based on a model of the brain as a network of simple interconnected processing elements corresponding to neurons. These methods derive their power from the collective processing of artificial neurons, the chief advantage being that such systems can learn and adapt to a changing environment. In knowledge-based...
Integriertes Roadmapping: Nachhaltigkeitsorientierung in Innovationsprozessen des Pervasive Computing
Integriertes Roadmapping: Nachhaltigkeitsorientierung in Innovationsprozessen des Pervasive Computing

Innovationen entziehen sich immer deutlicher einer technologisch verkürzten Sichtweise. Angesichts der gestiegenen Dynamik und Komplexität der Umfeldbedingungen für Unternehmen kommen der Früherkennung und dem Monitoring technologischer, wirtschaftlicher, politischer und gesellschaftlicher Entwicklungen immer...

Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization
Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization
Optimizing compilers have a fundamental problem. No matter how powerful their optimizations
are, they are no substitute for good application algorithms. Consider the case of
sorting. For sufficiently large data sets, a merge sort algorithm compiled with a less powerful
optimizer will always out-perform a selection sort algorithm
...
Wireless Security
Wireless Security
Get full details on major mobile/wireless clients and operating systems-including Windows CE, Palm OS, UNIX, and Windows. You'll learn how to design and implement a solid security system to protect your wireless network and keep hackers out. Endorsed by RSA Security - the most trusted name in e-security - this is your one-stop guide to wireless...
Learning Machine Translation (Neural Information Processing)
Learning Machine Translation (Neural Information Processing)
The Internet gives us access to a wealth of information in languages we don't understand. The investigation of automated or semi-automated approaches to translation has become a thriving research field with enormous commercial potential. This volume investigates how machine learning techniques can improve statistical machine translation, currently...
Circuit Design with VHDL
Circuit Design with VHDL
This textbook teaches VHDL using system examples combined with programmable logic and supported by laboratory exercises. While other textbooks concentrate only on language features, Circuit Design with VHDL offers a fully integrated presentation of VHDL and design concepts by including a large number of complete design examples,...
unlimited object storage image
Result Page: 36 35 34 33 32 31 30 29 28 27 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy