-
TaschenbuchBOD - 2 Tage
1 This volume contains the research papers and invited papers presented at the Third Internationa...
-
TaschenbuchBOD - 2 Tage
This book constitutes the refereed proceedings of the 12th International Conference on Tests and ...
-
TaschenbuchBOD - 2 Tage
Automated Exercise Generation for Satisfiability Checking.- Graphical Loop Invariant Based Progra...
-
TaschenbuchBOD - 2 Tage
¿Invited Talks.- Regular Papers.- Project and Survey papers.- System and Dataset Descriptions.- S...
-
TaschenbuchBOD - 5 Tage
The human organs of perception are constantly bombarded with chemicals from the environment. Our ...
-
BuchBOD - 7 Tage
The human organs of perception are constantly bombarded with chemicals from the environment. Our ...
- 1