 | 1. FPGA Prototyping by VHDL Examples: Xilinx Spartan -3 Version EUR 53,14
|
 | 2. ZB 2005 Formal Specification And Development in Z And B: 4th International Conference of B And Z Users, Guildford, UK, April 13-15, 2005, Proceedings EUR 31,07
|
| |
|
 | 3. Computational Complexity EUR 52,34
|
 | 4. Logic in Computer Science: Modelling and Reasoning About Systems EUR 41,68
|
 | 5. Understanding Formal Methods EUR 50,48
|
 | 6. The Computer and the Brain EUR 4,59
|
|
|
 | 7. Advances in Rule Interchange and Applications: International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings EUR 38,20
|
 | 8. Game Level Design EUR 26,84
|
 | 9. Introduction to Statistical Relational Learning EUR 32,57
|
 | 10. Dynamic Logic EUR 36,36
|