You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This Festschrift was published in honor of Hans L. Bodlaender on the occasion of his 60th birthday. The 14 full and 5 short contributions included in this volume show the many transformative discoveries made by H.L. Bodlaender in the areas of graph algorithms, parameterized complexity, kernelization and combinatorial games. The papers are written by his former Ph.D. students and colleagues as well as by his former Ph.D. advisor, Jan van Leeuwen. Chapter “Crossing Paths with Hans Bodlaender: A Personal View on Cross-Composition for Sparsification Lower Bounds” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Volumes 1& 2 Guide to the MAJOR COMPANIES OF EUROPE 1992/93, Volume1, arrangementofthe book contains useful information on over 4000 of the top companies in the European Community, excluding the UK, over 1100 This book has been arranged in order to allow the reader to companies of which are covered in Volume 2. Volume 3covers find any entry rapidly and accurately. over 1300 of the top companies within Western Europe but outside the European Community. Altogether the three Company entries are listed alphabetically within each country volumes of MAJOR COMPANIES OF EUROPE now provide in section; in addition three indexes are provided in Volumes 1 authoritative detail, vital information on over ...
This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.
This book presents and discussses new developments in the area of turbulence modelling and measurements, with particular emphasis on engineering-related problems. At present, turbulence is one of the key issues in tackling engineering flow problems. Powerful computers and numerical methods are now available for solving the flow equations, but the simulation of turbulence effects which are nearly always important in practice, is still in an unsatisfactory state and introduces considerable uncertainities in the accuracy of CFD calculations. These and other aspects of turbulence modelling and measurements are dealt with in detail by experts in the field. The resulting book is an up-to-date review of the most recent research in this exciting area.
This book constitutes the refereed proceedings of the 7th Scandinavian Workshop on Algorithm Theory, SWAT 2000, held in Bergen, Norway, in July 2000. The 43 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from a total of 105 submissions. The papers are organized in sections on data structures, dynamic partitions, graph algorithms, online algorithms, approximation algorithms, matchings, network design, computational geometry, strings and algorithm engineering, external memory algorithms, optimization, and distributed and fault-tolerant computing.
This book constitutes the refereed proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT 2004, held in Humlebaek, Denmark in July 2004. The 40 revised full papers presented together with an invited paper and the abstract of an invited talk were carefully reviewed and selected from 121 submissions. The papers span the entire range of theoretical algorithmics and applications in various fields including graph algorithms, computational geometry, scheduling, approximation algorithms, network algorithms, data storage and manipulation, bioinformatics, combinatorics, sorting, searching, online algorithms, optimization, etc.
On cover: Environmental.
The safe operation of plants is of paramount importance in the chemical, petrochemical and pharmaceutical industries. Best practice in process and plant safety allows both the prevention of hazards and the mitigation of consequences. Safety Technology is continuously advancing to new levels and Computational Fluid Dynamics (CFD) is already successfully established as a tool to ensure the safe operation of industrial plants. With CFD tools, a great amount of knowledge can be gained as both the necessary safety measures and the economic operation of plants can be simultaneously determined. Young academics, safety experts and safety managers in all parts of the industry will henceforth be force...
This book constitutes the refereed proceedings of the 6th Scandinavian Workshop on Algorithm Theory, SWAT'98, held in Stockholm, Sweden, in July 1998. The volume presents 28 revised full papers selected from 56 submissions; also included are three invited contributions. The papers present original research on algorithms and data structures in various areas including computational geometry, parallel and distributed systems, graph theory, approximation, computational biology, queueing, Voronoi diagrams, and combinatorics in general.
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious Organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. In Parallel to the printed book, each new volume is published electronically in LNCS Online.