The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge. Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity...

Modern cryptology increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory are often motivated by questions and problems from cryptology. This book takes account of this situation, and therefore its subject is what may be dubbed "cryptocomplexity'', a...

Software Process Modeling brings together experts to discuss relevant results in software process modeling, and expresses their personal view of this field. This book focuses on new aspects of software process modeling. Specifically, it deals with socio-technological aspects, process modeling for new development types (open...

Experimentation is necessary - a purely theoretical approach is not reasonable. The new experimentalism, a development in the modern philosophy of science, considers that an experiment can have a life of its own. It provides a statistical methodology to learn from experiments, where the experimenter should distinguish between statistical...

This text offers an introduction to error-correcting linear codes for graduate students in mathematics, computer science and engineering and researchers. The book differs from other standard texts in its emphasis on the classification of codes by means of isometry classes. The relevant algebraic concepts like finite fields and group actions are...

This...

The 30 revised full papers presented together with summaries on the workshops and tutorials were carefully reviewed and selected from 135 technical paper submissions....

Before discussing the book's topic, intended audience, etc., we remark that another book, entitled Optical Communication Networks, was published by the same author in 1997. Eight years is a long time in our fast-moving field. Relative to the old book, a brief outline of the new materials in the new book is provided below, followed by brief...