Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 9.

Wyniki
		Some problems in representation of knowledge in formal languages / Dariusz Surowik. autor Surowik, Dariusz Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki Studies in Logic, Grammar and Rhetoric S. 51-57 W: Logic, philosophy and computer science : second special issue S. 51-57 W: Studies in Logic, Grammar and Rhetoric 30 (43) (2012), s. 51-57 Status: Brak dostępnych egzemplarzy.
		Introduction to formal languages / György E. Révész. autor Révész, György E Serie: McGraw-Hill Computer Science Series Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: New York [etc.] : McGraw-Hill Book Company, 1983 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 111383, ... Zamów
		Mathematical foundations of programming / Frank S. Beckman. autor Beckman, Frank S Serie: Addison-Wesley Systems Programming Series Rodzaj materiału: 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.
		Wprowadzenie do teorii automatów, języków i obliczeń / John E. Hopcroft, Jeffrey D. Ullman ; [z ang. tł. Beata Konikowska]. autor Hopcroft, John E, (1939- ) Ullman, Jeffrey D, (1942- ) Konikowska, Beata [Tł.] Wydawnictwo Naukowe PWN [pbl] Rodzaj materiału: Tekst; Format: druk Język: polski Język oryginału: angielski Szczegóły wydania: Warszawa : Wydaw. Naukowe PWN, 1994 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (22)Lokalizacja, sygnatura: w czytelni A 122169, ... Zamów
		Gramatici contextuale / Gheorghe Păun. autor Păun, Gheorghe, (1950- ) Academia Republicii Socialiste România. Editura [pbl] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: rumuński Język streszczenia: angielski Szczegóły wydania: Bucureşti : Editura Academiei Republicii Socialiste România, 1982 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w opracowaniu Mg 108951. Zamów
		Regulated rewriting in formal language theory / by Jürgen Dassow and Gheorghe Păun. autor Dassow, Jürgen Păun, Gheorghe, (1950- ) Akademie-Verlag (Berlin) [] Serie: Mathematische Lehrbücher und Monographien. Abteilung 2, Mathematische Monographien ; 74 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Akademie-Verlag, 1989 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 114659.
		A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll. autor Arbib, Michael A, (1940- ) Kfoury, Assaf J, (1945- ) Moll, Robert N Serie: The AKM Series in Theoretical Computer Science \| Texts and Monographs in Computer Science Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: New York : Springer-Verlag, 1981 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181218.
		Teoria automatów i języków formalnych / Maria Foryś, Wit Foryś. autor Foryś, Maria, (1950- ) Foryś, Wit Jan, (1950- ) Akademicka Oficyna Wydawnicza Exit [pbl] Serie: Problemy Współczesnej Nauki. Informatyka Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Warszawa : Akademicka Oficyna Wydawnicza EXIT, 2005 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 152939, ... Zamów
		Konstrukcja translatorów dla maszyn cyfrowych / David Gries ; z języka angielskiego tłumaczyli: Krystyna Jerzykiewicz, Jerzy Szczepkowicz. autor Gries, David, (1939- ) [Autor] Jerzykiewicz, Krystyna [Tłumaczenie] Szczepkowicz, Jerzy, (1940-1997) [Tłumaczenie] Państwowe Wydawnictwo Naukowe (1951-1992) [Wydawca] Serie: Biblioteka Informatyki Wydanie: Wydanie I. Rodzaj materiału: 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, 1984 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (7)Lokalizacja, sygnatura: w czytelni A 106151, ... Zamów