Unbounded model checking for knowledge and timeMagdalena Kacprzak
Unbounded model checking for knowledge and time
9 bibliotek2 wydania · 2003
Biblioteka Jagiellońska
Uniwersytet Jagielloński · Krakówstanbardzo niski
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
Biblioteka Uniwersytecka w Warszawie
Uniwersytet Warszawski · Warszawastanbardzo niski
Biblioteka Dziedzin Nauk Medycznych i Nauk o Zdrowiu, Nauk Inżynieryjno-Technicznych oraz Nauk Ścisłych i Przyrodniczych
Katolicki Uniwersytet Lubelski Jana Pawła II · Lublinstanbardzo niski
Biblioteka Główna Uniwersytetu Gdańskiego
Uniwersytet Gdański · Gdańskstanbardzo niski
Biblioteka Główna w Toruniu
Uniwersytet Mikołaja Kopernika w Toruniu · Toruństanbardzo niski
Biblioteka na Koszykowej
Biblioteka Publiczna m.st. Warszawy - Biblioteka Główna Województwa Mazowieckiego · Warszawastanbardzo niski
Biblioteka UMCS
Biblioteka Główna Uniwersytetu Marii Curie-Skłodowskiej · Lublinstanbardzo niski
Książnica Pomorska
Książnica Pomorska im. Stanisława Staszica w Szczecinie · Szczecinstanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.