Electronic Books

Total Books: 3261 - 3280 /3386
Turbo Code Applications

Turbo Code Applications: a journey from a paper to realization presents c- temporary applications of turbo codes in thirteen ...

Lee mas
Turbulence in Fluids : Fourth Revised and Enlarged Edition

This is the 4th edition of a book originally published by Kluwer Academic Publishers. It is an exhaustive monograph on turbulence ...

Lee mas
Turkish Studies in the History and Philosophy of Science

The book contains methodology, causation, and reduction, and include philosophy of logic and physics, philosophy of psychology ...

Lee mas
Turnpike Properties in the Calculus of Variations and Optimal Control

This book is devoted to the recent progress on the turnpike theory. The turnpike property was discovered by Paul A. Samuelson, ...

Lee mas
Tutorials in Mathematical Biosciences I

This volume introduces some basic theories on computational neuroscience. Chapter 1 is a brief introduction to neurons, tailored ...

Lee mas
Twin-Control : A Digital Twin Approach to Improve Machine Tools Lifecycle

This book summarizes the results of the European research project “Twin-model based virtual manufacturing for machine tool-process ...

Lee mas
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers

This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...

Lee mas
Two Cultures

Editor Kim Williams has assembled a group of notes where scholars contribute essays inspired by their contact with Prof David ...

Lee mas
NoIMG
Type Synthesis of Parallel Mechanisms

This unique monograph focuses on the systematic type synthesis of parallel mechanisms (PMs), which is a key issue in the ...

Lee mas
Type-2 Fuzzy Logic: Theory and Applications

This book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. ...

Lee mas
Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...

Lee mas
Typed Lambda Calculi and Applications

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...

Lee mas
Types for Proofs and Programs

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

Lee mas
Types for Proofs and Programs

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

Lee mas
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Lee mas
Ubiquitous Communications and Network Computing

This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Communications and Network ...

Lee mas
Ultra-Wideband Short-Pulse Electromagnetics 8

Ultra-Wideband Short-Pulse Electromagnetics 8 is based on the American Electromagnetics 2006 conference held from June 3-7 ...

Lee mas
Ultrasonic Nondestructive Evaluation Systems

Ultrasonic Nondestructive Evaluation Systems: Models and Measurements provides the latest information and techniques available ...

Lee mas
NoIMG
Ultrasonic Processes and Machines

This work presents the foundations of dynamics and control for ultrasonic processing systems. The intention is to bridge ...

Lee mas
NoIMG
Uncertainty Theory

Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...

Lee mas
Total Books: 3261 - 3280 /3386