pp 631-632 July 2009 Editorial

Editorial

Renuka Ravindran K B Athreya

pp 633-635 July 2009 Article-in-a-Box

W. W. Sawyer (1911–2008)

Vivek Monteiro

pp 636-637 July 2009 Table of Contents

Table of Contents

pp 638-649 July 2009 Series Article

Snippets of Physics - Random Walk Through Random Walks - I

T Padmanabhan

pp 650-666 July 2009 Series Article

Aerobasics – An Introduction to Aeronautics - Airplane Propulsion

S P Govinda Raju

pp 667-681 July 2009 General Article

Model Checking - Automated Verification of Computational Systems

Madhavan Mukund

pp 682-690 July 2009 General Article

Computational Lower Bounds Using Diagonalization - Languages, Turing Machines and Complexity Classes

M V Panduranga Rao

pp 691-703 July 2009 General Article

Pythagoras and Diophantus

Uwe Storch

pp 704-713 July 2009 Classroom

The Landau Theory of Phase Transitions: A Mechanical Analog

Rekha S Raorane Raghu Mahajan Praveen Pathak Vijay A Singh

pp 714-721 July 2009 Reflections

The Scientific Enterprise - On Types of Laws

V V Raman

pp 722-735 July 2009 Classics

The Arithmetic of Space

W W Sawyer

pp 737-737 July 2009 Flowering Trees

Tipuana tipu

pp 738-738 July 2009 Featured Scientist

W. W. Sawyer (1911-2008)