Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Technical University of Munich
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of British Columbia
- Harvard University
- Instituto Superior Técnico
- Nature Careers
- Universidade de Coimbra
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Université de Limoges
- DAAD
- Faculty of Sciences of the University of Porto
- Institute of Geodesy and Cartography
- Instituto Nacional de Investigação Agrária e Veterinária, I.P.
- KNAW
- Leibniz
- University of Melbourne
- Vrije Universiteit Amsterdam (VU)
- 7 more »
- « less
-
Field
-
(also verified by automated theorem proving) etc. - AUTOMATA TUTOR (available at [1], described in publication [2]) is a tool to teach undergraduate students the basics of theoretical computer science. It
Searches related to Computer Science
Enter an email to receive alerts for Computer-Science positions