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 ...
اقرأ المزيد
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
اقرأ المزيد
Uncertainty Assessment of Large Finite Element Systems
The treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural ...
اقرأ المزيد
VLSI-Design of Non-Volatile Memories
VLSI-Design for Non-Volatile Memories is intended for electrical engineers and graduate students who want to enter into the ...
اقرأ المزيد
Vanishing and Finiteness Results in Geometric Analysis : A Generalization of the Bochner Technique
This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...
اقرأ المزيد
Variation et optimisation de formes
Ce livre est une initiation aux approches modernes de l’optimisation mathématique de formes. Il s’appuie sur les seules ...
اقرأ المزيد
Variational Analysis and Applications
This book discusses a new discipline, variational analysis, which contains the calculus of variations, differential calculus, ...
اقرأ المزيد
Variational Analysis and Generalized Differentiation I
This monograph in two volumes contains a comprehensive and state-of-the art study of the basic concepts and principles of ...
اقرأ المزيد
Variational Methods : Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems
The book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...
اقرأ المزيد
Vector Analysis for Computer Graphics
Vector Analysis for Computer Graphics provides a complete introduction to vector analysis, especially within the context ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
اقرأ المزيد
Visual Information Systems. Web-Based Visual Information Search and Management : 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings
This book covered are information and data visualization; advances techniques for visual information management; mobile visual ...
اقرأ المزيد
Visualization, Explanation and Reasoning Styles in Mathematics
This book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...
اقرأ المزيد
WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
اقرأ المزيد
Wavelets and Signal Processing
As the applications of wavelet transform have spread to diverse areas of signal analysis and compression, students and practitioners ...
اقرأ المزيد
Wrong for the Right Reasons
The rapidity with which knowledge changes makes much of past science obsolete, and often just wrong, from the present's ...
اقرأ المزيد
mODa 8 - Advances in Model-Oriented Design and Analysis ; Proceedings of the 8th International Workshop in Model-Oriented Design and Analysis held in Almagro, Spain, June 4–8, 2007
The volume contains the proceedings of the 8th Workshop on Model-Oriented Design and Analysis. This book offers leading and ...
اقرأ المزيد
