Wyniki wyszukiwania:

"What an absolutely cool guy " --- Dennis Shasha, NYU "Fascinating... very worthwhile" --- Robert Harper, CMU What mathematical rigor has and has not to offer to software engineers. Peter Naur wrote his first research paper at the age of 16. Soon an internationally acclaimed astronomer, Naur's expertise in numerical analysis gave him access to computers from 1950. He helped design and implement the influential ALGOL programming language. During the 1960s, Naur was in sync with the research agendas of McCarthy, Dijkstra, and others. By 1970, however, he had distanced himself from them. Instead...

This volume is devoted to the memory of the Dutch carcinologist Lipke Bijdeley Holthuis (1921-2008) who dedicated his life to the taxonomy and systematics of Crustacea. His scientific career started in 1941 with his first publications and continued for 68 years in which he produced over 600 titles totalling almost 13000 pages describing more than 400 taxa new to science. In this volume his friends and colleagues pay tribute to his legacy. Included are an extensive biography and over 50 papers mainly dealing with systematic and taxonomic issues, which emanate from his knowledge and...