Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Meer
This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data processing systems of all kinds, no matter whether human, (other) ani mal, or machine. Meer
With the recent Electronic Signatures in Global and National Commerce Act, public key cryptography, digital signatures, and digital certificates are finally emerging as a ubiquitous part of the Information Technology landscape. Meer
€ 170,74
Levertijd ongeveer 11 werkdagen | Gratis verzonden
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
Data Analytics in Football provides students, researchers and coaches with a firm grounding in the principles of modern performance analysis. It offers an insight into the use of positional data, exploring how it can be collected, modelled, analysed and interpreted. Meer
€ 184,88
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Data Analytics in Football provides students, researchers and coaches with a firm grounding in the principles of modern performance analysis. It offers an insight into the use of positional data, exploring how it can be collected, modelled, analysed and interpreted. Meer
€ 53,32
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Neural Network Modeling offers a cohesive approach to the statistical mechanics and principles of cybernetics as a basis for neural network modeling. It brings together neurobiologists and the engineers who design intelligent automata to understand the physics of collective behavior pertinent to neural elements and the self-control aspects of neurocybernetics. Meer
€ 326,33
Levertijd ongeveer 11 werkdagen | Gratis verzonden
The mathematics employed by genetic algorithms (GAs)are among the most exciting discoveries of the last few decades. But what exactly is a genetic algorithm? Meer
€ 213,17
Levertijd ongeveer 11 werkdagen | Gratis verzonden
The Wireless Metropolitan Area Network (WirelessMAN) is a promising Broadband Wireless Access (BWA) technology that provides high-speed, high-bandwidth efficiency and high-capacity multimedia services for both residential and enterprise applications. Meer
€ 170,74
Levertijd ongeveer 11 werkdagen | Gratis verzonden
-Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and developed, it undergoes debugging and certification. Meer
1. Introduction . 1 2. Areas and Angles . . 6 3. Tessellations and Symmetry 14 4. The Postulate of Closest Approach 28 5. The Coexistence of Rotocenters 36 6. 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
This monograph is a slightly revised version of my PhD thesis [86], com pleted in the Department of Computer Science at the University of Edin burgh in June 1988, with an additional chapter summarising more recent developments. Meer
Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to confirm for me? Meer
Recently, a variety ofresults on the complexitystatusofthegraph isomorphism problem has been obtained. These results belong to the so-called structural part of Complexity Theory. 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
The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic. Meer
Is this book about patterns?
Yes and no. It is about software reuse and representation of knowledge that can be reapplied in similar situations; however, it does not follow the classic Alexandine conventions of the patterns community--i. Meer
€ 227,31
Levertijd ongeveer 11 werkdagen | Gratis verzonden
What is intelligence? Are truly intelligent machines a practical reality? If so, can they work in harmony with human beings and improve the quality of our lives? Meer
€ 241,46
Levertijd ongeveer 11 werkdagen | Gratis verzonden
If you are a typical Oracle professional, you don't have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from Oracle. Meer
€ 149,52
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