Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers ...
Continue readingThis volume uses Bruce Trigger's 1984 article, "Alternative Archaeologies: Nationalist, Colonialist, Imperialist" as a ...
Continue readingIn Evidence-Based Medical Ethics: Cases for Practice-Based Learning, the authors address what has been missing in existing ...
Continue readingThis open access book focuses on investigating predicting precursor information and key points of rockburst in mining engineering ...
Continue readingThe Workshop on Experimental Algorithms, WEA, is intended to be an international forum for research on the experimental evaluation ...
Continue readingDetails the benefits of a feasibility study. Once you’ve secured the commission, how do you ensure you’re following current ...
Continue readingCombines theoretical and commercial perspectives informed by the author's professional experience and academic research Thoroughly ...
Continue readingexamines the issue of foreign investor misconduct in modern international investment law, focusing on the approach that international ...
Continue readingThis volume examines the basic ideas that underpin the design and remodelling of interior space, from the establishment of ...
Continue readingInstead of yet another theory on good governance, this book presents a substantiation of contemporary notions. It builds ...
Continue readingThe digital transformation clearly highlights the role of universities and institutes of higher education in shaping a higher ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThis book is a collection of 12 case studies capturing decades of experience improving health care and outcomes in low- and ...
Continue readingThe area of Information Technology & Lawyers is a fascinating one. Both from a practical and an academic perspective the ...
Continue readingMachine learning is currently one of the most rapidly growing areas of research in computer science. In compiling this volume ...
Continue readingIt addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Continue readingThis book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, ...
Continue readingThe International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum with dedication to the ...
Continue readingAddresses many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and ...
Continue readingThis book is based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to ...
Continue reading