This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suiteThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suiteThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suiteThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suiteDiabetes mellitus (DM) is a chronic metabolic disorder characterized by persistent hyperglycemia. It may be due to impaired ...
Lire la suiteThis volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...
Lire la suiteThis multi-authored volume contains peer-reviewed chapters from the world’s leading researchers and professionals in this ...
Lire la suiteA timely review of state-of-the-art tsunami research, covering case studies and recent developments from various approaches. ...
Lire la suiteIn Biotechnology for Fuels and Chemicals: The Twenty-Seventh Symposium, leading US and international researchers from academia, ...
Lire la suiteIn Biotechnology for Fuels and Chemicals: The Twenty-Sixth Symposium, leading US and international researchers from academia, ...
Lire la suiteThis book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. ...
Lire la suiteThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. ...
Lire la suiteThe book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Lire la suiteThe use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lire la suitefeatures of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lire la suiteThe book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lire la suiteThe book presents a model and a new way of thinking applied to vascular access and administration of intravenous treatment, ...
Lire la suiteThis volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
Lire la suite