front cover

 

Surya Mandir, Konarak
(see article on p.691).



back cover
W W Sawyer (1911–2008)
( Illustration: Subhankar Biswas )

 

July 2009  Volume 14 Number 7 Contents

EDITORIAL
631
--- Renuka Ravindran and K B Athreya
ARTICLE IN A BOX
633

W W Sawyer (1911–2008)

--- Vivek Monteiro

SERIES ARTICLES
638

Snippets of Physics

Random Walk Through Random Walks - I

--- T Padmanabhan

650

Aerobasics – An Introduction to Aeronautics

Airplane Propulsion

--- S P Govinda Raju

SERIES ARTICLES
667

Model Checking

Automated Verification of Computational Systems

--- Madhavan Mukund

682

Computational Lower Bounds Using Diagonalization

Languages, Turing Machines and Complexity Classes

--- M V Panduranga Rao

691
704

The Landau Theory of Phase Transitions: A Mechanical Analog

--- Rekha S Raorane, Raghu Mahajan, Praveen Pathak, and Vijay A Singh

REFLECTIONS
714

The Scientific Enterprise

On Types of Laws

--- V V Raman

CLASSICS
722

The Arithmetic of Space

--- W W Sawyer

736

Flowering Trees
--- (Credits: K Shankar Rao,CES, IISc, Bangalore)