Dostosuj wyszukiwanie

Wyniki wyszukiwania: 45.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Theory of automata / Arto Salomaa. autor Serie: International Series of Monographs in Pure and Applied Mathematics ; Vol.100
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Oxford [etc.] : Pergamon Press, cop. 1969
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 124725.
39th design automation conference : June 10-14, 2002, New Orleans : proceedings 2002 / sponsored by ACM [et al.]. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: New York, NY ; Piscataway, NJ : ACM, 2002
Inny tytuł:
  • Proceedings of the 39th design automation conference
  • Proceedings 2002 design automation conference
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 193067.
Angewandte Automatentheorie. 1, Grundbegriffe / Michael Gössel. autor Serie: WTB. Reihe Mathematik, Physik ; Bd. 116
Wydanie: 2., berichtigte Auflage.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Berlin : Akademie-Verlag [etc.], 1975
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 79849/1.
Brains, machines, and mathematics / Michael A. Arbib. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: New York [etc.] : McGraw-Hill Book Company, 1964
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: zbiór archiwalny Mg 46265.
Automata theory : an engineering approach / Igor Aleksander, F. Keith Hanna. autor Serie: Computer Systems Engineering Series
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: New York : London : Crane Russak ; Edward Arnold, 1976
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 75733.
Przekształcenia i złożoność obliczeniowa problemów w teorii automatów / Bolesław Mikołajczak. autor Serie: Teoria i Technika Systemów ; t. 6
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa ; Poznań : Państwowe Wydawnictwo Naukowe, 1988
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 115883, ...
Zamów
Stochastic automata : stability, nondeterminism, and prediction / Ernst-Erich Doberkat. autor Serie: Lecture Notes in Computer Science ; 113
Rodzaj materiału: Tekst Tekst; Format: druk
Szczegóły wydania: Berlin : Springer, 1981
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181220.
Układy przełączające w automatyce / Jerzy Siwiński. autor
Wydanie: Wydanie II uzupełnione i poprawione.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1968
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: zbiór archiwalny Mg 53256, ...
Zamów
Mathematical foundations of programming / Frank S. Beckman. autor Serie: Addison-Wesley Systems Programming Series
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Reading [etc.] : Addison-Wesley Publishing Company, 1980
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 94106.
Digitale Automaten / Michael Krapp. autor
Wydanie: 1. Auflage.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin : VEB Verlag Technik, © 1988
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 115421.
Teoria systemów przełączających. Cz. 2, Teoria automatów zdeterminowanych / Tadeusz Puchałka ; Polska Akademia Nauk. Oddział w Poznaniu. autor Serie: Teoria i Technika Systemów ; t. 2
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język streszczenia: angielski
Szczegóły wydania: Warszawa ; Poznań : Państwowe Wydawnictwa Naukowe, 1978
Inny tytuł:
  • Teoria automatów zdeterminowanych
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: na półce Mg 77644/2, ...
Zamów
Uogólnione przekształcenia okresowe automatów skończonych / Bolesław Mikołajczak. autor Serie: Rozprawy - Politechnika Poznańska ; nr 98
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język streszczenia: angielski, rosyjski
Szczegóły wydania: Poznań : Wydawnictwo Politechniki Poznańskiej, 1979
Zasoby online:
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (4)Lokalizacja, sygnatura: w czytelni A 89846, ...
Zamów
Verifying security protocols modeled by networks of automata / Mirosław Kurkowski, Wojciech Penczek. autor Serie: Prace IPI PAN ; 998
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2007
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Automaten und Funktoren / Lothar Budach, Hans J. Hoehnke. autor Serie: Mathematische Lehrbücher und Monographien. Abteilung 2, Mathematische Monographien ; 35
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Berlin : Akademie-Verlag, 1975
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: na półce Mg 71247, ...
Zamów
Układy przełączające w automatyce / Jerzy Siwiński. autor
Wydanie: Wydanie trzecie zmienione.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1980
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: w czytelni A 94289, ...
Zamów
Mózg, maszyna i matematyka / Michael A. Arbib ; tłumaczyła Barbara Stanosz. autor
Wydanie: Wydanie I.
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Język: polski Język oryginału: angielski
Szczegóły wydania: Warszawa : Państwowe Wydawnictwo Naukowe, 1968
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: zbiór archiwalny Mg 51900.
Kollektives verhalten von automaten / W. I. Warschawski ; in deutscher Sprache hrsg. von Gerhard Paulin ; Deutsche Übers. Hans Kühne. autor Serie: Elektronisches Rechnen und Regeln. Sonderband ; 24
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: niemiecki Język oryginału: rosyjski
Szczegóły wydania: Berlin : Akademie Verlag, 1978
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 85800.
Checking reachability properties for timed automata via SAT / Bożena Woźna, Wojciech Penczek and Andrzej Zbrzezny. autor Serie: Prace IPI PAN ; 949
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.
Reachability analysis for timed automata based on partitioning / Agata Półrola, Wojciech Penczek, Maciej Szreter. autor Serie: Prace IPI PAN ; 961
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2003
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Podstawy teorii automatów : laboratorium / Jan Kazimierczak, Jacek Kluska, Andrzej Kaczmarek. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Rzeszów : Politechnika Rzeszowska im. Ignacego Łukasiewicza, 1984
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w opracowaniu Mg 107678.
Zamów