A Computer Science Reader covers the entire field of computing, from its technological status through its social, economic and political significance. The book's clearly written selections represent the best of what has been published in the first three-and-a-half years of ABACUS , Springer-Verlag's… Meer
The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this… Meer
1.1. What This Book is About This book is a study of • subrecursive programming systems, • efficiency/program-size trade-offs between such systems, and • how these systems can serve as tools in complexity theory… Meer
xiv aggregates: this touches on the very nature of things. The concept of statistical symmetry which Loeb develops is particularly important, it emphasizes the limitations in seemingly random aggregates and for permits general statements of which the crystallographer's sym metries are only special… Meer
In part the book creates and motivates the notion of metamodelling and how it can be used to standardise the creation of industry-strength design. At its heart, the book presents an analysis of the main object-oriented design methodologies, including: Booch, OMT, Coad, and Martin/Odell… Meer
Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use as a graduate text… Meer
This textbook provides an in depth course on data structures in the context of object oriented development. Its main themes are abstraction, implementation, encapsulation, and measurement: that is, that the software process begins with abstraction of data types, which then lead to alternate… Meer
From the editors of the wildly successful Beyond Calculation comes another exploration of the overwhelming impact of computers on our future. This time, the essays focus on the human impact of computer technology and culture: how computers will affect the ways we teach, learn, communicate, relate to… Meer
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance… Meer
The variety of sizes, shapes, and irregularities in nature is endless. Through illustrations and text, the authors of The Parsimonious Universe describe the efforts by scientists and mathematicians since the Renaissance to identify and describe the basic laws underlying the shape of natural forms… Meer
fhere is a growing perception that the succesful design and ~xploitation of complex information systems is critically dependant on :he level of methods and support for performance modelling. Fast :echnological evolution creates a strong demand for analysis :echniques which can handle new hardware… Meer
Object-oriented techniques and languages have been proven to significantly increase engineering efficiency in software development. Many benefits are expected from their introduction into electronic modeling… Meer
by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades… Meer
Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering… Meer
Surface properties play a very important role in many perception tasks. Object recognition, navigation, and inspection use surface properties ex tensively. Characterizing surfaces at different scales in given data is often the first and possibly the most important step… Meer
Widespread use of parallel processing will become a reality only if the process of porting applications to parallel computers can be largely automated. Usually it is straightforward for a user to determine how an application can be mapped onto a parallel machine; however, the actual development of… Meer
This book contains a selection of papers presented at the International Workshop Machine Learning, Meta-Reasoning and Logics held in Hotel de Mar in Sesimbra, Portugal, 15-17 February 1988. All the papers were edited afterwards… Meer
This book had its genesis in the following piece of computer mail: From allegra!joan-b Tue Dec 18 89:15:54 1984 To: sola!hjb Subj ect: 1 i spm Hank, I've been talking with Mark Plotnik and Bill Gale about asking you to conduct a basic course on using the lisp machine… Meer
Statements in C, like statements in any other programming language, consist almost entirely of expressions and special reserved words. Declarations in C, unlike declarations in other languages, also contain arbitrary expressions… Meer
Pollutants released to the environment are distributed among the many environmental media such as air, water, soil, and vegetation, as the result of complex physical, chemical and biological processes… Meer
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
