The Web Resource Space Model
Classifying objects into categories at different granularity levels, establishing links between known objects, and discovering ...
Lee mas
The Web of Data
This book concisely brings together the key standards and best practices relating to modelling, querying, validating and ...
Lee mas
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lee mas
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lee mas
Theoretical Aspects of Computing – ICTAC 2007
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lee mas
Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lee mas
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations ...
Lee mas
Thought-Contents : On the Ontology of Belief and the Semantics of Belief Attribution
This book provides a formal ontology of senses and the belief-relation that grounds the distinction between de dicto, de ...
Lee mas
Time and Modality
Time and Modality is a unique work of reference; not only does it unite studies which explore the syntax and semantics of ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lee masTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee masTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee mas
Topic and Focus : Cross-Linguistic Perspectives on Meaning and Intonation
This book contains a collection of papers exploring the cross-linguistic expression of topic and focus. A diverse set of ...
Lee mas
Transactions on Rough Sets II
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, starting from ...
Lee mas
Transactions on Rough Sets III
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...
Lee mas
Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices
This book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering ...
Lee mas
