Provides a review and critique of bird survey methodology, providing where necessary references to other key texts/generic methods. This book is an aid to survey design, particularly when there is a need for more specific studies where a species specific method either does not exist or is not deemed[...]
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to[...]
with a foreword by Robin Milnerand drawings by Duane Bibby Over the past few years, ML has emerged as one of the most important members of the family of programming languages. Many professors in the United States and other countries use ML to teach courses on the principles of programming and on pro[...]
In classrooms and lectures we learn not only about academic topics but also about ourselves, our peers and how people and ideas interact. This book aims to extend the ways in which we might think about these processes by offering a reconsideration of key educational experiences.[...]