Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
اقرأ المزيد
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
اقرأ المزيد
Unity, Truth and the Liar : The Modern Relevance of Medieval Solutions to the Liar Paradox
This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution ...
اقرأ المزيد
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
اقرأ المزيد
Vector Semantics / András Kornai
Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging ...
اقرأ المزيد
Web Engineering
This volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), the Call for ...
اقرأ المزيد
Web Engineering : 21st International Conference, ICWE 2021, Biarritz, France, May 18–21, 2021, Proceedings
This book constitutes the proceedings of the 21st International Conference on Web Engineering, ICWE 2021, which was supposed ...
اقرأ المزيد
Web Engineering: Modelling and Implementing Web Applications
Modelling and Implementing Web Applications presents the state of the art approaches for obtaining a correct and complete ...
اقرأ المزيد
Web Information Systems Engineering – WISE 2020
This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...
اقرأ المزيد
Web Information Systems Engineering – WISE 2020
This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...
اقرأ المزيد
Web Information Systems and Applications
This book constitutes the proceedings of the 17th International Conference on Web Information Systems and Applications, WISA ...
اقرأ المزيد
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
اقرأ المزيد
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
اقرأ المزيد
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
اقرأ المزيد
Web Technologies Research and Development - APWeb 2005
APWeb is an international conference series on WWW technologies and is the primary forum for researchers and practitioners ...
اقرأ المزيد
Words and Intelligence I : Selected Papers by Yorick Wilks
The papers include early work descriptions of groundbreaking work on Machine Translation and Preference Semantics as well ...
اقرأ المزيد
Words and Intelligence II : Essays in Honor of Yorick Wilks
This book celebrates the work of Yorick Wilks from the perspective of his peers. It consists of original chapters each of ...
اقرأ المزيد
