Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior...
Complex Dynamics in Communication Networks (Understanding Complex Systems)
Complex Dynamics in Communication Networks (Understanding Complex Systems)
Computer and communication networks are among society's most important infrastructures. The internet, in particular, is a giant global network of networks with central control or administration. It is a paradigm of a complex system, where complexity may arise from different sources: topological structure, network evolution, connection and node...
An Introduction to Numerical Methods: A MATLAB® Approach, Fourth Edition
An Introduction to Numerical Methods: A MATLAB® Approach, Fourth Edition

Previous editions of this popular textbook offered an accessible and practical introduction to numerical analysis. An Introduction to Numerical Methods: A MATLAB® Approach, Fourth Edition continues to present a wide range of useful and important algorithms for scientific and engineering applications. The authors...

A Course in Real Analysis
A Course in Real Analysis

A Course in Real Analysis provides a firm foundation in real analysis concepts and principles while presenting a broad range of topics in a clear and concise manner. This student-oriented text balances theory and applications, and contains a wealth of examples and exercises. Throughout the text, the authors adhere to the idea that most...

A New Perspective on Thermodynamics
A New Perspective on Thermodynamics

The book adheres to a chronological development of the laws of thermodynamics as the inventors of those laws discovered them. This shows that "new" discoveries of non-optimal efficiencies are not new at all and have been analyzed by people like Lord Kelvin as far back as 1852 in his analysis of an unevenly heated body.

...
Giant Planets of Our Solar System: Atmospheres, Composition, and Structure (Springer Praxis Books / Astronomy and Planetary Sciences)
Giant Planets of Our Solar System: Atmospheres, Composition, and Structure (Springer Praxis Books / Astronomy and Planetary Sciences)
"Irwin […] has done an outstanding job of presenting material geared to upper-division undergraduates and beginning graduate students." (J.R. Kraus (University of Denver), Choice Feb. 2004)

This book reviews the current state of knowledge of the atmospheres of the giant gaseous planets: Jupiter, Saturn, Uranus, and Neptune. The...

Sliding Mode Control and Observation (Control Engineering)
Sliding Mode Control and Observation (Control Engineering)

The sliding mode control methodology has proven effective in dealing with complex dynamical systems affected by disturbances, uncertainties and unmodeled dynamics. Robust control technology based on this methodology has been applied to many real-world problems, especially in the areas of aerospace control, electric power systems,...

Cloud and Precipitation Microphysics: Principles and Parameterizations
Cloud and Precipitation Microphysics: Principles and Parameterizations
This book focuses specifically on bin and bulk parameterizations for the prediction of cloud and precipitation at various scales - the cloud scale, mesoscale, synoptic scale, and the global climate scale. It provides a background to the fundamental principles of parameterization physics, including processes involved in the production of clouds, ice...
Analytical Mechanics of Space Systems (AIAA Education)
Analytical Mechanics of Space Systems (AIAA Education)

KINEMATICS is a branch of dynamics that studies aspects of motion apart from considerations of masses and forces. Essentially, Kinematics is a collection of vector/matrix methods to describe positions, velocities and accelerations of particles and rigid bodies, as viewed from various reference frames. The sub- eld of Particle Kinematics...

Reinforcement Learning and Approximate Dynamic Programming for Feedback Control
Reinforcement Learning and Approximate Dynamic Programming for Feedback Control
Modern day society relies on the operation of complex systems including aircraft, automobiles, electric power systems, economic entities, business organizations, banking and finance systems, computer networks, manufacturing systems, and industrial processes, Decision and control are responsible for ensuring that these systems perform...
Micro, Nanosystems and Systems on Chips: Modeling, Control, and Estimation (ISTE)
Micro, Nanosystems and Systems on Chips: Modeling, Control, and Estimation (ISTE)

Micro and nanosystems represent a major scientific and technological challenge, with actual and potential applications in almost all fields of the human activity. The aim of the present book is to present how concepts from dynamical control systems (modeling, estimation, observation, identification, feedback control) can be adapted and...

Systems Engineering in Wireless Communications
Systems Engineering in Wireless Communications

This book provides the reader with a complete coverage of radio resource management for 3G wireless communications

Systems Engineering in Wireless Communications focuses on the area of radio resource management in third generation wireless communication systems from a systems engineering perspective. The authors...

unlimited object storage image
Result Page: 10 9 8 7 6 5 4 3 2 1 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy