Handbook of Spatial Logics
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises ...
Continue readingHandbook of Visual Communication : Theory, Methods, and Media / Sheree Josephson, James Kelly, Ken Smith
Explores the key theoretical areas and research methods of visual communication. With chapters contributed by many of the ...
Continue reading
Handbook of Word-Formation
This volume, intended both for advanced students and scholars of linguistics, traces the many strands of study in the field ...
Continue reading
Hands-On Data Structures and Algorithms with Python: Store, manipulate, and access data effectively, 3rd Edition / Basant Agarwal
Expands your understanding of key structures, including stacks, queues, and lists, and also show you how to apply priority ...
Continue reading
Hands-On Design Patterns with Java : Learn Design Patterns That Enable the Building of Large-Scale Software Architectures / Edward Lavieri
Java design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
Continue reading
Hands-On Software Architecture with Java - Learn key architectural techniques and strategies to design efficient and elegant Java applications / Giuseppe Bonocore
Starts with the fundamentals of architecture and takes you through the basic components of application architecture. You'll ...
Continue reading
Hands-on Question Answering Systems with BERT : Applications in Neural Networks and Natural Language Processing / Navin Sabharwal
Begins with an overview of the technology landscape behind BERT. It takes you through the basics of NLP, including natural ...
Continue reading
Hardware Verification with C++
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...
Continue reading
Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Continue reading
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 ...
Continue reading
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Continue reading
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 ...
Continue readingHearing 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 ...
Continue reading
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 ...
Continue reading
Hierarchy in Natural and Social Sciences
This book reviews ancient and modern representations and explanations of hierarchies, and compares their relevance in a variety ...
Continue reading
High Performance Embedded Architectures and Compilers : Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle
Human-CenteredSoftwareEngineering: BridgingHCI,UsabilityandSoftwareEngineering From its beginning in the 1980’s, the ...
Continue reading
Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
Continue reading
