Fachgebiet
Medium
  • 29
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 3
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
Verlag
  • 29
Preis
  • 26
  • 3
Sprachen
  • 29
Verfügbarkeit
  • 29
Katalog
  • 29
29  Treffer  für „Lecture Notes in Computer Science“


    Hunt FM8501: A Verified Microprocessor

    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57960-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schubert / Windley / Alves-Foss Higher Order Logic Theorem Proving and Its Applications

    8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60275-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Moore / Luk Field-Programmable Logic and Applications

    5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60294-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Camurati / Eveking Correct Hardware Design and Verification Methods

    IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60385-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular