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
The purpose of this book is to explain how to build and use insect collecting and rearing devices and through explanations ...
Weiterlesen
This book gives a detail description of the handover issues in DVB-H networks, in converged DVB-H/UMTS networks and in hybrid ...
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
Begins with an overview of the technology landscape behind BERT. It takes you through the basics of NLP, including natural ...
Weiterlesen
This timely book addresses the conflict between globalism and nationalism. It provides a liberal communitarian response to ...
WeiterlesenThis book defines happiness intuitively and explores several common conceptual mistakes with regard to happiness. It then ...
Weiterlesen
This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...
Weiterlesen
“Hardening” is the process of protecting a system and its applications against unknown threats. Hardening Linux identifies ...
Weiterlesen
Hardening is the process of protecting a system against unknown threats. System administrators harden against that which ...
Weiterlesen
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...
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
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Weiterlesen
This book - an outgrowth of a topical summer school - sets out to introduce non-specialists from physics and engineering ...
Weiterlesen
This volume reflects the state-of-the-art in these areas. Original articles and survey articles, all refereed, cover topics ...
Weiterlesen
Molecular-orbital calculations for materials design such as alloys, ceramics, and coordination compounds are now possible ...
Weiterlesen