Electronic Books

Total Books: 661 - 680 /705

This book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering ...

The book contains methodology, causation, and reduction, and include philosophy of logic and physics, philosophy of psychology ...

In this book, Yusuke Kubota and Robert Levine propose a type-logical version of categorial grammar as a viable alternative ...

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

The present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

This book examines social constructionism as a metatheory of psychology. It does not consider constructionist accounts of ...

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution ...

The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

The book feature current research from the communities of verification, program certification, model checking, debugging ...

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Vthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual ...

The first great graphics technology for the Web,VRML,has been mistaken for something else since its inception. Viewed variously ...

Total Books: 661 - 680 /705