Electronic Books

Total Books: 361 - 380 /841

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 ...

Total Books: 361 - 380 /841