The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Lire la suiteThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suiteThe present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
Lire la suiteThis book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lire la suiteThis book examines social constructionism as a metatheory of psychology. It does not consider constructionist accounts of ...
Lire la suiteA number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lire la suiteThis volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution ...
Lire la suiteThe book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Lire la suiteThe use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lire la suiteLinks the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
Lire la suiteThis volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lire la suiteThis volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Lire la suiteThe book feature current research from the communities of verification, program certification, model checking, debugging ...
Lire la suiteThe scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lire la suiteVthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual ...
Lire la suiteThe first great graphics technology for the Web,VRML,has been mistaken for something else since its inception. Viewed variously ...
Lire la suiteThis pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...
Lire la suiteThis volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), the Call for ...
Lire la suiteThis book constitutes the proceedings of the 21st International Conference on Web Engineering, ICWE 2021, which was supposed ...
Lire la suiteModelling and Implementing Web Applications presents the state of the art approaches for obtaining a correct and complete ...
Lire la suite