All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Lee masThis book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor ...
Lee masIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee masIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee masThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Lee masThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lee masThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lee masThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lee masThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lee masThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Lee masSoftware development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...
Lee masth This volume presents the proceedings of the 9 IFIP/IEEE International Conference on Management of Multimedia and Mobile ...
Lee masThis book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
Lee masMAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
Lee masMAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
Lee masThe purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present ...
Lee masThe aim of this study is to contribute to this understanding by answering the following questions: How do banks adjust capital ...
Lee masBanking Sector Liberalization in India explores in detail the changes in the Indian banking sector over the last 20 years, ...
Lee masHints of globalization have actually been around for several decades, even though they made only a modest impact; however, ...
Lee masIn Banks and Fintech on Platform Economies: Contextual and Conscious Banking, accomplished fintech professional and author ...
Lee mas