This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. Meer
This book provides a comprehensive description of the methodologies and the application areas, throughout the range of digital communication, in which individual signals and sets of signals with favorable correlation properties play a central role. Meer
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
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
This volume contains the refereed and invited papers which were presented at Expert Systems 90, the tenth annual conference of the British Computer Society's Specialist Group on Expert Systems, held in London in September 1990. Meer
As personal computers have become more available, there has been a great deal of optimism for educational reform through wide computer use, both at school and in the home. Meer
The subject of hypertext and hypermedia has been witnessing a dramatic rise in interest over the last three years both from the academic and the industrial communities. Meer
Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in a programming environment. Meer
Many infinite-dimensional linear systems can be modelled in a Hilbert space setting. Others, such as those dealing with heat transfer or population dynamics, need to be set more generally in Banach spaces. 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
Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Meer
This book presents the proceedings of the Distributed Ada '89 Symposium held at the University of Southampton in December. The objective of the symposium was to provide a platform for developers and users with experience in the areas of distributed and parallel environments to reveal the advantages and difficulties encountered. Meer
In this 1991 book, Hilbers discusses the general case of how to use processors simultaneously in order to solve a single problem rather than any specific application, and develops a theory independent of particular architectures. Meer
This textbook, for second- or third-year students of computer science, presents insights, notations, and analogies to help them describe and think about algorithms like an expert, without grinding through lots of formal proof. Meer
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. Meer
From the Internet's infrastructure to operating systems like GNU/Linux, the open source movement comprises some of the greatest accomplishments in computing over the past quarter century. Meer
In online computation a computer algorithm must decide how to act on incoming items of information without any knowledge of future inputs. How should it route the next telephone call? Meer
Computing environments that furnish a large set of tools (such as editors, mail programs and language processors) are difficult to use, primarily because there is no means of organizing the tools so that they are at hand when needed. Meer
Coding theory is concerned with successfully transmitting data through a noisy channel and correcting errors in corrupted messages. It is of central importance for many applications in computer science or engineering. 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