Glacier Fluctuations and Climatic Change 124 / BUECHLER

/ BUECHLER

These results have many applications in Physics and PDEs

The initial impetus to create a work combining aspects of cel­ lular immunology with their clinical applications grew from the ed­ itors' discussions of the area's needs with many of the leaders in the field over a period of time

Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems

Glacier Fluctuations and Climatic Change 124 / BUECHLERProceedings of the Symposium on Glacier Fluctuations and Climatic Change, held in Amsterdam, June 1 5, 1987 Proceedings of the Symposium on Glacier Fluctuations and Climatic Change, held at Amsterdam, 15 June 1987 Proceedings of the Symposium on Glacier Fluctuations and Climatic Change, held at Amsterdam, 15 June 1987