Treffer 1 - 16 von 16 für Suche 'Groote, Jan Friso', Suchdauer: 1,05s Treffer weiter einschränken
  1. 1
    Logic Gates, Circuits, Processors, Compilers and Computers

    Logic Gates, Circuits, Processors, Compilers and Computers von Groote, Jan Friso, Morel, Rolf, Schmaltz, Julien, Watkins, Adam

    Veröffentlicht 2021
    BTU01
    FCO01
    FHA01
    FHD01
    FHI01
    FHM01
    FHN01
    FHR01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Understanding Behaviour of Distributed Systems Using mCRL2

    Understanding Behaviour of Distributed Systems Using mCRL2 von Atif, Muhammad, Groote, Jan Friso

    Veröffentlicht 2023

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Logic gates, circuits, processors, compilers and computers

    Logic gates, circuits, processors, compilers and computers von Groote, Jan Friso 1965-, Morel, Rolf, Schmaltz, Julien, Watkins, Adam

    Veröffentlicht 2021
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Modeling and analysis of communicating systems

    Modeling and analysis of communicating systems von Groote, Jan Friso, Mousavi, Mohammad Reza 1978-

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Modeling and analysis of communicating systems

    Modeling and analysis of communicating systems von Groote, Jan Friso 1965-, Mousavi, Mohammad Reza 1978-

    Veröffentlicht 2014
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Understanding behaviour of distributed systems using mCRL2

    Understanding behaviour of distributed systems using mCRL2 von Atif, Muhammad, Groote, Jan Friso 1965-

    Veröffentlicht 2023
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Modeling and reconfiguration of critical business processes for the purpose of a business  continuity management respecting security, risk and compliance requirements at Credit Suisse using algebraic graph transformation

    Modeling and reconfiguration of critical business processes for the purpose of a business  continuity management respecting security, risk and compliance requirements at Credit Sui... von Brandt, Christoph, Hermann, Frank, Groote, Jan Friso 1965-

    Veröffentlicht 2010
    Volltext
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Tales of Electrologica Computers, Software and People

    Tales of Electrologica Computers, Software and People

    Veröffentlicht 2022
    Weitere Verfasser:

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formal methods for industrial critical systems 27th international conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, proceedings

    Formal methods for industrial critical systems 27th international conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Groote, Jan Friso 1965- …”

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  10. 10
    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

    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 o...

    Veröffentlicht 2021
    Weitere Verfasser: “… Groote, Jan Friso 1965- …”
    kostenfrei
    kostenfrei
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  11. 11
    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

    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 o...

    Veröffentlicht 2021
    Weitere Verfasser: “… Groote, Jan Friso 1965- …”
    kostenfrei
    kostenfrei
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  12. 12
    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

    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 o...

    Veröffentlicht 2021
    Weitere Verfasser: “… Groote, Jan Friso 1965- …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    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

    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 o...

    Veröffentlicht 2021
    Weitere Verfasser: “… Groote, Jan Friso 1965- …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Tales of Electrologica computers, software and people

    Tales of Electrologica computers, software and people

    Veröffentlicht 2022
    Weitere Verfasser: “… Groote, Jan Friso 1965- …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Formal methods for industrial critical systems 27th international conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022 : proceedings

    Formal methods for industrial critical systems 27th international conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022 : proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Groote, Jan Friso 1965- …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    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

    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 o...

    Veröffentlicht 2021
    Weitere Verfasser: “… Groote, Jan Friso 1965- …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: