Distributed and Parallel Systems
DAPSY (Austrian-Hungarian Workshop on Distributed and Parallel Systems) is an international conference series with biannual ...
Lee mas
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Lee mas
Domain Modeling and the Duration Calculus
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
Lee mas
Embedded Systems -- Modeling, Technology, and Applications
This book synthesizes the results of the seventh in a successful series of workshops that were established by Shanghai Jiao ...
Lee mas
Emerging Web Services Technology, Volume II
This book contains papers from the 2007 European Conference on Web Services and the Workshop on Emerging Web Services Technology. ...
Lee mas
Environmental Policy Analyses
The criteria used to select the fifteen contributions in this book were their impact on the scientific debate at the time ...
Lee mas
Euro-Par 2005 Parallel Processing
This book constitutes the refereed proceedings of the 11th International Conference on Parallel Computing, Euro-Par 2005, ...
Lee mas
Euro-Par 2006 Parallel Processing
This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computing, Euro-Par 2006. ...
Lee mas
Euro-Par 2007 Parallel Processing
This book covering support tools and environments; performance prediction and evaluation; scheduling and load balancing; ...
Lee mas
Euro-Par 2007 Parallel Processing
This book covering support tools and environments; performance prediction and evaluation; scheduling and load balancing; ...
Lee mas
Euro-Par 2008 - Parallel Processing : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, ...
Lee mas
FPGA Implementations of Neural Networks
During the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, ...
Lee mas
Ferrous Materials : Steel and Cast Iron
This book closes the gap in the treatment of steel and cast iron. Each chapter takes into account the gradual transitions ...
Lee mas
Financial Controlling / Stefan Behringer
Provides an introduction to the fundamentals of operational and strategic controlling. It conveys the central tasks and functions ...
Lee mas
Finite Element Methods:
FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale ...
Lee mas
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lee mas
Formal Aspects in Security and Trust
Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...
Lee mas
Formal Aspects in Security and Trust (vol. # 3866)
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...
Lee mas
Formal Modeling and Analysis of Timed Systems
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
Lee mas
Formal Modeling and Analysis of Timed Systems (vol. # 4202)
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Lee mas
