Series: Undergraduate Topics in Computer Science
2008, Approx. 280 p. 196 illus., Softcover
ISBN: 978-1-84800-120-6
Due: August 2008
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science. The author follows the successful formula of his first book on this subject, this time making these core computing topics more fundamental and providing an excellent foundation for undergraduates.
The book is divided into two parts, Languages and Machines and Machines and Computation. The first part is concerned with formal language theory, as it applies to Computer Science, whereas Part 2 considers the computational properties of the machines in more detail. This text is deliberately non-mathematical and, wherever possible, links theory to practical considerations, in particular the implications for programming, computation and problem solving. Written in an informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.
Introduction.- Part One: Languages and Machines.- Elements of Formal Languages.- Syntax, Semantics and Ambiguity.- Regular Languages and Finite State.- Context Free Languages and Pushdown Recognisers.- Important Features of Regular and Context Free Languages.- Phrase Structure Languages and Turing Machines.- Part Two: Machines and Computation.- Finite State Transducers.- Turing Machines as Computers.- Turingfs Thesis and The Universality of the Turing Machine.- Computability, Solvability and the Halting Problem.- Dimensions of Computation.- Further Reading.- Solutions to Selected Exercises.
Series: Graduate Texts in Mathematics , Vol. 251
2008, Approx. 795 p. 25 illus., Hardcover
ISBN: 978-0-387-78834-0
Due: August 2008
This book treats Jacques Tits's beautiful theory of buildings, making that theory accessible to readers with minimal background. It includes all the material of the earlier book Buildings by the second-named author, published by Springer-Verlag in 1989, which gave an introduction to buildings from the classical (simplicial) point of view. This new book includes two other approaches to buildings, which nicely complement the simplicial approach: On the one hand, buildings may be viewed as abstract sets of chambers important in the theory and applications of buildings. On the other hand, buildings may be viewed as metric spaces. Beginners can still use parts of the new book as a friendly introduction to buildings, but the book also contains valuable material for the active researcher.
There are several paths through the book, so that readers may choose to concentrate on one particular approach. The pace is gentle in the elementary parts of the book, and the style is friendly throughout. All concepts are well motivated. There are thorough treatments of advanced topics such as the Moufang property, with arguments that are much more detailed than those that have previously appeared in the literature.
This book is suitable as a textbook, with many exercises, and it may also be used for self-study.
Series: International Series of Numerical Mathematics , Vol. 157
2008, Approx. 300 p., Hardcover
ISBN: 978-3-7643-8772-3
Due: September 2008
Inequalities continue to play an essential role in mathematics. Perhaps, they form the last field comprehended and used by mathematicians in all areas of the discipline. Since the seminal work Inequalities (1934) by Hardy, Littlewood and Polya, mathematicians have laboured to extend and sharpen their classical inequalities. New inequalities are discovered every year, some for their intrinsic interest whilst others flow from results obtained in various branches of mathematics. The study of inequalities reflects the many and various aspects of mathematics. On one hand, there is the systematic search for the basic principles and the study of inequalities for their own sake. On the other hand, the subject is the source of ingenious ideas and methods that give rise to seemingly elementary but nevertheless serious and challenging problems. There are numerous applications in a wide variety of fields, from mathematical physics to biology and economics.
This volume contains the contributions of the participants of the Conference on Inequalities and Applications '07 held in Noszvaj, Hungary in 2007. It is conceived in the spirit of the preceding volumes of the General Inequalities meetings held in Oberwolfach from 1976 to 1995 in the sense that it not only contains the latest results presented by the participants but it is also a useful reference book for both lecturers and research workers. The contributions reflect the ramification of general inequalities into many areas of mathematics and also present a synthesis of results in both theory and practice.
Graduate students, PhD students, researchers of inequalities, convexity, theory of means, partial differential equations, probability theory
2008, Approx. 225 p., Softcover
ISBN: 978-0-387-74371-4
Due: December 2008
- Accessible and general introduction to delay differential equations
- Encompasses a variety of applications
- Includes over 150 illustrations and many examples and exercises
This book is intended to all scientists wishing to extract analytical informations from a DDE. It is a revised and largely expanded version of a series of lectures first given at the Universite Libre de Bruxelles in 2002-2003 and then at the Universite Joseph Fourier (Grenoble) during the spring of 2003. The minimum prerequisites for this book is a facility with calculus, experience with differential equations, and an elementary knowledge of bifurcation theory. There exists a large theoretical iterature devoted to DDEs going from pure mathematical issues to practical engineering applications.
Introduction.- Linear stability.- Biology.- Traffic flow.- Musical instruments.- Gantry cranes.- Chemistry.- Mechanical vibrations.- Lasers.- Phase equations with delay.
Originally published by Prentice-Hall
2008, Approx. 685 p., Hardcover
ISBN: 978-0-387-78934-7
Due: July 2008
This book on scheduling covers both theoretical models as well as scheduling problems in the real world. Author Mike Pinedo also includes a CD that contains movies with regard to implementations of scheduling systems as well as slide-shows from the industry.
The book consists of three parts. The first part focuses on deterministic scheduling and deals with the combinational problems that arise in deterministic scheduling. The second part covers probabilistic scheduling models. In this part it is assumed that processing times and other problem data are not known in advance with certainty. The third part deals with scheduling in practice. It covers heuristics that are popular with practitioners and also delves into system design and developmental issues. Each chapter contains a series of computational and theoretical exercises.
This book is of interest to theoreticians and practitioners alike. Graduate students in operations research, industrial engineering, and computer science will find the book to be an accessible and invaluable resource. Scheduling will serve as an essential reference for professionals working on scheduling problems in manufacturing and computing environments.
Introduction.- Deterministic Models: Preliminaries.- Single Machine Models.- More Advanced Single Machine Models.- Parallel Machine Models.- Flow Shops and Flexible Flow Shops.- Job Shops.- Open Shops.- Stochastic Models: Preliminaries.- Single Machine Models.- Single Machine Models with Release Dates.- Parallel Machine Models.- Flow Shops, Job Shops and Open Shops.- General Purpose Procedures for Deterministic Scheduling.- More Advanced General Purpose Procedures.- Modeling and Solving Scheduling Problems in Practice.- Design and Implementation of Scheduling Systems: Basic Concepts.- Design and Implementation of Scheduling Systems: More Advanced Concepts.- Examples of System Designs and Implementations.- What Lies Ahead?
Series: Oberwolfach Seminars , Vol. 39
2009, Approx. 200 p., Softcover
ISBN: 978-3-7643-8792-1
Due: October 2008
The major part of the material presented is recent and appears in a book for the first time
Assumes only basic knowledge about geometry, low-dimensional topology and Teichmuller theory
This book contains a modern treatment of the Weil-Petersson geometry of Teichmuller space and an exposition of some recent results on the volume of convex cores of hyperbolic 3-manifolds. It also contains a complete proof of the ending lamination conjecture for hyperbolic 3-manifolds which are diffeomorphic to the product of a surface with the real line and whose injectivity radius is bounded from below.
Preface.- I. The ending lamination conjecture with injectivity radius bounds.- II. The Weil-Petersen geometry of Teichmuller space.- III. Volumes of convex cores of hyperbolic 3-manifolds.