Handbook of Philosophical Logic
The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven ...
اقرأ المزيد
Handbook of Philosophical Logic
I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics ...
اقرأ المزيد
Handbook of Smart Cities
This Handbook presents a comprehensive and rigorous overview of the state-of-the-art on Smart Cities. It provides the reader ...
اقرأ المزيد
Handbook of Vascular Biometrics
This handbook provides the first comprehensive overview of biometrics exploiting the shape of human blood vessels for biometric ...
اقرأ المزيد
Handbook on Architectures of Information Systems
This book is the first volume of a running series under the title Inter- tional Handbooks on Information Systems. The series ...
اقرأ المزيد
Handbook on Craniofacial Superimposition The MEPROCS Project
This book is the first comprehensive guide to a new soft computing technique which is used in complex forensic cases. The ...
اقرأ المزيد
Handbook on Interactive Storytelling / Jouni Smed, Tomi 'bgt' Suovuo, Natasha Skult, Petter Skult
You will find a comprehensive discussion of the latest research covering the creation of interactive narratives that allow ...
اقرأ المزيد
Handbook on Modelling for Discrete Optimization
This handbook couples the difficult, critical-thinking aspects of mathematical modeling with the hot area of discrete optimization. ...
اقرأ المزيد
Handbook on Scheduling : From Theory to Applications
This handbook covers not only in a unified approach the most important scheduling models and methods, it also put special ...
اقرأ المزيد
Handhelds in Medicine
Handheld computers are emerging as the stethoscopes of the twenty-first century, and no clinician should be without! These ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Haptic and Audio Interaction Design
This book constitutes the refereed proceedings of the Second International Workshop on Haptic and Audio Interaction Design, ...
اقرأ المزيد
Haptic and Audio Interaction Design
Overview The International Workshop on Haptic and Audio Interaction Design was - ganized as part of the EPSRC-funded MultiVis ...
اقرأ المزيد
Haptic and Audio Interaction Design : Third International Workshop, HAID 2008 Jyväskylä, Finland, September 15-16, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Workshop on Haptic and Audio Interaction Design, ...
اقرأ المزيد
Haptics: Perception, Devices and Scenarios : 6th International Conference, EuroHaptics 2008 Madrid, Spain, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Human Haptic Sensing and Touch Enabled ...
اقرأ المزيد
Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings
This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...
اقرأ المزيد
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 ...
اقرأ المزيد
