- ホーム
- > 洋書
- > ドイツ書
- > Mathematics, Sciences & Technology
- > Medicine & Pharmacy
- > general survey & lexicons
Full Description
· Includes a set of "benchmarks", which are presented in great detail and includes the source code of most of the techniques presented, including solutions to the basic compilation and synthesis problems;
· Discusses several new research problems in detail, using numerous examples.



