Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 4.

Wyniki
		Elements of finite model theory / Leonid Libkin. autor Libkin, Leonid Serie: Texts in Theoretical Computer Science Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 2004 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182002.
		Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon. autor Garzon, Max, (1953- ) Springer-Verlag (Berlin) [] Serie: Texts in Theoretical Computer Science Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 1995 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 128083.
		Boolean functions and computation models / Peter Clote, Evangelos Kranakis. autor Clote, Peter, (1951- ) Kranakis, Evangelos Serie: Texts in Theoretical Computer Science Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 2002 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181845.
		Complexity theory and cryptology : an introduction to cryptocomplexity / Jörg Rothe. autor Rothe, Jörg Serie: Texts in Theoretical Computer Science Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, cop. 2005 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181987.