Hardware Verification with C++
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...
اقرأ المزيد
Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
اقرأ المزيد
Hardware and Software, Verification and Testing
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
اقرأ المزيد
Health Information Science : 9th International Conference, HIS 2020, Amsterdam, The Netherlands, October 20–23, 2020, Proceedings
This book constitutes the proceedings of the 9th International Conference on Health Information Science, HIS 2020, which ...
اقرأ المزيدHearing faces / Banan Barakat , Esraa Marzouka , Ghalia Al Sabbagh , Leen Al Hendi and Zeina Mustafa ; Supervised by Nada Ghniem and Khloud Al Jallad بنان عبد الله بركات ، اسراء مرزوقة ، غالية الصباغ ، لين حسان الهندي و زينة عصام مصطفى ؛ إشراف ندى غنيم و خلود الجلاد
Our project aims to aid deaf-mute people by tracking hand movements of the deaf-mute person for word level American Sign ...
اقرأ المزيد
Hermann Cohens Critical Idealism
Publications on Cohen in the English language are small in number and this volume aims to fill the gap. It offers an analysis ...
اقرأ المزيد
Hierarchy in Natural and Social Sciences
This book reviews ancient and modern representations and explanations of hierarchies, and compares their relevance in a variety ...
اقرأ المزيد
History of Computing and Education 3 (Hce3): IFIP 20th World Computer Congress, Proceedings of the Third IFIP Conference on the History of Computing and Education WG 9.7/TC9, History of Computing, September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
How to Think about Meaning
According to the dominant theory of meaning, truth-conditional semantics, to explain the meaning of a statement is to specify ...
اقرأ المزيد
Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle
Human-CenteredSoftwareEngineering: BridgingHCI,UsabilityandSoftwareEngineering From its beginning in the 1980’s, the ...
اقرأ المزيد
Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
اقرأ المزيد
Il senso e la narrazione = The sense and the narration
Humans are creatures of narration: infinitely they narrate and narrate themselves, intertwine dialogues, light up stories ...
اقرأ المزيد
Illustrated C# 2005
Illustrated C# 2005 presents the C# programming language in a unique visual manner. The book uses three techniques to achieve ...
اقرأ المزيد
Illustrated C# 2008
The unique, visual format of Illustrated C# 2008 has been specially created by author and teacher of development methods, ...
اقرأ المزيد
Immanent Realism
A set of knotty questions are implied in the very title of Brentano's work "Psychology from an empirical standpoint". ...
اقرأ المزيد
Implementation and Application of Automata (vol. # 4094)
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
اقرأ المزيد
Improvements in System Safety
Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems ...
اقرأ المزيد
In the Presence of English: Media and European Youth
The starting point for this comparative study on the role of English within the media worlds of European youth is the recognition ...
اقرأ المزيد
Inclusion, Education and Translanguaging How to Promote Social Justice in (Teacher) Education?
This book is designed as an international anthology on the broader subject of inclusion, education, social justice and translanguaging. ...
اقرأ المزيد
Inductive Dependency Parsing
This book provides an in-depth description of the framework of inductive dependency parsing, a methodology for robust and ...
اقرأ المزيد
