This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Meer
The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Meer
Cellular Nonlinear/neural Network (CNN) technology is both a revolutionary concept and an experimentally proven new computing paradigm. Analogic cellular computers based on CNNs are set to change the way analog signals are processed and are paving the way to an analog computing industry. Meer
Improve the performance of relational databases with indexes designed for today′s hardware
Over the last few years, hardware and software have advanced beyond all recognition, so it′s hardly surprising that relational database performance now receives much less attention. Meer
Computational experiments on algorithms can supplement theoretical analysis by showing what algorithms, implementations and speed-up methods work best for specific machines or problems. Meer
Symbolic dynamics is a rapidly growing area of dynamical systems. Although it originated as a method to study general dynamical systems, it has found significant uses in coding for data storage and transmission as well as in linear algebra. Meer
This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. Meer
The first comparative examination of planning paradigms
This text begins with the principle that the ability to anticipate and plan is an essential feature of intelligent systems, whether human or machine. Meer
Many aspects of the internal and external workings of computers can be viewed as a series of communication processes. Communication complexity is the mathematical theory of such communication processes. Meer
This rigourous and self-contained book describes mathematical and, in particular, stochastic methods to assess the performance of networked systems. It consists of three parts. Meer
Uncertainty in Computational Intelligence-Based Decision-Making focuses on techniques for reasoning and decision-making under uncertainty that are used to solve issues in artificial intelligence (AI). Meer
Empowering IoT with Big Data Analytics provides comprehensive coverage of major topics, tools, and techniques related to empowering IoT with big data technologies and big data analytics solutions, thus allowing for better processing, analysis, protection, distribution, and visualization of data for the benefit of IoT applications and second, a better deployment of IoT applications on the ground. Meer
Accelerating Digital Transformation with the Cloud and the Internet of Things (IoT) is a reference for IT engineers and decision-makers who may engage in IoT platform pilot projects. Meer
Intelligent Evolutionary Optimization introduces biologically-inspired intelligent optimization algorithms to address complex optimization problems and provide practical solutions for tackling combinatorial optimization problems. Meer
A quick and reliable way to build proven databases for core business functions
Industry experts raved about
The Data Model Resource Book when it was first published in March 1997 because it provided a simple, cost–effective way to design databases for core business functions. Meer
From an industry insider––a close look at high–performance, end–to–end switching solutions
Load balancers are fast becoming an indispensable solution for handling the huge traffic demands of the Web. Meer
Concurrent and Distributed Computing in Java addresses fundamental concepts in concurrent computing with Java examples. The book consists of two parts. Meer
Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and Π Calculus for True Concurrency (Π). Meer
In smart cities, information and communication technologies are integrated to exchange real-time data between citizens, governments, and organizations. Meer
Bi-directionality in Human-AI Collaborative Systems investigates the foundations, metrics, and applications of human-machine systems, along with the legal ramifications of autonomy, including standards, trust by the public, and bidirectional trust by users and AI systems. 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