Showing
1 - 7
results of
7
for search '
Groote, J. F. (Jan Friso), 1965-
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Groote, J. F. (Jan Friso), 1965-
Showing
1 - 7
results of
7
for search '
Groote, J. F. (Jan Friso), 1965-
'
, query time: 0.03s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Modeling and analysis of communicating systems Jan Friso Groote and Mohammad Reza Mousavi.
by
Groote, J. F. (Jan Friso), 1965
-
Published 2014
Click for online access
eBook
Save to List
Saved in:
Select result number 2
2
Understanding behaviour of distributed systems using mCRL2 Muhammad Atif, Jan Friso Groote.
by
Atif, Muhammad, (Computer scientist)
,
Groote, J. F. (Jan Friso), 1965
-
Published 2023
Click for online access
eBook
Save to List
Saved in:
Select result number 3
3
Logical gates, circuits, processors, compilers and computers Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins.
by
Groote, J. F. (Jan Friso), 1965
-
,
Morel, Rolf
,
Schmaltz, Julien
,
Watkins, Adam
Published 2021
Click for online access
eBook
Save to List
Saved in:
Select result number 4
4
Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings Jan Friso Groote, Marieke Huisman (eds.).
Published 2022
Other Authors:
“…
Groote, J. F. (Jan Friso), 1965
-…”
Click for online access
eBook
Save to List
Saved in:
Select result number 5
5
Tales of electrologica : computers, software and people Gerard Alberts, Jan Friso Groote, editors.
Published 2022
Other Authors:
Click for online access
eBook
Save to List
Saved in:
Select result number 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... Jan Friso Groote, Kim Guldstrand Larsen (eds.).
Published 2021
Other Authors:
“…
Groote, J. F. (Jan Friso), 1965
-…”
Click for online access
eBook
Save to List
Saved in:
Select result number 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... Jan Friso Groote, Kim Guldstrand Larsen (eds.).
Published 2021
Other Authors:
“…
Groote, J. F. (Jan Friso), 1965
-…”
Click for online access
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
System analysis
computers
Computer software
System design
Verification
Artificial intelligence
Computer industry
Computer programming
Computer science
Computer scientists
Computer simulation
Computers
Distributed processing
Electronic data processing
Formal methods (Computer science)
History
Machine theory
Mathematics
Simulation methods
Software engineering
Telecommunication systems
Theory of Computation
artificial intelligence
computer programming