Jan Friso Groote
Jan Friso Groote (born April 13, 1965, in Doetinchem) is a Dutch computer scientist. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Groote, Jan Friso', query time: 0.04s
Refine Results
-
1
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 2021Other Authors: “…Groote, Jan Friso…”
Link to Metadata
Electronic eBook -
2
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 2021Other Authors: “…Groote, Jan Friso…”
Link to Metadata
Electronic eBook -
3
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 2021Other Authors: “…Groote, Jan Friso…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
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 2021Other Authors: “…Groote, Jan Friso…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
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 2021Other Authors: “…Groote, Jan Friso…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
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 o...
Published 2021Other Authors: “…Groote, Jan Friso…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter
Search Tools:
Related Subjects
Computer science
Computer networking & communications
Computer programming / software development
Software Engineering
Artificial intelligence
Computer Engineering and Networks
Computer engineering
Computer networks
Control Structures and Microprogramming
Microprogramming
Theory of Computation
Logic in AI
Logic programming
Software engineering