Wyniki wyszukiwania: 3.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Decision problems in systolic circuit verification / Parosh Aziz Abdulla. autor Serie: DoCS ; 90/21
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Uppsala : Uppsala University, 1990
Uwaga dotycząca dysertacji: Diss., der Uppsala University, 1990.
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 118402.
Time and probability in formal design of distributed systems / Hans A. Hansson. autor Serie: SICS Dissertation Series ; 05 | DoCS ; 91/27
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Uppsala : Uppsala University, 1991
Uwaga dotycząca dysertacji: Diss. Uppsala Universaity, 1991.
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 118398.
Reforming compilation of logic programs / by Håkan Millroth. autor Serie: Uppsala Theses in Computing Science ; 10
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Uppsala : UPMAIL Computing Science Department. Uppsala University, 1990
Uwaga dotycząca dysertacji: Diss. Uppsala University, 1990.
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 118401.