Book picks similar to
Dynamic Epistemic Logic by Hans van Ditmarsch


maths
research
tier-3-1-logics
calibre-share-list

Introduction to Mathematical Statistics


Robert V. Hogg - 1962
    Designed for two-semester, beginning graduate courses in Mathematical Statistics, and for senior undergraduate Mathematics, Statistics, and Actuarial Science majors, this text retains its ongoing features and continues to provide students with background material.

Principles and Practice of Structural Equation Modeling


Rex B. Kline - 1998
    Reviewed are fundamental statistical concepts--such as correlation, regressions, data preparation and screening, path analysis, and confirmatory factor analysis--as well as more advanced methods, including the evaluation of nonlinear effects, measurement models and structural regression models, latent growth models, and multilevel SEM. The companion Web page offers data and program syntax files for many of the research examples, electronic overheads that can be downloaded and printed by instructors or students, and links to SEM-related resources.

Introduction to Robotics: Analysis, Systems, Applications


Saeed B. Niku - 2001
    All of the fundamentals of robotics are covered--robotics analysis; including kinematics, kinetics and force control, and trajectory planning of robots; its sub-systems such as actuators, sensors, and vision systems; as well as robotics applications. "Introduction to Robotics" also includes many subjects related to mechatronics, microprocessor actuator control, integration of sensors, vision systems, and fuzzy logic. For practicing mechanical engineers, electronic and electric engineers, computer engineers, and engineering technologists who would like to learn about robotics.

The Timetables of History: A Horizontal Linkage of People and Events


Bernard Grun - 1946
    Provides a chronology of seven thousand years of significant moments in history, religion, science, and the arts in an accessible format designed for quick reference.

Foundations of Materials Science and Engineering


William F. Smith - 1986
    It splits the mechanical properties chapter into two separate chapters in order to provide additional and expanded coverage of such topics as fatigue, crack propagation and stress, rupture time, and temperature relationships in creep, to name just a few. In addition, all new topics are accompanied by new problems for a stronger understanding of recent developments in the field.

Introductory Statistics


Prem S. Mann - 2006
    The realistic content of its examples and exercises, the clarity and brevity of its presentation, and the soundness of its pedagogical approach have received the highest remarks from both students and instructors. Now this bestseller is available in a new 6th edition.

Cancer-Free: Your Guide to Gentle, Non-toxic Healing


Bill Henderson - 2013
    This latest book gives you a precise regimen for self-treatment along with extensive information on other resources now available to you.

How to Think Like a Mathematician


Kevin Houston - 2009
    Working through the book you will develop an arsenal of techniques to help you unlock the meaning of definitions, theorems and proofs, solve problems, and write mathematics effectively. All the major methods of proof - direct method, cases, induction, contradiction and contrapositive - are featured. Concrete examples are used throughout, and you'll get plenty of practice on topics common to many courses such as divisors, Euclidean algorithms, modular arithmetic, equivalence relations, and injectivity and surjectivity of functions. The material has been tested by real students over many years so all the essentials are covered. With over 300 exercises to help you test your progress, you'll soon learn how to think like a mathematician.

Men's Health Muscle Chow: More Than 150 Meals to Feed Your Muscles and Fuel Your Workouts


Gregg Avedon - 2007
    This book provides the nutritional component of that muscle-bulding equation, offering the Men’s Health take on food for fitness. Men’s Health Muscle Chow gives you more than 150 simple recipes for delicious meals ranging from workout protein shakes to healthy dinners the whole family will enjoy.Inside, you’ll find:Eight easy-to-remember dietary strategies to keep your eating habits in lineFilling breakfasts like Banana Protein Pancakes; energizing entrées including Muscle-Bound Chili and Mahi Fish Wraps; hunger-killing snacks such as Malted Almond Bombs; even desserts like Key Lime Pie—all designed to help burn fat and build muscleA shopping list that makes it easy to stock up on essential ingredients and kitchen toolsA troubleshooting guide for guys with more experience at the gym than in the kitchenInsider strategies, tips, tricks of the tradeAnd Men’s Health Muscle Chow is much more than just a cookbook. It offers a solid foundation for understanding meal timing and the effects nutrients have on your body. Author Gregg Avedon also outlines his program of 2-month diet cycles that help you set and reach your fitness goals.

Lewis Carroll's Symbolic Logic


Lewis Carroll - 1896
    Lewis Carroll’s Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradox / edited, with annotations and an introd., by William Warren Bartley, III.

Elon Musk. How The Billionaire Ceo Of Spacex And Tesla Is Shaping Our Future


Vance Ashlee
    Book appears to have hardly been read and is in As new condition throughout.

Manufacturing Processes for Engineering Materials


Serope Kalpakjian - 2007
    The book carefully presents the fundamentals of materials processing along with their relevant applications, so that the reader can clearly assess the capabilities, limitations, and potentials of manufacturing processes and their competitive aspects. Using real-world examples and well-wrought graphics, this book covers a multitude of topics, including the mechanical behavior of materials; the structure and manufacturing properties of metals; surfaces, dimensional characteristics, inspection, and quality assurance; metal-casting processes including heat treatment; bulk deformation processes; sheet-metal forming processes; material removal processes; polymers, reinforced plastics, rapid prototyping and rapid tooling; metal powders, ceramics, glasses, composites, and superconductors; joining and fastening processes; microelectronic and micromechanical devices; automation; computer-integrated systems; and product design. For manufacturing engineers, metallurgists, industrial designers, material handlers, product designers, and quality assurance managers.

Understanding Arguments: An Introduction to Informal Logic


Walter Sinnott-Armstrong - 1978
    The book covers statistical generalizations, statistical syllogisms, and inferences to the best explanation.

The Shape of Space: How to Visualize Surfaces and Three-Dimensional Manifolds


Jeffrey R. Weeks - 1985
    Bridging the gap from geometry to the latest work in observational cosmology, the book illustrates the connection between geometry and the behavior of the physical universe and explains how radiation remaining from the big bang may reveal the actual shape of the universe.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse


Torkel Franzén - 2005
    With exceptional clarity, Franz n gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." --- John W. Dawson, author of "Logical Dilemmas: The Life and Work of Kurt G del