edited by
Heinrich G.W. Begehr/ Freie Universitat, Berlin, Germany
Robert P. Gilbert/ University of Delaware, Newark, USA
Joji Kajiwara / Graduate School of Mathematics, Kyushu University, Fukuoka, Japan

Proceedings of the Second ISAAC Congress
Volume 1 and Volume 2


INTERNATIONAL SOCIETY FOR ANALYSIS, APPLICATIONS AND COMPUTATION Volume 7/8

The emphasis of the two volumes is on complex analysis with classical topics such as value distribution, and modern topics such as complex dynamics, both in one and several complex variables; the application of complex analysis to partial differential equations and integral equations and its generalization to quaternionic and Clifford analysis; new results from real and functional analysis, numerical and computational mathematics; and areas in applied mathematics such as acoustics and computational biology.

Audience: Researchers, especially those working in real and complex analysis, in numerical analysis, and in mathematical physics.


Kluwer Academic Publishers, Dordrecht

Hardbound Volume 1, ISBN 0-7923-6597-6
November 2000, 830 pp.

Hardbound Volume 2, ISBN 0-7923-6598-4
November 2000, 832 pp.

Hardbound Set of 2 volumes, ISBN 0-7923-6754-5
November 2000, 1662 pp.

edited by
Carlos Martin-Vide / Rovira i Virgili University, Tarragona, Spain
Victor Mitrana / University of Bucharest, Romania

Where Mathematics, Computer Science, Linguistics and Biology Meet

There are not many interdisciplinary scientific fields as formal language theory. In this volume, it is presented as the very intersection point between Mathematics, Computer Science, Linguistics and Biology. The book is a collection of papers going deep into classical topics in computer science inspired formal languages, as well as other ones showing new concepts and problems motivated in linguistics and biology. The papers are organized in four sections: Grammars and Grammar Systems, Automata, Languages and Combinatorics, and Models of Molecular Computing. They clearly prove the power, wealth and vitality of the theory nowadays and sketch some trends for its
future development.

The volume is intended for an audience of computer scientists, computational linguists, theoretical biologists and any other people interested in dealing with the problems and challenges of
interdisciplinarity.

Kluwer Academic Publishers, Dordrecht

Hardbound, ISBN 0-7923-6693-X
November 2000, 464 pp.

Christelle Wynants
Service de Mathematiques de la Gestion, Institut de Statistique
et de Recherche Operationnelle, Universite Libre de Bruxelles, Belgium

Network Synthesis Problems

COMBINATORIAL OPTIMIZATION Volume 8

This monograph is concerned with network restoration problems to ensure telecommunication network survivability. More precisely, the author studies the problems of determining
minimum cost link capacities in order to satisfy a given set of requirements, that is the network synthesis problem, restoration of which is a special application.

In this monograph, the author illustrates the role that combinatorial optimization techniques can play in the solutions of various classes of synthesis problem encountered in telecommunication
planning.

The author presents a literature review, mathematical formulations, and a complexity analysis. Lower bounds, and exact solutions for some classes of this problem are provided. Furthermore, she develops a tabu search heuristic for finding good approximate solutions for real size instances.

The monograph also provides an introduction to SDH/SONET telecommunication networks and to various survivability techniques.

Audience: The book will be of interest to researchers and professionals working in mathematics, operations research, and engineering economics, particularly when related to the telecommunications industry.

Contents
List of Figures. List of Tables. Abstract. Acknowledgments. Introduction. 1. Telecommunication Context and Terminology. 2. Network Synthesis Problem. 3. Single Commodity Flow Requirements. 4. Multicommodity Flow Requirements. 5. Partially Equipped SDH Network. 6. Self-Healing Rings.
Appendices: A. Network generator. A.1. Network topology. A.2. Restoration problem. A.3. Multi-hour problem. References.

Kluwer Academic Publishers, Dordrecht

Hardbound, ISBN 0-7923-6689-1
December 2000, 228 pp.

Edited by Laszlo Boeszoermenyi,
Jurg Gutknecht, and Gustav Pomberger

The School of Niklaus Wirth: The Art of Simplicity

October 2000
260 pages
Cloth
ISBN 1-55860-723-4

Niklaus Wirth is one of the great pioneers of computer technology and winner of the ACM's A.M. Turing Award, the most prestigious award in computer science. he has made substantial contributions to the development of programming languages, compiler construction, programming methodology, and hardware design. While working at ERH Zurich, he developed the languages Pascal and Modula-2. He also designed an early high performance workstation, the Personal
Computer Lilith, and most recently the language and operating system Oberon.

While Wirth has often been praised for his excellent work as a language designer and engineer, he is also an outstanding educator - something for which he is not as well known. This book brings together prominent computer scientists to describe Wirth's contributions to education. With the
exception of some of his colleagues such as Professors Dijkstra, Hoare, and Rechenberg, all of the contributors to this book are students of Wirth. The essays provide a wide range of contemporary views on modern programming practice and also illuminate the one persistent and pervasive quality found in all his work: his unequivocal demand for simple solutions. The authors and editors hope to pass on their enthusiasm for simple engineering solutions along with their feeling for a man to whom they are all so indebted.

Jim Davies, Bill Roscoe, Jim Woodcock

Millennial Perspectives in Computer Science
Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare

Hardback
November 2000
432 pages

246mm x 189mm
ISBN:0333922301

Description :
Millennial Reflections in Computer Science is a comprehensive overview of cutting-edge issues within computing science written by some of the most pre-eminent scientists available today.

To mark the retirement of Sir Tony Hoare from Oxford University, some of the world's leading computer scientists gathered together for a three-day symposium. Organised by the University of Oxford, and sponsored by Microsoft Research, the symposium resulted in this remarkable collection of talks, papers, and essays.

Some describe original research, others offer personal perspectives

on the field. Together, they comprise a unique insight into the past, present, and future of computer science.

Contents:

Preface; J.Woodcock
Concurrent Interaction Games; S.Abramsky
Program Optimisation Naturally; R.Bird, J.Gibbons & G.Jones
The Binary Euclidean Algorithm; R.P.Brent
Domain Modelling; D.Bjorner
Communicating Parallel Processes; S.Brookes
Computing with Shapes; S.Cameron
Predicate Transformers for Competition; K.M.Chandy & M.Charpentier
A Note on Monitor Versions; O-J.Dahl
A Formula is Worth a Thousand Pictures; E.W.Dijkstra
Linking Higher Order Logic to Binary Decision Diagrams; M.Gordon
Substitution of Equals for Equals; D.Gries & F.B.Schneider
Advanced Features of the Duration Calculus; H.Jifeng & X.Qiwen
Formalism and the Variable; E.C.R.Hehner
The Real World; Michael Jackson
Compositionality, Inference and Concurrency; C.B.Jones
Dancing Links; D.E.Knuth
The Transputer Revised; D.May
Principles of Language Design and Evolution; B.Meyer
Computing and Communication - What's the Difference?; R.Milner
Generating-functions of Interconnection Networks; J.Misra
Probably Hoare? Hoare Probably!; C.Morgan, A.McIver & J.W.Sanders
Distributed Computing : Opportunity, Challenge or Misfortune?;R.M.Needham
A Linear-time Algorithm for Verifying MLL Proof Nets via Essential Nets; A.S.Murawski & C.-H.L.Ong
Intuitionistic Reasoning about Shared Mutable Data Structure; J.C.Reynolds
The Successes and Failures of Behavioural Models; A.W.Roscoe, G.M.Reed & R.Forster
The Algebra of Searching; M.Spivey & S.Seres
Modeless Structure Editing; B.Sufrin & O.de Moor
A Chaos-free Failures-divergences Semantics with Applications to Verification; A.Valmari
Records, Modules, Objects, Classes, Components; N.Wirth
Abstract Data Types and Processes; J.Woodcock, J.Davies & C.Bolton
A Higher-order Duration Calculus; Z.Chaochen, D.P.Guelev & Z.Naijun

Mary Hart

Guide to Analysis

Paperback
March 2001
304 pages
2nd edition

246mm x 189mm
ISBN:0333794494

Description :
Guide to Analysis, Second Edition, aims to guide undergraduate students through the first year of their mathematics course. It provides a rigorous introduction to Analysis, which takes into account the difficulties students often face when making the transition from A-Level mathematics to this higher level. Plenty of examples are provided, some of which have full,
detailed solutions, and others which encourage the student to discover and investigate the ideas themselves. Hints are provided, but the book aims to build confidence and understanding in all topics.

This new edition has two new, substantial chapters, covering integration and power series, and is updated throughout, taking into account changes in notation.

Contents:

Preface
Introduction
Numbers and Number Systems
Sequences
Infinite Series
Functions
Differentiable Functions
Integration
Power Series
Index