Treffer 1 - 12 von 12 für Suche 'Groote, Jan Friso 1965-', Suchdauer: 0,95s Treffer weiter einschränken
  1. 1
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    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:
  5. 5
    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:
  6. 6
    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:
  7. 7
    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:
  8. 8
    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:
  9. 9
    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:
  10. 10
    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:
  11. 11
    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:
  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:

Suchwerkzeuge: