Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
Foundations of Software Science and Computational Structures
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
اقرأ المزيد
Frontiers of WWW Research and Development -- APWeb 2006
This book constitutes the refereed proceedings of the 8th Asia-Pacific Web Conference, APWeb 2006, held in Harbin, China ...
اقرأ المزيد
Functional and Logic Programming
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيد
Fundamentals of Computation Theory
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
اقرأ المزيدFuzzy Logic
This book exclusively surveys the active on-going research of the current maturity of fuzzy logic over the last four decades. ...
اقرأ المزيد
Fuzzy Sets and Their Extensions: Representation, Aggregation and Models
This book presents an up-to-date state of current research in the use of fuzzy sets and their extensions, paying attention ...
اقرأ المزيد
Game-Theoretical Semantics
This book is a collection of studies applying game-theoretical concepts and ideas to analysing the semantics of natural language ...
اقرأ المزيد
GeoSpatial Semantics
This paper reports a simple case study of extracting the two types of such hierarchies from formal texts of traffic code. ...
اقرأ المزيد
GeoSpatial Semantics
Constitutes the refereed proceedings of the First International Conference on GeoSpatial Semantics, GeoS 2005, held in 2005. ...
اقرأ المزيد
Granular Computing: At the Junction of Rough Sets and Fuzzy Sets
This volume is a compilation of the best papers presented at the First International Symposium on Fuzzy and Rough Sets (ISFUROS ...
اقرأ المزيد
Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
اقرأ المزيد
HCI and Usability for Medicine and Health Care
The work group Human–Computer Interaction & Usability Engineering (HCI&UE) of the Austrian Computer Society (OCG) serves ...
اقرأ المزيد
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
اقرأ المزيد
How to Think about Meaning
According to the dominant theory of meaning, truth-conditional semantics, to explain the meaning of a statement is to specify ...
اقرأ المزيد
