Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 14.

Wyniki
		Recent mathematical developments in control : proceedings of a conference held at the University of Bath in September, 1972, organised by the Institute of Mathematics and its Applications in association with the Institute of Physics, the Institution of Mechanical Engineers, the Institution of Electronic and Radio Engineers and the Institution of Electrical Engineers / ed. by D. J. Bell. autor Bell, David J, (1933- ) [Red.] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: New York ; London : Academic Press, cop. 1973 Zasoby online: Spis treści Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 65928.
		Proceedings of the Symposium on Mathematical Theory of Automata : New York, N. Y., April 24, 25, 26, 1962 / [ed. by Jerome Fox]. autor Symposium on Mathematical Theory of Automata (1962 ; Nowy Jork) Fox, Jerome [Red.] Serie: Microwave Research Institute Symposia Series ; vol. 12 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Brooklyn : Polytechnic Press of the Polytechnic Institute of Brooklyn, cop. 1963 Inny tytuł: Mathematical Theory of Automata Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: zbiór archiwalny Mg 43895.
		Implementation and application of automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, proceedings / [edited by] Beatrice Bouchou-Markhoff [et al.]. autor Bouchou-Markhoff, Béatrice [Red.] Springer-Verlag (Berlin) [pbl] CIAA 2011 (16 ; 2011 ; Blois) Serie: Lecture Notes in Computer Science ; 6807 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc] : Springer, cop. 2011 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 178022.
		Mathematical foundations of computer science 1977 : proceedings, 6th symposium, Tatranská Lomnica, September 5-9, 1977 / ed. by J. Gruska. autor Gruska, Jozef [Red.] Serie: Lecture Notes in Computer Science ; 53 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer-Verlag, 1977 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182025.
		Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI. autor Brakhage, Helmut, (1926-2020) [Red.] Serie: Lecture Notes in Computer Science ; 33 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: angielski, niemiecki, francuski Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 73954.
		Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / ed. by A. Blikle. autor Symposium on Mathematical Foundations of Computer Science (3 ; 1974 ; Jadwisin) Blikle, Andrzej, (1939- ) [Red.] Serie: Lecture Notes in Computer Science ; 28 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, cop. 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 78827.
		Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / ed. by G. Ausiello and C. Böhm. autor Ausiello, Giorgio, (1941- ) [Red.] Böhm, Corrado, (1923- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 62 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer-Verlag, 1978 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 87220.
		Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / ed. by K. Weihrauch. autor GI Conference (4 ; 1979 ; Akwizgran) Weihrauch, Klaus, (1943- ) [Red.] Serie: Lecture Notes in Computer Science ; 67 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: angielski, francuski, niemiecki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1979 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181225.
		Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / ed. by E. G. Manes. autor Manes, Ernest Gene, (1943- ) [Red.] Serie: Lecture Notes in Computer Science ; 25 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 71363. Zamów
		Automata, languages, and programming : proceedings of a symposium organized by IRIA, Institut de Recherche d'Informatique et d'Automatique, 78-Rocquencourt, France, July 3-7, 1972 / ed. by M. Nivat. autor Nivat, Maurice [Red.] Institut de recherche d'Informatique et d'automatique (Rocquencourt) Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: angielski, francuski Szczegóły wydania: Amsterdam ; London : New York : North-Holland Publishing Company ; American Elsevier, 1973 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 64003.
		Automata, languages and programming : 4th Colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby. autor Salomaa, Arto, (1934-2025) [Red.] Steinby, Magnus [Red.] Serie: Lecture Notes in Computer Science ; 52 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1977 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 181236. Zamów
		CONCUR '90 : theories of concurrency : unificiation and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J. C. M. Baeten, J. W. Klop (Eds.). autor CONCUR '90 (1990 ; Amsterdam) Baeten, J. C. M [Red.] Klop, Jan Willem, (1945- ) [Red.] Serie: Lecture Notes in Computer Science ; 458 Rodzaj materiału: Tekst; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Springer, 1990 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181341.
		Information processing 77 : proceedings of IFIP Congress 77, Toronto, August 8-12, 1977 / ed. by Bruce Gilchrist. autor IFIP Congress (1977 ; Toronto) Gilchrist, Bruce [Red.] International Federation for Information Processing Serie: IFIP Congress Series ; Vol. 7 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Amsterdam [etc.] : North-Holland, 1977 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 85020.
		Information processing 80 : proceedings of IFIP Congress 80, Tokio, October 6-9, 1980, Melbourne, October 14-17, 1980 / ed. by Simon Lavington. autor IFIP Congress (1980 ; Tokio / Melbourne) Lavington, Simon H, (1939- ) [Red.] International Federation for Information Processing Serie: IFIP Congress Series ; Vol. 8 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Amsterdam [etc.] : North-Holland Publishing Company, 1980 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 96026.