Liknande böcker

System Design
Bok av Andreas Gerstlauer
Large-Scale Scientific Computing : 11th International Conference, LSSC 2...
Bok av Ivan Lirkov
Automated Technology for Vertification and Analysis : 4th International...
Bok av Susanne. Graf
Automated Technology for Verification and Analysis : 5th International S...
Bok av Kedar S. Namjoshi
Custom Memory Management Methodology
Bok av Francky Catthoor
Modeling, Verification and Exploration of Task-Level Concurrency in Real...
Bok av Filip Thoen
Self-Adaptive Heuristics for Evolutionary Computation
Bok av Oliver Kramer
From Geometric Modeling to Shape Modeling : IFIP TC5 WG5.2 Seventh Works...
Bok av Umberto Cugini

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Bok av Farn Wang