System Analysis and Modeling
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
Lee mas
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
Lee mas
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lee mas
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lee mas
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 ...
Lee mas
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 ...
Lee masText 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 ...
Lee mas
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, ...
Lee mas
The Developers Guide to Debugging
"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
The Semantic Web - ISWC 2002
PrefaceThis volume contains the papers presented at the First International Seman-tic Web Conference (ISWC 2002) held in ...
Lee mas
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 ...
Lee mas
The Study of Language / George Yule
Assuming no prior knowledge of the subject, Yule presents information in bite-sized sections, clearly explaining the major ...
Lee mas
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 ...
Lee mas
Theoretical Aspects of Computing - ICTAC 2005
International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software ...
Lee mas
Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lee mas
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 ...
Lee mas
Theoretical Aspects of Computing – ICTAC 2007
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lee mas
