Electronic Books

Total Books: 321 - 340 /372

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

A concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic ...

This book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...

"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...

This book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance ...

This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...

Discover the power of one of the fastest growing programming languages in the world with this insightful new resource Guides ...

PrefaceThis volume contains the papers presented at the First International Seman-tic Web Conference (ISWC 2002) held in ...

This analysis of language policy on Corsica provides the first study of the three levels of language policy existing on the ...

Assuming no prior knowledge of the subject, Yule presents information in bite-sized sections, clearly explaining the major ...

This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...

International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...

Total Books: 321 - 340 /372