Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيدThe general framework is used to provide an understanding of the nature of stochastic volatility. The book is intended for ...
اقرأ المزيدThis text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...
اقرأ المزيدThis book leads the reader in a leisurely way from the basic notions to a variety of topics, ranging from algebra to statistical ...
اقرأ المزيدOffers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. ...
اقرأ المزيدA Guide to Methods in the Biomedical Sciences gives a basic description of common methods used in research. This is not intended ...
اقرأ المزيدThe first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
اقرأ المزيدFactorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
اقرأ المزيدFactorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
اقرأ المزيدThis book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
اقرأ المزيدThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيدDistributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...
اقرأ المزيدRecent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
اقرأ المزيدANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيدThis book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...
اقرأ المزيدThis volume contains the collection of papers from the second workshop on Experimental Acoustic Inversion Techniques for ...
اقرأ المزيدThis book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. ...
اقرأ المزيدThis book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
اقرأ المزيدAdvanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
اقرأ المزيد