Filter by
Toward Predicate Approaches to Modality
In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The answer is: by formalizing modal expressions in terms of predicates. But, as in the case of truth, the most intuitive modal principles lead to paradox once the modal notions are conceived as predicate…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22557-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Touring Consumption
This book attempts to confront spatial, performative and cultural interrelations between tourism and social economic behavior by providing a critical platform for the articulation of touring consumption in our contemporary world. Tourism has become a significant area of scholarship especially given the industry’s product development opportunities on a global scale. However, the emphasis place…
- Edition
- -
- ISBN/ISSN
- 978-3-658-10019-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Topologie algébrique Chapitres 1 à 4
Ce livre des Éléments de mathématique est consacré à la Topologie algébrique. Les quatre premiers chapitres présentent la théorie des revêtements d'un espace topologique et du groupe de Poincaré. On construit le revêtement universel d'un espace connexe pointé délaçable et on établit l'équivalence de catégories entre revêtements de cet espace et actions du groupe de Poincaré. …
- Edition
- -
- ISBN/ISSN
- 978-3-662-49361-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal …
- Edition
- -
- ISBN/ISSN
- 978-3-319-17581-2
- Collation
- X, 257 pages
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19195-9
- Collation
- XII, 245 pages
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory of Transformation Groups I General Properties of Continuous Transform…
This modern translation of Sophus Lie's and Friedrich Engel's “Theorie der Transformationsgruppen I” will allow readers to discover the striking conceptual clarity and remarkably systematic organizational thought of the original German text. Volume I presents a comprehensive introduction to the theory and is mainly directed towards the generalization of ideas drawn from the study of example…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46211-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Geologic map of Chase County
Relief shown by contours.Includes text, location diagram, and composite stratigraphic section.Bibliography.
- Edition
- -
- ISBN/ISSN
- 1588068900
- Collation
- 1 map :col. ;97 x 85 cm.
- Series Title
- -
- Call Number
- -
Theory and Practice of Model Transformations 8th International Conference, I…
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21155-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Models of Computation 12th Annual Conference, TAM…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography