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