For people with various forms of physical disability, extreme slowness of communication is commonplace. In the first part of this 1992 book a functional architecture for communication aids is discussed and the idea of automatically supplying the intrinsic redundancy contained in natural communication is explained. Meer
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Meer
New practical techniques for nonlinear system research and evaluation
Nonlinear Systems Techniques and Applications provides the most practical techniques currently available for analyzing and identifying nonlinear systems from random data measured at the input and output points of the nonlinear systems. Meer
This book offers a unique insight into a revolution in software development that allows model specifications to be fully and efficiently translated into code. Meer
This study explores an approach to text generation that interprets systemic grammar as a computational representation. Terry Patten demonstrates that systemic grammar can be easily and automatically translated into current AI knowledge representations and efficiently processed by the same knowledge-based techniques currently exploited by expert systems. Meer
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. 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 book gives an introduction to theories of computability from a mathematically sophisticated point of view. It treats not only 'the' theory of computability (created by Alan Turing and others in the 1930s), but also a variety of other theories (of Boolean functions, automata and formal languages). Meer
This volume contains the refereed papers presented at ECOOP 89. They cover topics of contemporary interest in this increasingly active area of computer science research, from formal methods through software engineering to implementations. Meer
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. Meer
Richard Bird takes a radical approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Meer
In this text, students of applied mathematics, science and engineering are introduced to fundamental ways of thinking about the broad context of parallelism. Meer
Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. Meer
The book is intended for lectures on string processes and pattern matching in Master's courses of computer science and software engineering curricula. Meer
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. Meer
This book is a practical tool for Java programmers. It provides the necessary information for them to be able to find, evaluate and select an application framework suitable to their needs. Meer
State-space methods form the basis of modern control theory. This graduate text is devoted to a description of these methods in the analysis of linear multi-input, multi-output dynamic systems. Meer
Scala is a highly expressive, concise and scalable language. It is also the most prominent method of the new and exciting methodology known as object-functional programming. Meer
This book describes theoretical advances in the study of artificial neural networks. It explores probabilistic models of supervised learning problems, and addresses the key statistical and computational questions. Meer
State-space methods form the basis of modern control theory. This graduate text is devoted to a description of these methods in the analysis of linear multi-input, multi-output dynamic 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