LIBROS DEL AUTOR: oliver ruthing

3 resultados para LIBROS DEL AUTOR: oliver ruthing

oliver ruthing Eliminar filtro Quitar filtros
  • Mathematical Foundations of Advanced Informatics
    Bernhard Steffen / Michael Huth / Oliver Rüthing
    Introduction.- Propositions and Sets.- Relations and Functions.- Inductive Definitions.- Inductive Proofs.- Inductive Approach: Potential, Limitations, and Pragmatics. ...
    Disponible

    50,09 €

  • Mathematical Foundations of Advanced Informatics
    Bernhard Steffen / Michael Huth / Oliver Rüthing
    Introduction.- Propositions and Sets.- Relations and Functions.- Inductive Definitions.- Inductive Proofs.- Inductive Approach: Potential, Limitations, and Pragmatics. ...
    Disponible

    48,73 €

  • Interacting Code Motion Transformations
    Oliver Rüthing
    Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are restricted by a narrow focus on their immediate effects. A more ambitious approach is to investigate the interdependencies between distinct component transform...
    Disponible

    66,52 €