This book covering support tools and environments; performance prediction and evaluation; scheduling and load balancing; ...
اقرأ المزيد
                This book covering support tools and environments; performance prediction and evaluation; scheduling and load balancing; ...
اقرأ المزيد
                This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, ...
اقرأ المزيد
                During the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, ...
اقرأ المزيد
                This book closes the gap in the treatment of steel and cast iron. Each chapter takes into account the gradual transitions ...
اقرأ المزيد
                Provides an introduction to the fundamentals of operational and strategic controlling. It conveys the central tasks and functions ...
اقرأ المزيد
                FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale ...
اقرأ المزيد
                First Steps: Developing BizTalk Applications is a primer to most other introductory BizTalk books. If you feel like traditional ...
اقرأ المزيد
                Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
اقرأ المزيد
                Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...
اقرأ المزيد
                This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...
اقرأ المزيد
                This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
اقرأ المزيد
                The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
اقرأ المزيد
                From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well ...
اقرأ المزيد
                This book covers topics in the theory and practice of functional equations. Special emphasis is given to methods for solving ...
اقرأ المزيد
                This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
اقرأ المزيد
                ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
                ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
                This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
اقرأ المزيد
                Global Design to Gain a Competitive Edge collects together papers from the 2008 International Conference on Advanced Design ...
اقرأ المزيد