A main course text for courses or modules on computer communications, this text takes an approach that looks at computing communications in terms of principles (information, time and networks). It includes three major case studies and covers current issues such as B-ISDN and ATM.

Talking Amongst Themselves Computer Communication Fundamentals

Brebner, Gordon

Computers & Technology

Alfred Waller Ltd

<p>First Course in Formal Language Theory (Computer Science Texts)</p>

First Course in Formal Language Theory

Rayward-Smith, V. J.

From Logic to Computers

Thewlis, P. J.

Software

Mathematical logic is a fundamental tool in computer science which has wide and significant applications. Recently, there has been a move towards using logic as a programming language and the considerable interest in Prolog can be seen as a step in this direction. Although formal logic is clearly a fundamental part of any degree programme, most of the current texts are designed for third year undergraduate or postgraduate mathematicians. This text is designed specifically for undergraduates and, together with "A First Course in Formal Language Theory" and "A First Course in Computability", both by V. J. Rayward-Smith, it covers the important theory which should be in any computer science degree course.

A First Course in Formal Logic and Its Applications in Computers Science

Science & Math

Dowsing, R. D.

Walter, Colin D.

Mathematics

This book provides an overall view of the various topics required to understand microprocessor architecture and control systems. The hardware and programming aspects are described using the Motorola 6809 and its support chips as a typical example of a real system. Each section begins with a general discussion of the subject, followed by a more detailed coverage relating to the M6809. The book assumes no more than a basic knowledge of computer architecture, such as could be obtained from the author's "From Logic to Computers".

Microtechnology: The M6809

A complete introduction to the programming language SIMULA based on the new 1984 SIMULA standard, this book is designed for self-teaching or as a basis for courses at undergraduate or higher levels, and assumes no previous programming knowledge. Comprehensive examples and exercises are given with solutions. This is the most complete book on SIMULA to be written and is the only one using the current standard. It also contains warnings of conflicts with older versions and is geared to the non-mathematician, using examples from, amongst other things, word processing.

Introduction to Programming With Simula

Pooley, R. J.

Programming

This book takes as its central theme the contention that functional languages are more appropriate than conventional imperative languages for addressing the important concerns of software science. The book therefore explores, in detail, the theme of program specification, verification and transformation along with semantics, implementation, languages design and programming in order to provide a comprehensive account of these programming languages and an explanation for the intense interest they are generating in the research community. It contains many exercises, suggestions for project work, extensive bibliographic notes and many references to current research, and thus provides a useful guide to both current and historical literature. The book will be of interest to final year undergraduates, postgraduates and members of the wider computing community with an interest in software science.

Elements of Functional Languages

Henson, Martin C.

The intended readership for this book is the programmer who has experience of programming, preferably in a high-level language. The overall aim is to give the reader a working knowledge of PDP II and the text- and program-editing facilities available on the PDPLOG system. The book will also be useful for undergraduates taking a course in Artificial Intelligence (AI), and for cognitive psychologists, who will find PDP II a more than adequate language to express theoretical approaches to human cognition. In the commercial world PDP II is a major contender to LISP and PROLOG as the development language for intelligent knowledge-based systems. PDP II will offer the experienced PROLOG programmer easier, though high-level, ways of performing particular tasks that are difficult to conceptualize and write in PROLOG.

Programming in Pop-11

Laventhol, Jonathan

Reference

The aim of this book is to provide an introduction to the skills needed for both design and implementation of usable interfaces to computer systems. The emphasis is on text-based interfaces in order to reflect their preponderance in current systems. There is a very limited number of introductory texts in this area and Man-Computer Interfaces differs from them in its concentration on the implementation of commonly accepted criteria for good design rather than the underlying psychological/ergonomic principles which underpin them.

Man Computer Interfaces/an Introduction to Software Design and Implementation (Computer Science Texts)

Coats, Robert B.

Vlaeminke, I.

An introduction to automata theory (Computer science texts)

This book is an introduction to the elementary structure theory of finite state machines. After preliminary definitions, the book discusses what it means for one machine to implement another, using the notation of a realization, and in particular, the notion of machine reduction. Reference is made to the fact that machines form a category, with realizations as morphisms. Next, the serial and parallel composition of machines are looked at and it is shown that these operations satisfy certain algebraic relations up to isomorphism. The Hartmanis-Yoeli parallel and serial decomposition theorems, which depend on congruence relations of the state space of a machine are then presented. Subsequent chapters investigate the computation of the set of all such congruences, making use of the fact that they form a lattice. Finally, the lattice of congruences are used to analyze machine decomposition.

An Introduction to Automata Theory (Computer Science Texts)

Shields, M. W.

See the best price to sell, buy or rent books by the Alfred Waller Ltd publisher. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Alfred Waller Ltd