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
Ultrasonic Periodontal Debridement : Theory and Technique / Donley, Timothy G.; George, Marie D.; Preshaw, Philip M
Focuses exclusively on this fundamentally important component of periodontal therapy. George, Donley, and Preshaw provide ...
Lee masUltrasonic Processes and Machines
This work presents the foundations of dynamics and control for ultrasonic processing systems. The intention is to bridge ...
Lee masUncertainty Theory
Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...
Lee mas
Unconventional Computation
This book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized ...
Lee mas
Unconventional Computation (vol. # 4135)
This book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the ...
Lee mas
Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings
The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Lee mas
Underactuated Robotic Hands
Grasping and manipulation skills are at the core of the development of modern robotic systems. With the introduction of robotics ...
Lee masUndergraduate Algebra
Undergraduate Algebra is a text for the standard undergraduate algebra course. It concentrates on the basic structures and ...
Lee mas
Understanding Acoustics An Experimentalist’s View of Sound and Vibration
This textbook, like Rayleigh’s classic Theory of Sound, focuses on experiments and on approximation techniques rather than ...
Lee mas
Understanding Cities: Method in Urban Design / Alexander R. Cuthbert
Creates the vital link between urban design theory and praxis and opens the required methodological gateway to a new and ...
Lee mas
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Lee mas
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lee mas
