This book provides a comprehensive description of the methodologies and the application areas, throughout the range of digital communication, in which individual signals and sets of signals with favorable correlation properties play a central role. Meer
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Meer
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 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. Meer
The Semantic Web is a new area of research and development in the field of computer science that aims to make it easier for computers to process the huge amount of information on the web, and indeed other large databases, by enabling them not only to read, but also to understand the information. Meer
The overwhelming majority of bugs and crashes in computer programming stem from problems of memory access, allocation, or deallocation. Such memory related errors are also notoriously difficult to debug. Meer
Here is an introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. Meer
With over a million users around the world, the Mathematica software system created by Stephen Wolfram has defined the direction of technical computing for the past decade. Meer
Kernel methods provide a powerful and unified framework for pattern discovery, motivating algorithms that can act on general types of data (e.g. strings, vectors or text) and look for general types of relations (e. Meer
BCPL is a simple systems programming language with a portable compiler that has been implemented on many machines from large mainframes to mini computers and microprocessors. Meer
This book, first published in 1997, covers the most important topics in ComponentWare™ technology, based in large part on the first Component Users Conference. Meer
In an IT world in which there are differently sized projects, with different applications, differently skilled practitioners, and on-site, off-site, and off-shored development teams, it is impossible for there to be a one-size-fits-all agile development and testing approach. Meer
Examines the relationships between virtual and non-virtual identity in visual role-playing games. Utilizing James Gee's theoretical constructs of real-world identity, virtual-world identity, and projective identity, this research shows dynamic, varying and complex relationships between the virtual avatar and the player's sense of self. Meer
€ 46,14
Levertijd ongeveer 16 werkdagen | Gratis verzonden
Advice from the expertson collecting and managing the digital resources that are an increasingly vital part of librarianship!
Managing Digital Resources in Libraries is a practical guide to managing library materials in digital formats. Meer
€ 189,40
Levertijd ongeveer 11 werkdagen | Gratis verzonden
This innovative collection examines the emerging arena of cyberspace and the challenges it presents for the social and cultural forms of the human body. Meer
€ 100,46
Levertijd ongeveer 16 werkdagen | Gratis verzonden
The Handbook of Neural Computation is a practical, hands-on guide to the design and implementation of neural networks used by scientists and engineers to tackle difficult and/or time-consuming problems. Meer
€ 1.132,57
Levertijd ongeveer 11 werkdagen | Gratis verzonden
The main links with your PC and the outside world are the centronic port, used for connecting the printer, the RS232 port, used for the mouse, and the games port for a joystick. Meer
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