This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Meer
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. Meer
The mathematical theory of control, essentially developed during the last decades, is used for solving many problems of practical importance. The efficiency of its applications has increased in connection with the refine ment of computer techniques and the corresponding mathematical soft ware. Meer
A practical guide to the construction of thesauri for use in information retrieval, written by leading experts in the field. Includes: planning and design; vocabulary control; specificity and compound terms; structure and relationships; auxiliary retrieval devices; multilingual thesauri; AAT Compound Term Rules. Meer
€ 138,66
Levertijd ongeveer 11 werkdagen | Gratis verzonden
As regulation and legislation evolve, the critical need for cost-effective and efficient IT audit and monitoring solutions will continue to grow. Audit and Trace Log Management: Consolidation and Analysis offers a comprehensive introduction and explanation of requirements and problem definition, and also delivers a multidimensional solution set with broad applicability across a wide range of organizations. Meer
€ 142,45
Levertijd ongeveer 11 werkdagen | Gratis verzonden
A critical part of any company's successful strategic planning is the creation of an Enterprise Business Architecture (EBA) with its formal linkages. Strategic research and analysis firms have recognized the importance of an integrated enterprise architecture and they have frequently reported on its increasing value to successful companies. Meer
€ 135,36
Levertijd ongeveer 11 werkdagen | Gratis verzonden
The availability of cheaper, faster, and more reliable electronic components has stimulated important advances in computing and communication technologies. Meer
€ 241,46
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Future requirements for computing speed, system reliability, and cost-effectiveness entail the development of alternative computers to replace the traditional von Neumann organization. Meer
€ 213,17
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Today's database professionals must understand how to apply database systems to business processes and how to develop database systems for both business intelligence and Web-based applications. Meer
€ 170,74
Levertijd ongeveer 11 werkdagen | Gratis verzonden
"Analyzes the behavior, design, and implementation of artificial recurrent neural networks. Offers methods of synthesis for associative memories. Evaluates the qualitative properties and limitations of neural networks. Meer
€ 425,34
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Technology has spurred the growth of huge image and video libraries, many growing into the hundreds of terabytes. As a result there is a great demand among organizations for the design of databases that can effectively support the storage, search, retrieval, and transmission of video data. Meer
€ 290,97
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Over the past several decades, applications permeated by advances in digital signal processing have undergone unprecedented growth in capabilities. The editors and authors of High Performance Embedded Computing Handbook: A Systems Perspective have been significant contributors to this field, and the principles and techniques presented in the handbook are reinforced by examples drawn from their work. Meer
€ 255,60
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Most biometric systems employed for human recognition require physical contact with, or close proximity to, a cooperative subject. Far more challenging is the ability to reliably recognize individuals at a distance, when viewed from an arbitrary angle under real-world environmental conditions. Meer
Human-in-the-Loop Simulations is a compilation of articles from experts in the design, development, and use of human-in-the-loop simulations.
The first section of the handbook consists of papers on fundamental concepts in human-in-the-loop simulations, such as object-oriented simulation development, interface design and development, and performance measurement. Meer
The newest communication technologies are profoundly changing the world's politics, economies, and cultures, but the specific implications of online game worlds remain mysterious. Meer
This highly anticipated new edition provides a comprehensive account of face recognition research and technology, spanning the full range of topics needed for designing operational face recognition systems. Meer
This unique text/reference provides a coherent and comprehensive overview of all aspects of video analysis of humans. Broad in coverage and accessible in style, the text presents original perspectives collected from preeminent researchers gathered from across the world. Meer
Because the properties of objects are largely determined by their geometric features, shape analysis and classification are essential to almost every applied scientific and technological area. Meer
€ 227,31
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Information Security Policies and Procedures: A Practitioner’s Reference, Second Edition illustrates how policies and procedures support the efficient running of an organization. Meer
€ 170,74
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