1 Table of Contents: “... Handover Buffers in Wireless ATM Networks with GSPN Models -- A Class of Well Structured Petri Nets...”

2 Table of Contents: “... Functionals and Well-Founded Strategies -- Counting a Type’s Principal Inhabitants -- Useless-Code Detection...”

3 Table of Contents: “... -- Well-Posedness of a Class of Piecewise Linear Systems with No Jumps -- A New Class of Decidable Hybrid...”

4 “... optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field...”

5 “..., and to shape future directions for research, as well as to help industrial users apply various advanced...”

6 “..., and to shape future directions for research, as well as to help industrial users apply various advanced...”

7 “... of known quality becomes critical for the well-being and indeed for the functioning of modern...”

8 “... is well suited for self study and use in advanced courses...”

9 “..., and soil, and weather and climate predictions through simulations, as well as the simulation-supported...”

10 “..., and soil, and weather and climate predictions through simulations, as well as the simulation-supported...”

11 “... ?lm ?ows and heat transfer. I hope this book will serve as a useful tool for them, as well as a guide...”

12 “... and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective...”

13 “.... Often these \tricks" are theo- tically well motivated. Sometimes they are the result of trial and error...”

14 “...) as well as marketplaces. Finally, the emerging Semantic Web paradigm promises to annotate Web artifacts...”

15 “... in various fields are studied as well...”

16 “... of the paper’s authors. This reviewer assignment worked remarkably well, as indicated by the high average...”

17 “.... This was the ?rst year that the conference accepted submissions electro- cally as well as by postal mail. Many...”

18 “..., methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory...”

19 “... the audio tapes (and for revealing in “Audrey James” a previously unsuspected double life of a well-known...”

20 “... conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools...”