This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيدThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
اقرأ المزيدThese proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
اقرأ المزيدProbabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...
اقرأ المزيدThis book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...
اقرأ المزيدThis volume constitutes the post-conference proceedings of the First European Workshop on Biometrics and Identity Management, ...
اقرأ المزيدThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
اقرأ المزيدThis volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
اقرأ المزيدThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيدThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
اقرأ المزيدThis volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
اقرأ المزيد"This book constitutes the refereed proceedings of 14th International Conference, CC 2005, Held as Part of the Joint European ...
اقرأ المزيدThis book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...
اقرأ المزيدThis book uniquely combines new advances in the electromagnetic and the circuits&systems theory. It integrates both fields ...
اقرأ المزيدEmbedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
اقرأ المزيدProviding all the latest on a topic of extreme commercial relevance, this book contains new trends in global software services ...
اقرأ المزيد