Electronic Books

Total Books: 321 - 340 /372

System Analysis and Modeling

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

System Analysis and Modeling: Language Profiles

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

Temporal Logic and State Systems

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

Term Rewriting and Applications

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

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

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

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

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

Text Analytics : An Introduction to the Science and Applications of Unstructured Information Analysis / John Atkinson-Abutridy

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

The Amazing Journey of Reason from DNA to Artificial Intelligence

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

The Developers Guide to Debugging

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

The Everyday Life of an Algorithm

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

The Once-Only Principle The TOOP Project

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

The Python Book / Rob Mastrodomenico

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

The Semantic Web - ISWC 2002

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

The State, the Activists and the Islanders : Language Policy on Corsica

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

The Study of Language / George Yule

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

Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

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

Theoretical Aspects of Computing - ICTAC 2005

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

Theoretical Aspects of Computing - ICTAC 2006

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

Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

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

Theoretical Aspects of Computing – ICTAC 2007

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

Total Books: 321 - 340 /372