Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...
Weiterlesen
This handbook synthesizes and analyzes the growing knowledge base on life course health development (LCHD) from the prenatal ...
Weiterlesen
This comprehensive handbook, the first of its kind to address the connection between nature-inspired and traditional computational ...
Weiterlesen
"This Handbook describes and discusses the features that make up the petroleum refining industry. It begins with a description ...
Weiterlesen
This handbook offers a state-of-the-art overview of quantitative science and technology research. It focuses on the development ...
Weiterlesen
This handbook couples the difficult, critical-thinking aspects of mathematical modeling with the hot area of discrete optimization. ...
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
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
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Weiterlesen
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in ...
Weiterlesen
The objective of this symposium is to exchange the latest research results in software, architecture, and applications in ...
Weiterlesen
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
Weiterlesen
The 75 revised full papers address all current issues of parallel and distributed systems and high performance computing ...
Weiterlesen
HPCC has moved into the mainstream of c- puting and has become a key technology in future research and development activities ...
Weiterlesen
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance ...
Weiterlesen
This book constitutes the refereed proceedings of the Second International Conference on High Performance Embedded Architectures ...
Weiterlesen