251 | -- | 253 | Fairouz Kamareddine. Capsule Reviews |
254 | -- | 260 | Tony Hoare. The Ideal of Program Correctness: ::::Third Computer Journal:::: Lecture |
274 | -- | 280 | Chris Mairs. Inclusion and Exclusion in the Digital World: ::::Turing Lecture 2006:::: |
281 | -- | 293 | Ing-Ray Chen, Weiping He, Baoshan Gu. Proxy-based Regional Registration for Integrated Mobility and Service Management in Mobile IP Systems |
294 | -- | 314 | H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants |
315 | -- | 331 | Monika Kapus-Kolar. Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines |
332 | -- | 340 | Doina Bein, Ajoy Kumar Datta, Mehmet Hakan Karaata. An Optimal Snap-Stabilizing Multi-Wave Algorithm |
341 | -- | 347 | Tzong-Jye Liu, Chia-Lin Lee. State-Optimal Alternator for Uniform Synchronous Rings |
348 | -- | 356 | George F. Georgakopoulos, Kostas Politopoulos. MAX-DENSITY Revisited: a Generalization and a More Efficient Algorithm |
357 | -- | 368 | William Chung-Kung Yen. Edge-Orienting on Split, Planar and Treelike Graphs |
369 | -- | 370 | Peter Grünwald. Christopher S. Wallace ::::Statistical and Inductive Inference by Minimum Message Length.:::: Springer (2005), ISBN 038723795X 432 pp, Hardbound |
371 | -- | 372 | Jorge Martínez Gil. Thinking on the Web: Berners-Lee, Gödel and Turing |
371 | -- | 0 | Mark Levene. Artificial Intelligence for Games. Series in Interactive 3D Technology |