Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches in the foundations of mathematics and computer science. Meer
119,61
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
This is the fifteenth volume in the Machine Intelligence series, founded in 1965 by Donald Michie, and includes papers by a number of eminent AI figures including John McCarthy, Alan Robinson, Robert Kowalski and Mike Genesereth. Meer
152,71
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
Web browsers are the most common and widely-used platform there is, and this book is the essential description of how they work and how that impacts web developers and other software engineers whose work touches the web. Meer
177,36
Verwachte levertijd ongeveer 8 werkdagen | Gratis verzonden
Web browsers are the most common and widely-used platform there is, and this book is the essential description of how they work and how that impacts web developers and other software engineers whose work touches the web. Meer
59,79
Verwachte levertijd ongeveer 8 werkdagen | Gratis verzonden
The last century has seen enormous leaps in the development of digital technologies, and most aspects of modern life have changed significantly with their widespread availability and use. Meer
66,50
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. Meer
122,37
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
This is the first book of its kind on software metrics - the measurement of software products and processes used for establishing quality assurance thresholds and in predicting quality levels. Meer
38,91
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
The founder of modern computational logic, J A Robinson, opens this volume with a chapter on the firld's great forefathers John van Neumann and Alan Turing. Meer
307,87
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
The social sciences are becoming datafied.
The questions once considered the domain of sociologists are now answered by data scientists operating on large datasets and breaking with methodological tradition, for better or worse. Meer
105,82
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
This volume provides an overview of a variety of approaches to biological image analysis, which allow for the study of living organisms at all levels of complexity and organization. Meer
152,71
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
Networks of computer systems, distribution systems, and telecommunication systems play an increasingly important role in our lives. This book is concerned with analysing and assessing the reliability of such networks whose components are prone to possible failure. Meer
57,53
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
Innovative research solutions increasingly require deep engagement with practitioners to manage the complex problems they are attempting to solve. This often project-based research is equipped with finite resources over a limited period without much thought into future-proofing the practice. Meer
80,99
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
Time series analysis is one of several branches of statistics whose practical importance has increased with the availability of powerful computing tools. Meer
86,51
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. Meer
538,89
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
This book describes how computer programs can generate narratives and how studies of computational narrative can illuminate how humans tell stories.
Combining an introduction to relevant concepts related to automatic storytelling with accessible descriptions of well-known computer programs that illustrate how such concepts are employed, the book is aimed at an interdisciplinary audience and assumes little or no background in computer science. Meer
97,54
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
Distrust. Division. Disparity. Is our world in disrepair?
Ethics and civics have always mattered, but perhaps they matter now more than ever before. Recently, with the rise of online teaching and movements like #PlayApartTogether, games have become increasingly acknowledged as platforms for civic deliberation and value sharing. Meer
103,06
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
This is a new paperback edition of probably the most important and widely read text on numerical analysis. It is the distillation of what the author learnt about the computation of matrix eigenvalues by dint of trying all methods known to him on computers he helped to make. Meer
194,09
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
The book is an exploration of the theoretical, conceptual and methodological foundations of human-centred design. Specifically, it critically examines the notion of 'practice' and argues for an understanding of the concept which emanates from engagement with design problems rather than simply from social scientific theory. Meer
136,16
Verwachte levertijd ongeveer 11 werkdagen | Gratis verzonden
The threat that is posed by "cyber-warriors" is illustrated by recent incidents such as the Year 2000 "Millennium Bug". Strategies to reduce the risk that cyber-attack poses, at both individual and national level, are described and compared with the actions being taken by a number of Western governments. Meer
36,31
Verwachte 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