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