-
TaschenbuchBOD - 2 Tage
This book presents a collection of revised refereed papers selected from the presentations accept...
-
TaschenbuchBOD - 2 Tage
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewr...
-
TaschenbuchBOD - 2 Tage
Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial ...
-
TaschenbuchBOD - 2 Tage
By introducing the principles of programming languages, using the Java language as a support, Gil...
-
TaschenbuchBOD - 2 Tage
This book constitutes the refereed proceedings of the 4th International Joint Conference on Autom...
-
TaschenbuchBOD - 5 Tage
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathe...
-
TaschenbuchBOD - 5 Tage
Algorithms are probably the most sophisticated tools that people have had at their disposal since...
-
BuchBOD - 7 Tage
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathe...
- 1