Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. Meer
This book is based on a number of systems concepts, of which the following are emphasized here: oThe interacting systems of society and the environment are dynamic and evolution ary oEvolution of these systems carries them through stages of differential stability and instability, continuity and discontinuity oAssociated with evolution and instability is structural change that is essentially irre versible oThe present is a stage of world transformation that may not have been equaled for decades or even centuries oPolicies and decisions must match the times, in the present case the stage of world transformation The time 11:59:59 PM, approximately, on December 31, 2000 has an impor tant symbolic meaning. Meer
Case-based reasoning means reasoning based on remembering previous experiences. A reasoner using old experiences (cases) might use those cases to suggest solutions to problems, to point out potential problems with a solution being computed, to interpret a new situation and make predictions about what might happen, or to create arguments justifying some conclusion. Meer
Multiprocessing: Trade-Offs in Computation and Communication presents an in-depth analysis of several commonly observed regular and irregular computations for multiprocessor systems. Meer
In the last few years, the world of information networks has undergone significant changes that will revolutionize the future of communications. Data rates have reached the gigabit per second range. Meer
'The world of information processing is going through a major phase of its evolution. Networking has been associated with computers since the 1960's. Communicating machines, exchanging information or cooperating to solve complex problems, were the dream of many scientists and engineers. Meer
BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. Meer
The articles presented here were selected from preliminary versions presented at the International Conference on Genetic Algorithms in June 1991, as well as at a special Workshop on Genetic Algorithms for Machine Learning at the same Conference. Meer
Data Quality provides an exposé of research and practice in the data quality field for technically oriented readers. It is based on the research conducted at the MIT Total Data Quality Management (TDQM) program and work from other leading research institutions. Meer
I am very pleased to write these few brief paragraphs introducing this book, and would like to take this opportunity to attempt to set the Toolpack project in an appropriate historical context. Meer
Data Access and Storage Management for Embedded Programmable Processors gives an overview of the state-of-the-art in system-level data access and storage management for embedded programmable processors. Meer
The Logic Programming Tutor (LPT) assumes no prior knowledge or experience of Prolog. The book is designed as a teaching tool to be used in conjunction with a computer program of the same name which is offered free of charge on disk. Meer
To-date computers are supposed to store and exploit knowledge. At least that is one of the aims of research fields such as Artificial Intelligence and Information Systems. 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) animal, or machine. Meer
Parallel processing is seen today as the means to improve the power of computing facilities by breaking the Von Neumann bottleneck of conventional sequential computer architectures. Meer
The reasons for writing this book are very simple. We use and teach com puter aided techniques of mathematical simulation and of pattern recogni tion. Meer
Non-Functional Requirements in Software Engineering presents a systematic and pragmatic approach to `building quality into' software systems. Systems must exhibit software quality attributes, such as accuracy, performance, security and modifiability. 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