Best of
Computer-Science

1994

Design Patterns: Elements of Reusable Object-Oriented Software


Erich Gamma - 1994
    Previously undocumented, these 23 patterns allow designers to create more flexible, elegant, and ultimately reusable designs without having to rediscover the design solutions themselves.The authors begin by describing what patterns are and how they can help you design object-oriented software. They then go on to systematically name, explain, evaluate, and catalog recurring designs in object-oriented systems. With Design Patterns as your guide, you will learn how these important patterns fit into the software development process, and how you can leverage them to solve your own design problems most efficiently. Each pattern describes the circumstances in which it is applicable, when it can be applied in view of other design constraints, and the consequences and trade-offs of using the pattern within a larger design. All patterns are compiled from real systems and are based on real-world examples. Each pattern also includes code that demonstrates how it may be implemented in object-oriented programming languages like C++ or Smalltalk.

Expert C Programming: Deep C Secrets


Peter van der Linden - 1994
    This book will help the C programmer reach new heights as a professional. Organized to make it easy for the reader to scan to sections that are relevant to their immediate needs.

Artificial Intelligence: A Modern Approach


Stuart Russell - 1994
    The long-anticipated revision of this best-selling text offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. *NEW-Nontechnical learning material-Accompanies each part of the book. *NEW-The Internet as a sample application for intelligent systems-Added in several places including logical agents, planning, and natural language. *NEW-Increased coverage of material - Includes expanded coverage of: default reasoning and truth maintenance systems, including multi-agent/distributed AI and game theory; probabilistic approaches to learning including EM; more detailed descriptions of probabilistic inference algorithms. *NEW-Updated and expanded exercises-75% of the exercises are revised, with 100 new exercises. *NEW-On-line Java software. *Makes it easy for students to do projects on the web using intelligent agents. *A unified, agent-based approach to AI-Organizes the material around the task of building intelligent agents. *Comprehensive, up-to-date coverage-Includes a unified view of the field organized around the rational decision making pa

The Design and Evolution of C++


Bjarne Stroustrup - 1994
    As the inventor of the language, Stroustrup presents his insight into the decisions which resulted in the features of C++ - the praised, the controversial and even some of the rejected ones. By writing this book the author presents his object-oriented programming philosophy to the interested programming community. His vehicle is the C++ language but his focus is on real object-oriented programming language development for the working programmer rather than as a abstract approach to the OOP paradigm.

Unix Systems for Modern Architectures: Symmetric Multiprocessing and Caching for Kernel Programmers


Curt Schimmel - 1994
    This book teaches how these architectures operate using clear, comprehensible examples to explain the concepts, and provides a good reference for people already familiar with the basic concepts.

The Unix Philosophy


Mike Gancarz - 1994
    Readers will discover the rationale and reasons for such concepts as file system organization, user interface and other system characteristics. In an informative, non-technical fashion, The UNIX Philosophy explores the general principles for applying the UNIX philosophy to software development. This book describes complex software design principles and addresses the importance of small programs, code and data portability, early prototyping, and open user interfaces. The UNIX Philosophy is a book to be read before tackling the highly technical texts on UNIX internals and programming. Written for both the computer layperson and the experienced programmer, this book explores the tenets of the UNIX operating system in detail, dealing with powerful concepts in a comprehensive, straightforward manner.

Neural Networks in Computer Intelligence


Limin Fu - 1994
    Unlike other network books, this one pioneers the effort to offer a unified perspective which could be used to integrate intelligence technologies. The broad coverage of the book and the emphasis on basic principles can accommodate the diverse background of readers.

Controlling the World with Your PC [With *]


Paul Bergsman - 1994
    All circuits connect directly to the parallel printer port of your PC you don't have to modify your PC in any way. Each circuit is complete with a schematic, description of circuit theory and operation, a parts list, construction and usage tips, and full source code in C, Basic, and Pascal for the controlling software. You can use each circuit "as is" or modify it for your particular needs. Do as thousands and thousands of others around the world have done add this book to your electronics reference library Over 200 large-format pages plus HD floppy disk. -controlling stepper and servo motors -generating audio tones and speech -converting input voltages to binary values

The Best of Byte


Jay Rande - 1994
    From fascinating "you only read it here" articles to pieces of enduring historical and technological significance--it's all here. Includes articles by Kerighan/Ritchie on C and Stroustrup on C++, important operating systems, standards articles and miscellaneous seminal pieces by Wozniak and Daniel Dern on Internet. General Index. 125 illustrations.

Zen of Code Optimization


Michael Abrash - 1994
    This book provides practical approaches to writing fast PC software using C/C++ and assembly language. It provides hundreds of optimized coding examples and includes Zen timer software.

Multidimensional Scaling


Trevor F. Cox - 1994
    Geared toward dimensional reduction and graphical representation of data, it arose within the field of the behavioral sciences, but now holds techniques widely used in many disciplines. Multidimensional Scaling, Second Edition extends the popular first edition and brings it up to date. It concisely but comprehensively covers the area, summarizing the mathematical ideas behind the various techniques and illustrating the techniques with real-life examples. A computer disk containing programs and data sets accompanies the book.

Robot Evolution: The Development of Anthrobotics


Mark Elling Rosheim - 1994
    Acknowledgedrobotics expert Mark Rosheim offers at once a fascinating look atmore than 2,000 years of robot history, as well as a technicalguide to their development, design, and component parts. This bookexplores the evolution and increasing complexity of robot designsand points out the advantages and disadvantages of various designapproaches for robot arms, hands, wrists, and legs. By analyzingthe kinematics of robot components in comparison to human limbs, Robot Evolution also introduces a powerful new design tool tomeasure and evaluate past, present, and new designs. This bookfeatures: * Robot survey from ancient Greece to the nineteenth century * Analysis of modern robots from 1950 to the present * Comparative anatomy of human and robot joints * Chapter-by-chapter analysis of robot arms, wrists, hands, andlegs * Evolution of sensors and artificial intelligence * Development of mechanical men from man-amplifiers to amazinganthropomorphic robots--anthrobots!

The Internet for Dummies Quick Reference


John R. Levine - 1994
    You can't just sit and watch it like television; you have to try things, poke around, and find the sites, information, and people that you need and enjoy. The Internet For Dummies Quick Reference, 8th Edition, puts you on the road to online discovery and keeps you on track by showing you how toBuy the right computer hardware for Internet access Select an Internet Service Provider to make the connection Use popular e-mail programs Get the real deal on privacy, security, and cookies Buy and sell on the Internet Speak the online language with glossary guidance This down-to-earth reference includes all the tasks and resources you really need, lies flat on your desk so that you can type with both hands, and weighs less than a laptop computer. The latest edition in a regularly updated series covers the newest versions of Internet Explorer and Netscape Web browsers, e-mail client software, and other basic Internet tools. You can expect to get the nitty-gritty onGetting into the swim with Web surfing Finding the best online resources for research and support Sending voice and pictures over the Internet Choosing between Windows and Macintosh systems Reading newsgroups and browsing with America Online Tapping shareware and freeware software Uploading and downloading files with ease The Internet For Dummies Quick Reference, 8th Edition, also introduces you to the whys and wherefores of building and posting a Web page, a document that has its own URL and that can express anything you want to a big, wide world of visitors. Whether the Internet's new territory to you or you've been Web-wise for quite a while, this up-to-date, fast, and fun resource will have you cyber-traveling in style in no time!

QBASIC Programming for Dummies


Douglas Hergert - 1994
    A fast and friendly reference to QBasic, the most popular language for novices learning to program, QBasic for Dummies leads readers, in a sequence of easy exercises, through all the beginning steps--how to start QBasic, type the lines of a program, correct mistakes in the code, and get your own homemade computer program up and running.

Circuits of the Mind


Leslie Valiant - 1994
    Valiant details a promising new computational approach to studying the intricate workings of the human brain. Focusing on the brain's enigmatic ability to access a massive store of accumulated information very quickly during reasoning processes, the author asks how such feats are possible given the extreme constraints imposed by the brain's finite number of neurons, their limited speed of communication, and their restricted interconnectivity. Valiant proposes a neuroidal model that serves as a vehicle to explore these fascinating questions. While embracing the now classic theories of McCulloch and Pitts, the neuroidal model also accommodates state information in the neurons, more flexible timing mechanisms, a variety of assumptions about interconnectivity, and the possibility that different areas perform different functions. Programmable so that a wide range of algorithmic theories can be described and evaluated, the model provides a concrete computational language and a unified framework in which diverse cognitive phenomena--such as memory, learning, and reasoning--can be systematically and concurrently analyzed. Included in this volume is a new preface that highlights some remarkable points of agreement between the neuroidal model and findings in neurobiology made since that model's original publication. Experiments have produced strong evidence for the theory's predictions about the existence of strong synapses in cortex and about the use of precise timing mechanisms within and between neurons. The theory also provides a quantitative explanation of how randomly placed neurons can be harnessed as resources for general purpose learning and memory--and is therefore synergistic with the striking recent discovery of neurogenesis in cortex. Requiring no specialized knowledge, Circuits of the Mind, masterfully offers an exciting new approach to brain science for students and researchers in computer science, neurobiology, neuroscience, artificial intelligence, and cognitive science.

From Logic to Logic Programming


Kees Doets - 1994
    It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described. No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic.

SimCity 2000: Power, Politics and Planning, Revised Edition


Nick Dargahi - 1994
    This book covers the new CD-ROM version as well as Windows version, urban renewal kit and new utilities.

Introduction to Parallel Computing: Design and Analysis of Algorithms


Vipin Kumar - 1994
    The focus is on issues of performance and scalability and includes detailed discussions of sorting, graph algorithms, and search algorithms for optimization.

Set Theory Objects: Abstractions for Computer-Aided Analysis and Composition of Serial and Atonal Music


Peter Castine - 1994
    "Set Theory Objects" provides a comprehensive introduction to this theory and its practice, explaining the concepts and terminology used precisely and understandably. Computers are a valuable tool in set theoretic work. This book not only provides a survey of currently available software, it also describes the development of a new program for set theoretical applications. Particular attention is paid to the strategies followed in designing the program to make it a truly usable tool for musicians, regardless of their technical sophistication. Thus, this book is not only of interest to musicians, but can serve as a case study in human interface design.

Handbook of Theoretical Computer Science, Vol. B Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics Formal Models and Semantics


Jean Van Leeuwen - 1994
    The books can be used by anyone wanting simply to gain an understanding of one of these areas, or by someone desiring to be in research in a topic, or by instructors wishing to find timely information on a subject they are teaching outside their major areas of expertise." -- Rocky Ross, "SIGACT News" "This is a reference which has a place in every computer science library." -- Raymond Lauzzana, "Languages of Design" The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B takes up the theory of automata and rewriting systems, the foundations of modern programming languages, and logics for program specification and verification, and presents several studies on the theoretic modeling of advanced information processing.The two volumes contain thirty-seven chapters, with extensive chapter references and individual tables of contents for each chapter. There are 5,387 entry subject indexes that include notational symbols, and a list of contributors and affiliations in each volume.

Landmarks in Digital Computing: A Smithsonian Pictorial History


Peggy Aldrich Kidwell - 1994
    Organized chronologically and thematically, coverage includes mechanical calculators, electromechanical devices, electronic computers, the minicomputer, personal computers, and net

The Fuzzy Systems Handbook: A Practitioner's Guide to Building and Maintaining Fuzzy Systems


Earl Cox - 1994
    This handbook leads the reader through the complete process of designing, constructing, implementing, verifying and maintaining a platform-independent fuzzy-system model. It is written in a tutorial style that assumes no background in fuzzy logic on the reader's part.

Handbook of Theoretical Computer Science - 2 Vol Set


Jean Van Leeuwen - 1994
    The books can be used by anyone wanting simply to gain an understanding of one of these areas, or by someone desiring to be in research in a topic, or by instructors wishing to find timely information on a subject they are teaching outside their major areas of expertise." -- Rocky Ross, "SIGACT News" "This is a reference which has a place in every computer science library." -- Raymond Lauzzana, "Languages of Design" The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B takes up the theory of automata and rewriting systems, the foundations of modern programming languages, and logics for program specification and verification, and presents several studies on the theoretic modeling of advanced information processing.The two volumes contain thirty-seven chapters, with extensive chapter references and individual tables of contents for each chapter. There are 5,387 entry subject indexes that include notational symbols, and a list of contributors and affiliations in each volume.

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design


Carl A. Gunter - 1994
    The fifteen chapters are divided into five parts: Objects and Subtypes, Type Inference, Coherence, Record Calculi, and Inheritance. The chapters are organized approximately in order of increasing complexity of the programming language constructs they consider - beginning with variations on Pascal- and Algol-like languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages. Part I discusses the similarities and differences between objects and algebraic-style abstract data types, and the fundamental concept of a subtype. Parts II-IV are concerned with the record model of object-oriented languages. Specifically, these chapters discuss static and dynamic semantics of languages with simple object models that include a type or class hierarchy but do not explicitly provide what is often called dynamic binding. Part V considers extensions and modifications to record object models, moving closer to the full complexity of practical object-oriented languages.

Neural Network and Fuzzy Logic Applications in C/C++


Stephen T. Welstead - 1994
    Sample results are described and judgment made as to how well each application worked. The book/disk set includes an object-oriented user interface along with the code for numerous programs.

Classic Data Structures In C++


Timothy A. Budd - 1994
    The proper uses of various features of the C++ programming language are introduced and a C++ appendix is included. The book also provides examples of modern software engineering principles and techniques.

The Psychology of Proof: Deductive Reasoning in Human Thinking


Lance J. Rips - 1994
    In this book, Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with experimental support, that is capable of playing a central role in mental life.