Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineerin

"This book is a landmark in two fields. It is a practical guide tothe reform of professional education. It is also a beacon totheoretical thinking about human o

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the resear

Introduction to measurement -- The one-parameter model -- Joint maximum likelihood parameter estimation -- Marginal maximum likelihood parameter estimation -- T

Students explore the idea that thinking is a form of computation by learning to write simple computer programs for tasks that require thought. This book guides