Electronic Books

Total Books: 2501 - 2520 /5036
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 ...

Weiterlesen
Handbook of Philosophical Logic

I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics ...

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

Weiterlesen
Handbook of Vascular Biometrics

This handbook provides the first comprehensive overview of biometrics exploiting the shape of human blood vessels for biometric ...

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

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

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

Weiterlesen
Handbook on Modelling for Discrete Optimization

This handbook couples the difficult, critical-thinking aspects of mathematical modeling with the hot area of discrete optimization. ...

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

Weiterlesen
Handhelds in Medicine

Handheld computers are emerging as the stethoscopes of the twenty-first century, and no clinician should be without! These ...

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

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

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

Weiterlesen
Haptic and Audio Interaction Design

This book constitutes the refereed proceedings of the Second International Workshop on Haptic and Audio Interaction Design, ...

Weiterlesen
Haptic and Audio Interaction Design

Overview The International Workshop on Haptic and Audio Interaction Design was - ganized as part of the EPSRC-funded MultiVis ...

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

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

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

Weiterlesen
Hardware Verification with SystemVerilog

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

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

Weiterlesen
Total Books: 2501 - 2520 /5036