Ergebnisse filtern
Fachgebiet
Medium
  • 3
  • 3
Erscheinungsjahr
  • 2
  • 2
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
Verlag
  • 3
  • 1
  • 2
Preis
  • 4
  • 2
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6
6  Treffer  für „Wang, Farn“
    Wang | Automated Technology for Verification and Analysis | eBook | Sack Fachmedien
    E-Book

    Wang Automated Technology for Verification and Analysis

    Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-3-540-30476-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wang | Formal Techniques for Networked and Distributed Systems - FORTE 2005 | Buch | Sack Fachmedien

    Wang Formal Techniques for Networked and Distributed Systems - FORTE 2005

    25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29189-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Wang Automated Technology for Verification and Analysis

    Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23610-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Formal Techniques for Networked and Distributed Systems - FORTE 2005 | eBook | Sack Fachmedien
    E-Book

    Wang Formal Techniques for Networked and Distributed Systems - FORTE 2005

    25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-32084-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sampaio / Wang | Theoretical Aspects of Computing – ICTAC 2016 | eBook | Sack Fachmedien
    E-Book

    Sampaio / Wang Theoretical Aspects of Computing – ICTAC 2016

    13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46750-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wang / Sampaio | Theoretical Aspects of Computing - ICTAC 2016 | Buch | Sack Fachmedien

    Wang / Sampaio Theoretical Aspects of Computing - ICTAC 2016

    13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46749-8
    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