This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accom
This textbook explains online computation in different settings, with particular emphasis on the paging problem and advice complexity. The book is organized into chapters on randomization, advice comp
The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi
This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results o
The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite combinatorics, probabi
This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to
Turn to Hands-On Science--20 Themes for 20 highly motivating, classroom-tested science units that help students learn by doing. Students practice the scientific inquiry skills outlined in the National
How to Do Science Experiments with Children is a reliable 200+ page resource for teaching science concepts to young children in a fun, hands-on way. This book contains 70 stress-free experiments that
Each of the 122 experiments in Science Experiments for Young Learners is presented in a 2-page lesson format. 1. The teacher resource page with: materials list step-by-step easy-to-follo
From animal habitats to the human body, matter to machines, rainforests to recycling, it's all here in one easy-to-use volume! Includes 296 reproducible picture cards, diagrams, graphic organizers and