Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 5.

Wyniki
		VIII Konferencja Systemy Czasu Rzeczywistego, Krynica, 24-27 września 2001 : wykłady zaproszone / red. Tomasz Szmuc i Radosław Klimek. autor Systemy Czasu Rzeczywistego (8 ; 2001 ; Krynica) Szmuc, Tomasz, (1948- ) [Red.] Klimek, Radosław [Red.] Rodzaj materiału: Tekst; Format: druk Język: engpol Język streszczenia: engpol Szczegóły wydania: Kraków : Katedra Automatyki Akademii Górniczo-Hutniczej, 2002 Inny tytuł: Ósma Konferencja Systemy Czasu Rzeczywistego Systemy Czasu Rzeczywistego '01 8th Conference on Real-Time Systems Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 144869.
		VII Konferencja Systemy Czasu Rzeczywistego, Kraków, 25-28 września 2000 : materiały konferencyjne / red. Tomasz Szumuc i Radosław Klimek. autor Szmuc, Tomasz, (1948- ) [Red.] Klimek, Radosław [Red.] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski, angielski Język streszczenia: angielski, polski Szczegóły wydania: Kraków : Katedra Automatyki Akademii Górniczo-Hutniczej, 2000 Inny tytuł: Siódma Konferencja Systemy Czasu Rzeczywistego Konferencja Systemy Czasu Rzeczywistego, 7 Systemy Czasu Rzeczywistego 2000 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 140342.
		VIII Konferencja Systemy Czasu Rzeczywistego, Krynica, 24-27 września 2001 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; [org. Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie, Wydziałowy Zakład Informatyki Politechniki Wrocławskiej, Instytut Automatyki i Robotyki Wojskowej Akademii Technicznej w Warszawie]. autor Systemy Czasu Rzeczywistego (8 ; 2001 ; Krynica) Szmuc, Tomasz, (1948- ) Klimek, Radosław Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków). Katedra Automatyki [pbl] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski, angielski Język streszczenia: angielski, polski Szczegóły wydania: Kraków : Katedra Automatyki Akademii Górniczo-Hutniczej, [2001] Inny tytuł: Konferencja Systemy Czasu Rzeczywistego, 8 Systemy Czasu Rzeczywistego '01 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 142014, ... Zamów
		Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego / Tomasz Szmuc, Marcin Szpyrka ; współautorzy Radosław Klimek [i 12 pozostałych]. autor Szmuc, Tomasz, (1948- ) [Autor] Szpyrka, Marcin [Autor] Klimek, Radosław [Autor] Wydawnictwa Naukowo-Techniczne [Autor] Wydanie: Wyd. I. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 2010 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 168270, ... Niedostępny: Biblioteka Politechniki Poznańskiej: Wypożyczono (1). Zamów
		Wprowadzenie do logiki temporalnej / Radosław Klimek. autor Klimek, Radosław [Autor] Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków). Uczelniane Wydawnictwa Naukowo-Dydaktyczne [Wydawca] Serie: Skrypty Uczelniane - Akademia Górniczo-Hutnicza im. Stanisława Staszica ; nr 1579 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Młodzież; Szczegóły wydania: Kraków : AGH. Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 1999 Zasoby online: Spis treści Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni CzO 130263.