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 ...
اقرأ المزيد
