This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
اقرأ المزيدThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
اقرأ المزيدFocuses on a basic theoretical framework dealing with the problems, solutions, and applications of text mining and its various ...
اقرأ المزيدThis book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between ...
اقرأ المزيدStudies the use of and the effects of medical products in large numbers of people and applies the methods of epidemiology ...
اقرأ المزيدFollowing the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...
اقرأ المزيدDuring this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
اقرأ المزيدDuring this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
اقرأ المزيدThis book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...
اقرأ المزيدThe focus of this book is on the estimation and validation of the three key Basel II risk parameters, probability of default ...
اقرأ المزيدThis book is a systematic update of the philosophical and scientific foundations of the biopsychosocial model of health, ...
اقرأ المزيدIt reconstructs the possible methods used to catch large spawners in the Strait of Gibraltar thousands of years ago and describes ...
اقرأ المزيدThis book proposes a unifying approach for the analysis and design of artificial cognitive systems: The Anticipatory Approach. The ...
اقرأ المزيدThe Internet of Things offers massive societal and economic opportunities while at the same time significant challenges, ...
اقرأ المزيدThe Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
اقرأ المزيدAnimals are a major link between the water column (pelagic) and the bottom (benthic) habitats in most shallow systems. This ...
اقرأ المزيدThe book presents a wide range of problems concerning operation of the IS-IS routing protocol based on ISO-OSI standards, ...
اقرأ المزيدThe pace of development in knowledge and know-how in the fields of organisational sciences, logistics and information technology ...
اقرأ المزيد"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
اقرأ المزيدThe present book outlines a conceptual framework for modelling and forecasting the dynamics of both growth-limited cities ...
اقرأ المزيد