Found: 2

Select item for more details and to access through your institution.

  • The electronic book - a threat for the printed book?

    Published in:
    Romanian Journal of Library & Information Science / Revista Română de Biblioteconomie și Știința Informării, 2012, v. 8, n. 3, p. 74
    By:
    • Osoianu, Vera
    Publication type:
    Article

  • The KeY tool.

    Published in:
    Software & Systems Modeling, 2005, v. 4, n. 1, p. 32, doi. 10.1007/s10270-004-0058-x
    By:
    • Ahrendt, Wolfgang;
    • Baar, Thomas;
    • Beckert, Bernhard;
    • Bubel, Richard;
    • Giese, Martin;
    • Hähnle, Reiner;
    • Menzel, Wolfram;
    • Mostowski, Wojciech;
    • Roth, Andreas;
    • Schlager, Steffen;
    • Schmitt, Peter H.
    Publication type:
    Article