Authored by the creator of Expect, this handbook shows how to use this Tcl-based toolkit to automate telnet, passwd, rlogin and other applications in a UNIX environment. Includes an introduction to Tc
A unique reference for all those using the new electronic 'multimedia' arts, The Cyberspace Lexicon provides a much-needed guide through the maze of existing and emerging technologies. From arcade ga
Computers have dramatically altered life in the late twentieth century. Today we can draw on worldwide computer links, speeding up communications by radio, newspapers, and television. Ideas fly back
Written by the author of the best-selling HyperText & HyperMedia, this book is an excellent guide to the methods of usability engineering. The book provides the tools needed to avoid usability sur
C is one of the most popular programming languages today. It is flexible, efficient and highly portable, and is used for writing many different kinds of programs, from compilers and assemblers to spreadsheets and games. This book is based on ANSI C - the recently adopted standard for the C language. It assumes familiarity with basic programming concepts such as variables, constants, iteration and looping, but covers all aspects of C. In general it is as much about learning programming skills as it is about mastering the art of coding programs in C. To this end the text contains a wealth of examples and exercises that foster and test the understanding of the concepts developed in each chapter. An outstanding feature of this book is a treatment of 'pointers'. The topic is presented in a clear, logical and reasoned manner that is easy to follow. Binary files and random access files are also treated in such a manner that the reader can easily become adept at using them. Anybody who wishes
Human Computer Interaction (HCI) is concerned with every aspect of the relationship between computers and people (individuals, groups and society). The annual meeting of the British Computer Society's HCI group is recognised as one of the main venues for discussing recent trends and issues. This volume contains refereed papers and reports from the 1994 meeting. A broad range of HCI related topics are covered, including interactive systems development, user interface design, user modelling, tools, hypertext and CSCW. Both research and commercial perspectives are considered, making the book essential for all researchers, designers and manufacturers who need to keep abreast of developments in HCI.
A look at television as a dying technology describes how government restrictions may hinder American companies from realizing their potential at the forefront of telecomputer development
Reviewers and readers have enthused over previous 'Illustrating' books from the pen of Donald Alcock; his unique formula using graphics and calligraphy to explain what else would take a thousand words is here applied to illustrate ANSI C. As usual, Alcock emphasizes learning by writing programs and working through them. Plenty of real programs are used to good effect, so that by the end of the book advanced topics have been described by means of increasingly sophisticated examples. A feature of the layout is the double-page spread: each of these covers a particular topic making the book useful as a reference manual. Moreover each spread is made as self-contained as is reasonably possible - ideal for browsing. For the programmer with a grounding in one language, such as FORTRAN, this book will give an excellent introduction to standard C - one that emphasizes the self-discipline needed to write portable programs. This revised edition has benefited from many corrections and updates, and
Explains the concept of fuzzy logic, tells how it was developed in the United States, but only exploited in Japan so far, and describes products of the future that will feature fuzzy logic
Uses Internet as a springboard in envisioning the network of the future and its components such as the national information infrastructure, information networks, databases, and consumer electronics, a
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. Beyond Technology's Promise, first published in 1994, takes a hard look at the home computer scene. The research reported in the book focuses on whether families are using computers to help children learn academic skills and, if so, how well they are doing it. The three year, qualitative investigation provides contextual information crucial to our understanding of how computers are really being used. The authors draw the not so surprising conclusion that most children use computers to play games. They therefore propose directions that must be taken in order to facilitate the educational use of home computers or any other promising educational technology. In so doing, they examine such topics as parental leadership, the home-school computer connection, and the role of gender in home computing use.
Gates reveals the guiding genius behind the unparalleled success of the Microsoft Corporation-- the biggest and most profitable personal computer software company in history-- and exposes the intens
Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland go
When software systems are delivered too late, when they fail to meet the needs of their users, when only a fraction of their capacity is used, when their maintenance costs more than their development,
Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for undergraduate computer scientists. The author is a respected category theorist and has based this textbook on a course given over the last few years at the University of Sydney. The theory is developed in a straightforward way, and is enriched with many examples from computer science. Thus this book meets the needs of undergradute computer scientists, and yet retains a level of mathematical correctness that will broaden its appeal to include students of mathematics new to category theory.
To date, books on object-oriented programming have focused either on the methodology of the object-oriented paradigm or on teaching the details of a particular programming language. This collection ta
This book introduces the concept of a hypothetical type of knowledge construction -- referred to as structural knowledge -- that goes beyond traditional forms of information recall to provide the base
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest
Active Vision explores important themes emerging from the active vision paradigm, which has only recently become an established area of machine vision. In four parts the contributions look in turn at
