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

Mathematik | Informatik

8  Treffer  für „Groote, Jan Friso“
Alle Filter löschen
    Groote / Alberts | Tales of Electrologica | Buch | Sack Fachmedien

    Groote / Alberts Tales of Electrologica

    Computers, Software and People
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-13035-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Alberts | Tales of Electrologica | Buch | Sack Fachmedien

    Groote / Alberts Tales of Electrologica

    Computers, Software and People
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-13032-8
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Atif | Understanding Behaviour of Distributed Systems Using mCRL2 | Buch | Sack Fachmedien

    Groote / Atif Understanding Behaviour of Distributed Systems Using mCRL2

    2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-23010-3
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huisman / Groote | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Huisman / Groote Formal Methods for Industrial Critical Systems

    27th International Conference, FMICS 2022, Warsaw, Poland, September 14¿15, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-15007-4
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Atif | Understanding Behaviour of Distributed Systems Using mCRL2 | Buch | Sack Fachmedien

    Groote / Atif Understanding Behaviour of Distributed Systems Using mCRL2

    2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-23007-3
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Groote | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72015-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Groote | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72012-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Watkins / Morel | Logic Gates, Circuits, Processors, Compilers and Computers | Buch | Sack Fachmedien

    Groote / Watkins / Morel Logic Gates, Circuits, Processors, Compilers and Computers

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-68552-2
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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