Wyniki wyszukiwania: 20.

Wyniki
		Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium of Principles Programming Languages : POPL'09 : Savannah, Georgia, USA January 21-23, 2009 / in co-operat. with: ACM SIGACT. autor ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (36 ; 2009 ; Savannah) Serie: ACM SIGPLAN Notices ; vol. 44, nr 1 (2009) Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: New York : ACM Press, 2009 Inny tytuł: Thirty-sixth Symposium of Principles Programming Languages Symposium of Principles Programming Languages, 36 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 5419.
		Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Ithaca, October 1976 / ed. by John H. Williams and David A. Fisher. autor Williams, John H, (1939- ) [Red.] Fisher, David A, (1942- ) [Red.] Serie: Lecture Notes in Computer Science ; 54 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1977 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce A 85793.
		Language hierarchies and interfaces : international summer school / F. L. Bauer [et al.] ; ed. by F. L. Bauer and K. Samelson. autor Bauer, Friedrich Ludwig, (1924-2015) Samelson, Klaus, (1918- ) Serie: Lecture Notes in Computer Science ; 46 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; 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 181232.
		3. Fachtagung über Programmiersprachen, Kiel, 5.-7. März 1974 / hrsg. von Bodo Schlender und Wolfgang Frielinghaus. autor Fachtagung über Programmiersprachen (3 ; 1974 ; Kilonia) Schlender, Bodo [Red.] Frielinghaus, Wolfgang [Red.] Serie: Lecture Notes in Computer Science ; 7 Rodzaj materiału: Tekst; Format: druk Język: niemiecki, angielski Szczegóły wydania: Berlin : Springer, 1974 Inny tytuł: Fachtagung über Programmiersprachen, 3 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 69205.
		Data base description : proceedings of the TC-2 Special Working Conference on Data Base Description / ed. by B. C. M. Douque and G. M. Nijssen. autor Douqué, Bodo C. M, (1937- ) [Red.] Nijssen, G. M [Red.] North-Holland Publishing Company [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Amsterdam ; Oxford : New York : North-Holland Publishing Company ; American Elsevier Publishing Company, 1975 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 80401.
		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.
		Advanced course on software engineering / ed. by F. L. Bauer. autor Advanced Course on Software Engineering (1972 ; Monachium) Bauer, Friedrich Ludwig, (1924-2015) [Red.] Serie: Lecture Notes in Economics and Mathematical Systems ; 81 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, cop. 1973 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 64620.
		Conference record of POPL '99 : the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming , San Antonio, Texas, 20-22 January 1999 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN). autor ACM Symposium on Principles of Programming Languages (26th ; 1999 ; San Antonio, Tex.) Association for Computing Machinery ACM Special Interest Group for Algorithms and Computation Theory ACM Special Interest Group on Programming Languages Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: New York : ACM Press, 1999 Inny tytuł: POPL '99 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Principles of Programming Languages Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 156411.
		Conference record of POPL '98 : the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Diego, California, 19-21 January 1998 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN). autor ACM Symposium on Principles of Programming Languages (25th ; 1998 ; San Diego, Ca.) Association for Computing Machinery ACM Special Interest Group for Algorithms and Computation Theory ACM Special Interest Group on Programming Languages Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: New York : ACM Press, 1998 Inny tytuł: POPL '98 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Principles of Programming Languages Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 156412.
		Proceedings of the First International Workshop on Natural Communications with Computers : 9-12 September 1980. Part 1 / Institute of Informatics Warsaw University. autor International Workshop on Natural Communication with Computers (1 ; 1980 ; Warszawa) Uniwersytet Warszawski. Instytut Informatyki Wydawnictwa Uniwersytetu Warszawskiego [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski, niemiecki Szczegóły wydania: Warszawa : [Wydawnictwo Uniwersytetu Warszawskiego], 1980 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 96146/1.
		Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.). autor PLILP '92 (4 ; 1992 ; Leuven) Bruynooghe, Maurice [Red.] Wirsing, Martin [Red.] Serie: Lecture Notes in Computer Science ; 631 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1992 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181397.
		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 : sixth colloquium, Graz, Austria, July 16-20, 1979 / ed. by Hermann A. Maurer. autor ICALP 79 (6 ; 1979 ; Graz) Maurer, Hermann, (1941- ) [Red.] Serie: Lecture Notes in Computer Science ; 71 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki 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: na półce Mg 181237. Zamów
		Programming language implementation and logic programming : 5th international symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam (eds.). autor PLILP '93 (5 ; 1993 ; Tallinn) Bruynooghe, Maurice [Red.] Penjam, Jaan, (1955- ) [Red.] Serie: Lecture Notes in Computer Science ; 714 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki 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 181396.
		Proceedings of the First International Workshop on Natural Communications with Computers : 9-12 September 1980. Part 2 / Institute of Informatics Warsaw University. autor International Workshop on Natural Communication with Computers (1 ; 1980 ; Warszawa) Uniwersytet Warszawski. Instytut Informatyki Wydawnictwa Uniwersytetu Warszawskiego [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : [Wydawnictwo Uniwersytetu Warszawskiego], 1980 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 96146.
		Minicomputer software : proceedings of the IFIP Conference on Software for Minicomputers / ed. by James R. Bell and C. Gordon Bell. autor IFIP Conference on Software for Minicomputers (1975 ; Keszthely) Bell, James R, (1942- ) [Red.] Bell, C. Gordon [Red.] North-Holland Publishing Company [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Amsterdam [etc.] : North-Holland Publishing Company, 1976 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 80396.
		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.
		Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.). autor RR 2007 (1 ; 2007 ; Innsbruck) Marchiori, Massimo, (1970- ) [Red.] Pan, Jeff Z [Red.] Sainte Marie, Christian de [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 4524 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 2007 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182065.
		Database programming languages : 12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009 : proceedings / Philippa Gardner, Floris Geerts (eds.). autor International Symposium on Database Programming Languages (12 ; 2009 ; Lyon) Gardner, Philippa [Red.] Geerts, Floris [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 5708 \| LNCS Sublibrary. SL 3, Information Systems and Application, Incl. Internet/Web and HCI Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer, cop. 2009 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181889.
		Database programming languages : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers / Marcelo Arenas, Michael I. Schwartzbach (eds.). autor International Symposium on Database Programming Languages (11 ; 2007 ; Wiedeń) Arenas, Marcelo [Red.] Schwartzbach, Michael I [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 4797 \| LNCS Sublibrary. SL 3, Information Systems and Application, Incl. Internet/Web and HCI Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer, cop. 2007 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181890.

Nazwa	Wartość	Okres ważności	Opis
CGISESSID	identyfikator sesji	Do czasu wylogowania lub zakończenia sesji	Plik cookie sesji
KohaOpacLanguage	Kod języka	3 lata	Przechowuje kod ostatnio wybranego języka, dzięki czemu katalog online będzie wyświetlany w tym samym języku przy następnej wizycie.
form_serialized form_serialized_limits	parametry wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	Plik przechowuje parametry ostatniego wyszukiwania zaawansowanego
search_path_code	ads (mniej) lub exs (więcej)	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Powiązane z plikami cookie w formacie serialized_form*. Zapamiętuje, czy w formularzu wyszukiwania zaawansowanego zastosowano opcję „Więcej opcji” lub „Mniej opcji”.
num_paragraph	Ilość dodanych opcji wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Służy do przechowywania liczby utworzonych opcji, gdy użytkownik wybierze opcję „Więcej opcji” w wyszukiwaniu zaawansowanym, aby zwiększyć liczbę pól wyszukiwania.
bib_list	Lista identyfikatorów rekordów	Koniec sesji lub do opróżnienia koszyka.	Przechowuje zawartość koszyka w katalogu. Ustawia moment dodania rekordów do koszyka po raz pierwszy.

Dostosuj wyszukiwanie

Dostępność

Autorzy

Typy dokumentów

Lokalizacje

Serie

Tematy

Kolekcje

Biblioteki

Biblioteki macierzyste

Język

Wyniki wyszukiwania: 20.