This book describes theoretical advances in the study of artificial neural networks. It explores probabilistic models of supervised learning problems, and addresses the key statistical and computational questions. Meer
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. Meer
In large-scale media-sharing social networks, where millions of users create, share, link and reuse media content, there are clear challenges in protecting content security and intellectual property, and in designing scalable and reliable networks capable of handling high levels of traffic. Meer
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. Meer
In semiconductor-device fabrication processes, lithography technology is used to print circuit patterns on semiconductor wafers. The remarkable miniaturization of semiconductor devices has been made possible only because of the continuous progress in lithography technology. Meer
Many aspects of the internal and external workings of computers can be viewed as a series of communication processes. Communication complexity is the mathematical theory of such communication processes. Meer
This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. Meer
Information systems development is not merely a technical intervention but involves social and ethical dilemmas that affect the human, social and organizational domains. Meer
Bayesian probability theory has emerged not only as a powerful tool for building computational theories of vision, but also as a general paradigm for studying human visual perception. Meer
First published in 2007, this second edition describes the computational methods used in theoretical physics. New sections were added to cover finite element methods and lattice Boltzmann simulation, density functional theory, quantum molecular dynamics, Monte Carlo simulation, and diagonalisation of one-dimensional quantum systems. Meer
Written for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. Meer
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. Meer
The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. Meer
Haskell is one of the leading languages for teaching functional programming, enabling students to write simpler and cleaner code, and to learn how to structure and reason about programs. Meer
For many everyday transmissions, it is essential to protect digital information from noise or eavesdropping. This undergraduate introduction to error correction and cryptography is unique in devoting several chapters to quantum cryptography and quantum computing, thus providing a context in which ideas from mathematics and physics meet. Meer
This book offers a unique insight into a revolution in software development that allows model specifications to be fully and efficiently translated into code. Meer
This book brings together diverse voices from across the field of sustainable human computer interaction (SHCI) to discuss what it means for digital technology to support sustainability and how humans and technology can work together optimally for a more sustainable future. Meer
€ 77,27
Levertijd ongeveer 11 werkdagen | Gratis verzonden
The Internet of Nano-Things (IoNT) is a system of nano-connected devices, objects, or organisms that have unique identifiers to transfer data over a computer or cellular network wirelessly to the Cloud. Meer
€ 107,07
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Performance Analysis of Queuing and Computer Networks develops simple models and analytical methods from first principles to evaluate performance metrics of various configurations of computer systems and networks. Meer
€ 85,85
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Hybrid Simulation deals with a rapidly evolving technology combining computer simulation (typically finite element) and physical laboratory testing of two complementary substructures. Meer
€ 85,85
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books