Jan Friso Groote

Jan Friso Groote (2009) Jan Friso Groote (born April 13, 1965, in Doetinchem) is a Dutch computer scientist. Provided by Wikipedia
Showing 1 - 16 results of 16 for search 'Groote, Jan Friso', query time: 0.06s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Logic Gates, Circuits, Processors, Compilers and Computers

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

    Published 2021
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Understanding Behaviour of Distributed Systems Using mCRL2

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

    Published 2023

    Get full text Get full text
    Electronic eBook


    Saved in:
  3. 3
    Logic gates, circuits, processors, compilers and computers

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

    Published 2021
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Modeling and analysis of communicating systems

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

    Published 2014
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Modeling and analysis of communicating systems

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

    Published 2014
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Understanding behaviour of distributed systems using mCRL2

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

    Published 2023
    Book Interlibrary loan Place Request


    Saved 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... by Brandt, Christoph, Hermann, Frank, Groote, Jan Friso 1965-

    Published 2010
    Get full text
    Electronic eBook Interlibrary loan Place Request


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

    Tales of Electrologica Computers, Software and People

    Published 2022
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved 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

    Published 2022
    Other Authors: “…Groote, Jan Friso 1965-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


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

    Published 2021
    Other Authors: “…Groote, Jan Friso 1965-…”
    Get full text
    Electronic Conference Proceeding eBook


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

    Published 2021
    Other Authors: “…Groote, Jan Friso 1965-…”
    Get full text
    Electronic Conference Proceeding eBook


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

    Published 2021
    Other Authors: “…Groote, Jan Friso 1965-…”
    Conference Proceeding Book Interlibrary loan Place Request


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

    Published 2021
    Other Authors: “…Groote, Jan Friso 1965-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved 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

    Published 2022
    Other Authors: “…Groote, Jan Friso 1965-…”
    Conference Proceeding Book Interlibrary loan Place Request


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

    Tales of Electrologica computers, software and people

    Published 2022
    Other Authors: “…Groote, Jan Friso 1965-…”
    Book Interlibrary loan Place Request


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

    Published 2021
    Other Authors: “…Groote, Jan Friso 1965-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: