Jan Leeuwen

Jan van Leeuwen (Jr.)

Prolegomena ad Aristophanem

Jan van Leeuwen

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Algorithms and Complexity

Ludek Kucera

Gerhard Goos

Luděk Kučera

Juris Hartmanis

This book constitutes the refereed proceedings of the 28th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2002, held in Cesky Krumlov, Czech Republic in June 2002. The 36 revised full papers presented were carefully selected from initially 61 submissions during two rounds of reviewing and improvement. The papers provide a wealth of new results for various classes of graphs, graph computations, graph algorithms, and graph-theoretical applications in various fields.

28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers

Graph-Theoretic Concepts in Computer Science

Jan van

This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology. This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field.

Recent Trends and Developments

Computer Science Today

This book brings together recent developments in Alzheimer's disease research with related discoveries in the field of cell biology. The book moves between basic cell biological concepts that form the underpinnings of modern Alzheimer's disease research, and current findings about proteins and cellular processes affected by the disease. Divided into three topics, the book addresses (1) protein trafficking, a problem that has become germane to the study of the amyloid precursor protein; (2) phosphorylation, a problem that underlies studies of the pathological transformation of tau to paired helical filaments; and (3) cell death, a pervasive problem in neurodegeneration.

Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings

Algorithms - ESA '94

Jan Leeuwen

Books

Your next favorite book is out there