Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 19.

Wyniki
		Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center Madrid, April 23-25, 1975 / ed. by R. Aguilar. autor Aguilar, Rodolfo J, (1936- ) [Red.] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski, francuski Szczegóły wydania: Amsterdam : New York : North-Holland Publishing Co. ; American Elsevier Publishing Company, Inc. ; 1976 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 77237. Zamów
		Real time programming 1980 : proceedings of the IFAC/IFIP Workshop Schloss Retzhof, Leibnitz, Austria, 14-16 April 1980 / ed. by V.H. Haase. autor Haase, Volkmar H, (1940- ) [Red.] IFAC-IFIP Workshop on Real-Time Programming (10 ; 1980 ; Leibnitz) Serie: IFAC Proceedings Series Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Oxford [etc.] : Published for the International Federation of Automatic Control by Pergamon Press, cop. 1980 Inny tytuł: Proceedings of the IFAC/IFIP Workshop Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 95784.
		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.
		Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / ed. by A. Salwicki. autor Salwicki, Andrzej [Red.] Symposium on Logics of Programs and their Applications (1980 ; Poznań) Serie: Lecture Notes in Computer Science ; 148 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1983 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 100411, ... Zamów
		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.
		STOC '09 : proceedings of the 2009 ACM International Symposium on Theory of Computing, Bethesda, Maryland, USA, May 31-June 2, 2009 / sponsored by ACM SIGACT. autor Annual ACM Symposium on Theory of Computing (41 ; 2009 ; Bethesda) ACM Special Interest Group for Algorithms and Computation Theory Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: New York : Association for Computing Machinery, 2009 Inny tytuł: ACM International Symposium on Theory of Computing, 41 Proceedings of the 2009 ACM Symposium on Theory of Computing Theory of Computing Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 165379.
		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.
		Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22. 3. 1974 / hrsg. von H.-O. Leilich. autor Fachtagung Struktur und Betrieb von Rechensystemen (1974 ; Brunszwik) Leilich, H.-O [Red.] Serie: Lecture Notes in Computer Science ; 8 Rodzaj materiału: Tekst; Format: druk Język: niemiecki, angielski Szczegóły wydania: Berlin : Springer, 1974 Zasoby online: Licencja krajowa Spis treści Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 65922.
		Mathematical foundations of computer 1981 : proceedings 10th Symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4 1981 / ed. by J. Gruska, M. Chytil. autor Gruska, Jozef [Red.] Chytil, Michal [Red.] Symposium on Mathematical Foundations of Computer Science (10 ; 1981 ; Serbskie Pleso) Serie: Lecture Notes in Computer Science ; 118 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 112251, ... Zamów
		Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 / ed. by E. Gelenbe and C. Kaiser. autor Gelenbe, Erol, (1945- ) [Red.] Kaiser, Claude [Red.] Serie: Lecture Notes in Computer Science ; 16 Rodzaj materiału: Tekst; Format: druk Język: angielski, francuski Szczegóły wydania: Berlin : Springer, 1974 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 75856.
		Formalization of programming concepts : international colloquium Peniscola, Spain, April 19-25, 1981 : proceedings / ed. by J. Díaz and I. Ramos. autor International Colloquium on the Formalization of Programming Concepts (1981 ; Penĩscola) Diaz, Josep, (1950- ) [Red.] Ramos, Isidro, (1943- ) [Red.] Serie: Lecture Notes in Computer Science ; 107 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin ; New York : Springer-Verlag, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181222.
		PEPM'09 : proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation : Savannah, Georgia, USA, January 19-20, 2009 / sponsored by ACM SIGPLAN. autor ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation (2009 ; Savannah) ACM Special Interest Group on Programming Languages Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: New York : Association for Computing Machinery, 2009 Inny tytuł: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 165376.
		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
		ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / ed. by K. Samelson. autor Samelson, Klaus, (1918- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 44 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1976 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181234.
		Analysis and verification of multiple-agent languages : 5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.). autor Dam, Mads LOMAPS Workshop (5 ; 1996 ; Sztokholm) Serie: Lecture Notes in Computer Science ; 1192 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1997 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181491.
		Mathematical foundations of computer science 1978 : proceedings 7th Symposium Zakopane, Poland, September 4-8, 1978 / ed. by J. Winkowski. autor Symposium on Mathematical Foundations of Computer Science (7 ; 1978 ; Zakopane) Winkowski, Józef, (1934- ) [Red.] Serie: Lecture Notes in Computer Science ; 64 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1978 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181086.
		Mathematics of program construction : second international conference, Oxford, U. K., June 29 - July 3, 1992 : proceedings / R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.). autor Bird, Richard S, (1943- ) [Red.] Morgan, Carroll, (1952- ) [Red.] Woodcock, Jim [Red.] International Conference on the Mathematics of Program Construction (2 ; 1992 ; Oksford) Serie: Lecture Notes in Computer Science ; 669 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1993 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181444.
		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.