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