Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lee masTraditional use of medicinal plants for the treatment of Diabetes mellitus / Mai ghazi ; Rafah Alkadi ; Mohammad Al-ismail
Diabetes mellitus (DM) is a chronic metabolic disorder characterized by persistent hyperglycemia. It may be due to impaired ...
Lee mas
Trends in Intelligent Systems and Computer Engineering
This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...
Lee mas
Tropical Homegardens
This multi-authored volume contains peer-reviewed chapters from the world’s leading researchers and professionals in this ...
Lee mas
Tsunamis
A timely review of state-of-the-art tsunami research, covering case studies and recent developments from various approaches. ...
Lee mas
Twenty-Seventh Symposium on Biotechnology for Fuels and Chemicals
In Biotechnology for Fuels and Chemicals: The Twenty-Seventh Symposium, leading US and international researchers from academia, ...
Lee mas
Twenty-Sixth Symposium on Biotechnology for Fuels and Chemicals
In Biotechnology for Fuels and Chemicals: The Twenty-Sixth Symposium, leading US and international researchers from academia, ...
Lee mas
Type-2 Fuzzy Logic: Theory and Applications
This book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. ...
Lee mas
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lee mas
UbiComp 2006: Ubiquitous Computing
This book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. ...
Lee mas
User Modeling 2005
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Lee mas
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lee mas
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lee mas
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...
Lee mas
Vessel Health and Preservation: The Right Approach for Vascular Access
The book presents a model and a new way of thinking applied to vascular access and administration of intravenous treatment, ...
Lee mas
Virtual Reality
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
Lee mas
