This book concisely brings together the key standards and best practices relating to modelling, querying, validating and ...
اقرأ المزيدConstitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
اقرأ المزيدThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
اقرأ المزيدThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
اقرأ المزيدConstitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
اقرأ المزيدThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
اقرأ المزيدThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
اقرأ المزيدThis book includes different issues related with: process and engineering of model transformations; model transformations ...
اقرأ المزيدThis book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de ...
اقرأ المزيدTime and Modality is a unique work of reference; not only does it unite studies which explore the syntax and semantics of ...
اقرأ المزيدThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيدThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيدThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
اقرأ المزيدThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
اقرأ المزيدThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
اقرأ المزيدThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيدThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيدThis book contains a collection of papers exploring the cross-linguistic expression of topic and focus. A diverse set of ...
اقرأ المزيدThe LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting from ...
اقرأ المزيدThe LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...
اقرأ المزيد