This book presents a detailed description of Spoken Language Translator (SLT), one of the first major projects in the area of automatic speech translation. 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
This book covers all you need to know to model and design software applications from use cases to software architectures in UML and shows how to apply the COMET UML-based modeling and design method to real-world problems. Meer
This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. Meer
This 2001 book presents a general theory as well as a constructive methodology to solve 'observation problems', that is, reconstructing the full information about a dynamical process on the basis of partial observed data. Meer
Complex behaviour can occur in any system made up of large numbers of interacting constituents, be they atoms in a solid, cells in a living organism, or consumers in a national economy. Meer
This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. Meer
Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in a programming environment. Meer
This edited volume presents a unique multidisciplinary perspective on the problem of visual object categorization. The result of a series of four highly successful workshops on the topic, the book gathers many of the most distinguished researchers from both computer and human vision to reflect on their experience, identify open problems, and foster a cross-disciplinary discussion with the idea that parallel problems and solutions have arisen in both domains. Meer
Multimedia data require specialised management techniques because the representations of colour, time, semantic concepts, and other underlying information can be drastically different from one another. Meer
WALKSFrom Richard Williams' The Animator's Survival Kit comes key chapters in mini form. The Animator's Survival Kit is the essential tool for animators. Meer
RUNS, JUMPS AND SKIPSFrom Richard Williams' The Animator's Survival Kit comes key chapters in mini form. The Animator's Survival Kit is the essential tool for animators. Meer
FLEXIBILITY AND WEIGHTFrom Richard Williams' The Animator's Survival Kit comes key chapters in mini form. The Animator's Survival Kit is the essential tool for animators. Meer
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. 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
There is a growing need for a more automated system of partitioning data sets into groups, or clusters. For example, digital libraries and the World Wide Web continue to grow exponentially, the ability to find useful information increasingly depends on the indexing infrastructure or search engine. Meer
In 1974, the British government admitted that its WWII secret intelligence organization had read Germany's ciphers on a massive scale. The intelligence from these decrypts influenced the Atlantic, the Eastern Front and Normandy. Meer
In this lively series of essays, Tom Dean explores interesting fundamental topics in computer science with the aim of showing how computers and computer programs work and how the various subfields of computer science are connected. Meer
This is an introduction to programming using Microsoft's Visual Basic.NET 2010, intended for novice programmers with little or no programming experience or no experience with Visual Basic. Meer
Als je jouw studieboeken gekocht hebt bij hanzestudybook.nl, kun je geselecteerde titels moeiteloos terugverkopen aan Noordhoff.
Geen vragen, geen gedoe en lekker duurzaam.
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