Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Perspectives of System Informatics
This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.
The Second Age of Computer Science
Between the genesis of computer science in the 1960s and the advent of the World Wide Web around 1990, computer science evolved in significant ways. The author has termed this period the "second age of computer science." This book describes its evolution in the form of several interconnected parallel histories.
Collected Algorithms
None
It Began with Babbage
A complete and accessible history of computer science, beginning with Charles Babbage in 1819.
Reconciling Art and Technology
This book examines two venerable cultures, art and technology, and uses the young "interdiscipline" of cognitive history combined with case studies of both ancient and modern artifacts to explore, and unveil, some of the bridges by which this reconciliation of two seemingly distant and oppositional cultures can be effected. Art and technology are commonly regarded as oppositional. While both are concerned with made things – artifacts – and both have their origins in pre-literate antiquity, the primary purposes they are intended for are quite distinct: the artifacts of technology serve utilitarian purposes while those of art serve affective needs. This opposition between art and technolog...
Geometric Problems in the Theory of Infinite-dimensional Probability Distributions
Discusses problems in the distribution theory of probability.
Compiler Construction
Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book we are concerned with the construction of the former. Our intent is to provide the reader with a firm theoretical basis for compiler construction and sound engineering principles for selecting alternate methods, imple menting them, and integrating them into a reliable, economically viable product. The emphasis is upon a clean decomposition employing modules that can be re-used for many compilers, separation of concerns to facilitate team programming, and flexibility to accommodate hardware and system constraints. A reader should be able to und...
Security and Embedded Systems
Technological advances have led to wide deployment and use of embedded systems in an increasing range of applications, from mobile phones to car, plane and spacecraft and from digital id’s to military systems in the field. Many of these applications place significant security requirements and have led to significant research activity in the area of security and embedded systems, due to the limited resources of conventional embedded systems. This emerging research area is of great importance to a large number of public and private organizations, due to their desire to deploy secure embedded systems in the field. This publication brings together one of the first international efforts to emph...
Compiler Compilers
Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of biannual workshops on compiler compilers. Selected papers address the topics of requirements, properties, and theoretical aspects of compiler compilers as well as tools and metatools for software engineering. The 23 papers cover a wide spectrum in the field of compiler compilers, ranging from overviews of new compiler compilers for generating quality compilers to special problems of code generation and optimization. Aspects of compilers for parallel systems and knowledge-based development tools are also discussed.
