Zobrazuji výsledky 1 - 5 z 5 pro vyhledávání 'Harel, David 1950-', doba hledání: 0,01 s.
Upřesnit hledání
-
1
Dynamic logic Autor Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy
Vydáno 2000Signatura: loading...Click here to access thru EZproxy
Umístění: loading...
Click here to access
Electronic Resource -
2
Algorithmics the spirit of computing Autor Harel, David 1950-
Vydáno 1992Signatura: loading...
Umístění: loading...Kniha loading... -
3
Algorithmics the spirit of computing Autor Harel, David 1950-
Vydáno 1992Signatura: loading...
Umístění: loading...Kniha loading... -
4
Algorithmics the spirit of computing Autor Harel, David 1950-
Vydáno 1992Signatura: loading...
Umístění: loading...Kniha loading... -
5
Algorithmics the spirit of computing Autor Harel, David 1950-
Vydáno 1987Signatura: loading...
Umístění: loading...Kniha loading...