The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven ...
Weiterlesen
I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics ...
Weiterlesen
This Handbook presents a comprehensive and rigorous overview of the state-of-the-art on Smart Cities. It provides the reader ...
Weiterlesen
This handbook provides the first comprehensive overview of biometrics exploiting the shape of human blood vessels for biometric ...
Weiterlesen
This book is the first volume of a running series under the title Inter- tional Handbooks on Information Systems. The series ...
Weiterlesen
This book is the first comprehensive guide to a new soft computing technique which is used in complex forensic cases. The ...
Weiterlesen
You will find a comprehensive discussion of the latest research covering the creation of interactive narratives that allow ...
Weiterlesen
This handbook couples the difficult, critical-thinking aspects of mathematical modeling with the hot area of discrete optimization. ...
Weiterlesen
This handbook covers not only in a unified approach the most important scheduling models and methods, it also put special ...
Weiterlesen
Handheld computers are emerging as the stethoscopes of the twenty-first century, and no clinician should be without! These ...
Weiterlesen
Expands your understanding of key structures, including stacks, queues, and lists, and also show you how to apply priority ...
Weiterlesen
Java design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
Weiterlesen
Starts with the fundamentals of architecture and takes you through the basic components of application architecture. You'll ...
Weiterlesen
This book constitutes the refereed proceedings of the Second International Workshop on Haptic and Audio Interaction Design, ...
Weiterlesen
Overview The International Workshop on Haptic and Audio Interaction Design was - ganized as part of the EPSRC-funded MultiVis ...
Weiterlesen
This book constitutes the refereed proceedings of the Third International Workshop on Haptic and Audio Interaction Design, ...
Weiterlesen
This book constitutes the refereed proceedings of the 6th International Conference on Human Haptic Sensing and Touch Enabled ...
Weiterlesen
This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...
Weiterlesen
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Weiterlesen
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Weiterlesen