Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lire la suiteThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lire la suiteThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
Lire la suiteThis book includes different issues related with: process and engineering of model transformations; model transformations ...
Lire la suiteThis book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de ...
Lire la suiteTime and Modality is a unique work of reference; not only does it unite studies which explore the syntax and semantics of ...
Lire la suiteThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suiteThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suiteThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suiteThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suiteThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lire la suiteThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suiteThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suiteThis book contains a collection of papers exploring the cross-linguistic expression of topic and focus. A diverse set of ...
Lire la suiteThe LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting from ...
Lire la suiteThe LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...
Lire la suiteThis book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering ...
Lire la suiteThe book contains methodology, causation, and reduction, and include philosophy of logic and physics, philosophy of psychology ...
Lire la suiteIn this book, Yusuke Kubota and Robert Levine propose a type-logical version of categorial grammar as a viable alternative ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suite