Treffer 1 – 16 von 16 für Suche 'Groote, Jan Friso', Suchdauer: 0,08s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  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
    Volltext öffnen
    Elektronisch E-Book


    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 öffnen Volltext öffnen
    Elektronisch E-Book


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

    Tales of Electrologica Computers, Software and People

    Veröffentlicht 2022
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    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 öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    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 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- …”
    Volltext öffnen
    Elektronisch E-Book


    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 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- …”
    Volltext öffnen
    Elektronisch E-Book


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:
  14. 14
    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 Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Tales of Electrologica computers, software and people

    Tales of Electrologica computers, software and people

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


    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 Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: