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 mas
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lee mas
Text Mining for Information Professionals : An Uncharted Territory / Manika Lamba, Margam Madhusudhan
Focuses on a basic theoretical framework dealing with the problems, solutions, and applications of text mining and its various ...
Lee mas
Text, Speech and Dialogue : 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008. Proceedings
This book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between ...
Lee mas
Textbook of Pharmacoepidemiology, 3rd Edition / Brian L. Strom, Stephen E. Kimmel, Sean Hennessy
Studies the use of and the effects of medical products in large numbers of people and applies the methods of epidemiology ...
Lee mas
The Adaptive Web
Following the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...
Lee mas
The Agent Modeling Language - AML
During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lee mas
The Agent Modeling Language - AML
During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
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 Basel II Risk Parameters
The focus of this book is on the estimation and validation of the three key Basel II risk parameters, probability of default ...
Lee mas
The Biopsychosocial Model of Health and Disease
This book is a systematic update of the philosophical and scientific foundations of the biopsychosocial model of health, ...
Lee mas
The Bluefin Tuna Fishery in the Bay of Biscay
It reconstructs the possible methods used to catch large spawners in the Strait of Gibraltar thousands of years ago and describes ...
Lee mas
The Challenge of Anticipation : A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems
This book proposes a unifying approach for the analysis and design of artificial cognitive systems: The Anticipatory Approach. The ...
Lee mas
The Cloud-to-Thing Continuum Opportunities and Challenges in Cloud, Fog and Edge Computing
The Internet of Things offers massive societal and economic opportunities while at the same time significant challenges, ...
Lee mas
The Common Component Modeling Example : Comparing Software Component Models
The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
Lee mas
The Comparative Roles of Suspension-Feeders in Ecosystems
Animals are a major link between the water column (pelagic) and the bottom (benthic) habitats in most shallow systems. This ...
Lee mas
The Complete IS-IS Routing Protocol
The book presents a wide range of problems concerning operation of the IS-IS routing protocol based on ISO-OSI standards, ...
Lee mas
The Delft Systems Approach : Analysis and Design of Industrial Systems
The pace of development in knowledge and know-how in the fields of organisational sciences, logistics and information technology ...
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 Dynamics of Complex Urban Systems
The present book outlines a conceptual framework for modelling and forecasting the dynamics of both growth-limited cities ...
Lee mas
