 |
|
|
|
 Logic in Computer Science: Modelling and Reasoning about SystemsRecent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound... |  |  |  |  |
|
 Flash 3D Cheats Most WantedDigital 3D is a tricky area &emdash; and until the day someone makes 3D TV commercially viable, its going to remain a tricky area. What is 3D? Can you genuinely render 3D on a flat screen? Do you have to spend a years wages to get a dedicated piece of 3D software? Do you have to conjure up a bunch of complex math techniques to make the... |  |  |  |  |
|
Result Page: 933 932 931 930 929 928 927 926 925 924 923 922 921 920 919 918 917 916 915 |