There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Meer
MacMath is a scientific toolkit for the Macintosh computer consisting of twelve graphics programs. It supports mathematical computation and experimentation in dynamical systems, both for differential equations and for iteration. Meer
I spent the first twenty six years of my life in Rome. I used to go for ice cream to a popular place near the Pantheon and I remem ber the excitement I felt, beyond the chocolate and whipped cream, when I entered this ancient Roman temple. Meer
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Meer
As more applications are found, interest in Hidden Markov Models continues to grow. Following comments and feedback from colleagues, students and other working with Hidden Markov Models the corrected 3rd printing of this volume contains clarifications, improvements and some new material, including results on smoothing for linear Gaussian dynamics. Meer
Superblack, superblock, supercase, superquadric, supersampling, superred, supergreen, and superblue are just a few of the words which make up the language of computer graphics. Meer
As the analysis of big datasets in sports performance becomes a more entrenched part of the sporting landscape, so the value of sport scientists and analysts with formal training in data analytics grows. Meer
As a collection of ideas and methodologies, systems thinking has made an impact in organizations and in particular in the information systems field. However, this main emphasis on organizations limits the scope of systems thinking and practice. Meer
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Meer
Computational Intelligence and Blockchain in Complex Systems: System Security and Interdisciplinary Applications provides readers with a guide to understanding the dynamics of AI, machine learning, and computational intelligence in blockchain, and how these rapidly developing technologies are revolutionizing a variety of interdisciplinary research fields and applications. Meer
Object-Oriented Analysis and Design for Information Systems, Second Edition clearly explains real object-oriented programming in practice. Expert author Raul Sidnei Wazlawick explains concepts such as object responsibility, visibility, and the real need for delegation in detail. Meer
Human-Computer Interaction: An Empirical Research Perspective is the definitive guide to empirical research in HCI. The book begins with foundational topics, including historical context, the human factor, interaction elements, and the fundamentals of science and research. Meer
A sweeping social history of the political roots of the information age, by one of this country's most distinguished public intellectuals, the Pulitzer Prize-winning author of The Social Transformation of American Medicine. Meer
Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages. Meer
"[The authors] are pioneers. . . . Few in our industry have their breadth of knowledge and experience."
From the Foreword by Dave Thomas, Bedarra Labs
Domain–Specific Modeling (DSM) is the latest approach to software development, promising to greatly increase the speed and ease of software creation. Meer
Computational Knowledge Vision: The First Footprints presents a novel, advanced framework which combines structuralized knowledge and visual models. In advanced image and visual perception studies, a visual model's understanding and reasoning ability often determines whether it works well in complex scenarios. Meer
See how to use Skype for secure chats and connect SkypeOut and SkypeIN. Here′s the fun and easy way (r) to understand all the hype about Skype and make this cool alternative communication system work for you! 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