Hardware Verification with C++
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...
Lee mas
Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lee mas
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 ...
Lee mas
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 ...
Lee masHearing 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 ...
Lee mas
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 ...
Lee mas
Hierarchy in Natural and Social Sciences
This book reviews ancient and modern representations and explanations of hierarchies, and compares their relevance in a variety ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle
Human-CenteredSoftwareEngineering: BridgingHCI,UsabilityandSoftwareEngineering From its beginning in the 1980’s, the ...
Lee mas
Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
Lee mas
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 ...
Lee mas
Illustrated C# 2005
Illustrated C# 2005 presents the C# programming language in a unique visual manner. The book uses three techniques to achieve ...
Lee mas
Illustrated C# 2008
The unique, visual format of Illustrated C# 2008 has been specially created by author and teacher of development methods, ...
Lee mas
Immanent Realism
A set of knotty questions are implied in the very title of Brentano's work "Psychology from an empirical standpoint". ...
Lee mas
Implementation and Application of Automata (vol. # 4094)
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
Lee mas
Improvements in System Safety
Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Inductive Dependency Parsing
This book provides an in-depth description of the framework of inductive dependency parsing, a methodology for robust and ...
Lee mas
