Dostosuj wyszukiwanie

Wyniki wyszukiwania: 9.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
SAT-based bounded model checking for the universal fragment of TCTL / Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny. autor Serie: Prace IPI PAN ; 947
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Automaty użytkowe : ćwiczenia laboratoryjne / Janusz Igielski. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Warszawa : Oficyna Wydawnicza PW, 1997
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 127747.
Zamów
Teoria automatów cyfrowych : laboratorium : praca zbiorowa / pod red. Henryka Małysiaka ; oprac. Henryk Małysiak [et al.]. autor
Wydanie: Wyd. 5.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Gliwice : Wydaw. Politechniki Śląskiej, 2003
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: na półce Mg 147896, ...
Zamów
Systemy uczące się / Paweł Cichosz. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 2000
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (18)Lokalizacja, sygnatura: w czytelni A 140594, ... Niedostępny: Biblioteka Politechniki Poznańskiej: Wypożyczono (1).
Zamów
Zbiór zadań z teorii układów logicznych / Henryk Kruszyński [et al.]. autor Serie: Skrypty WPW
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Warszawa : Wydawnictwa Politechniki Warszawskiej 1976
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 77269.
Zamów
Teoria automatów / Jerzy Bromirski. autor Serie: Wykłady Akademickie. Elektronika
Wydanie: Wydanie I.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1969
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: zbiór archiwalny Mg 54803, ...
Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych / Grzegorz Łabiak. autor Serie: Lecture Notes in Control and Computer Science ; vol. 6
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: polski Język streszczenia: angielski
Szczegóły wydania: Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, 2005
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 155411, ...
Zamów
Zbiór zadań z teorii języków formalnych i automatów / Maria Foryś, Adam Roman. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Kraków : Wydawnictwo Uniwersytetu Jagiellńskiego, 2011
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 171051, ...
Elektrohydrauliczne analogowe i cyfrowe układy automatyki / Andrzej Pizoń. autor
Wydanie: Wyd. 2 rozsz.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Warszawa : Wydawnictwo Naukowo-Techniczne, 1995
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: w czytelni CzO 124422, ...
Zamów