Ergebnisse filtern
Fachgebiet
Medium
  • 2
Erscheinungsjahr
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
Verlag
  • 1
  • 1
Preis
  • 1
  • 1
Sprachen
  • 2
Verfügbarkeit
  • 2
Katalog
  • 2

Mathematik | Informatik

2  Treffer  für „Seger, Carl-Johan H.“
Alle Filter löschen
    Seger / Joyce | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Seger / Joyce Higher Order Logic Theorem Proving and Its Applications

    6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brzozowski / Seger | Asynchronous Circuits | Buch | Sack Fachmedien

    Brzozowski / Seger Asynchronous Circuits

    1995
    Verlag: Springer
    ISBN: 978-0-387-94420-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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