Electronic Books

Total Books: 361 - 380 /841

Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

This book constitutes the proceedings of the 9th International Conference on Health Information Science, HIS 2020, which ...

Our project aims to aid deaf-mute people by tracking hand movements of the deaf-mute person for word level American Sign ...

Publications on Cohen in the English language are small in number and this volume aims to fill the gap. It offers an analysis ...

This book reviews ancient and modern representations and explanations of hierarchies, and compares their relevance in a variety ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

According to the dominant theory of meaning, truth-conditional semantics, to explain the meaning of a statement is to specify ...

Human-CenteredSoftwareEngineering: BridgingHCI,UsabilityandSoftwareEngineering From its beginning in the 1980’s, the ...

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...

Humans are creatures of narration: infinitely they narrate and narrate themselves, intertwine dialogues, light up stories ...

Illustrated C# 2005 presents the C# programming language in a unique visual manner. The book uses three techniques to achieve ...

The unique, visual format of Illustrated C# 2008 has been specially created by author and teacher of development methods, ...

A set of knotty questions are implied in the very title of Brentano's work "Psychology from an empirical standpoint". ...

This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...

Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems ...

The starting point for this comparative study on the role of English within the media worlds of European youth is the recognition ...

This book is designed as an international anthology on the broader subject of inclusion, education, social justice and translanguaging. ...

This book provides an in-depth description of the framework of inductive dependency parsing, a methodology for robust and ...

Total Books: 361 - 380 /841