Wyniki wyszukiwania: 263.

Wyniki
		W kręgu języków programowania / Michael Marcotty, Henry Ledgard ; z ang. przeł. Krystyna Jerzykiewicz. autor Marcotty, Michael, (1931- ) Ledgard, Henry F, (1943- ) Jerzykiewicz, Krystyna [Tł.] Marcotty, Michael, (1931- ). Programming language landscape Wydawnictwa Naukowo-Techniczne [pbl] Serie: Biblioteka Inżynierii Oprogramowania Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: polski Język oryginału: angielski Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1991 Inny tytuł: World of programming languages Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 118868, ... Zamów
		Denotacyjny opis języków programowania / Michael J. C. Gordon ; z ang. przeł. Andrzej Tarlecki. autor Gordon, Michael J. C, (1948- ) Blikle, Andrzej, (1939- ). Zarys teorii równań stałopunktowych semantyki denotacyjnej Tarlecki, Andrzej, (1956- ) [Tł.] Wydawnictwa Naukowo-Techniczne [pbl] Serie: Biblioteka Inżynierii Oprogramowania 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 : Wydawnictwa Naukowo-Techniczne, 1983 Inny tytuł: Denotational description of programming languages Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: w czytelni A 103264, ... Zamów
		Struktura języków programowania / John E. Nicholls ; z angielskiego przełożyli Stanisław Kruszewski, Jacek Leszczyłowski, Julian Winiewski. autor Nicholls, John E, (1928- ) [Autor] Kruszewski, Stanisław [Tłumaczenie] Leszczyłowski, Jacek [Tłumaczenie] Winiewski, Julian [Tłumaczenie] Wydawnictwa Naukowo-Techniczne [Wydawca] Serie: Informatyka - Wydawnictwa Naukowo-Techniczne 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 : Wydawnictwa Naukowo-Techniczne, 1980 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB I13437. Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: w czytelni A 181641, ... Zamów
		Programming language pragmatics / Michael L. Scott. autor Scott, Michael Lee [Autor] Morgan Kaufmann Publishers [Wydawca] Wydanie: Fourth Edition. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Amsterdam [i pozostałe] : Morgan Kaufmann, 2016 Zasoby online: Spis treści Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni CzO 204392.
		Autokody i programowanie maszyn cyfrowych / Konrad Fiałkowski. autor Fiałkowski, Konrad, (1939-2020) Wydawnictwa Naukowo-Techniczne [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1965 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: zbiór archiwalny Mg 44960.
		Autokody i programowanie maszyn cyfrowych / Konrad Fiałkowski. autor Fiałkowski, Konrad, (1939-2020) Serie: Informatyka - Wydawnictwa Naukowo-Techniczne. Przetwarzanie Informacji i Maszyny Matematyczne Wydanie: Wyd. 3 zm. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1974 Zasoby online: Spis treści Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 64912, ...
		Autokody i programowanie maszyn cyfrowych / Konrad Fiałkowski. autor Fiałkowski, Konrad, (1939-2020) Wydawnictwa Naukowo-Techniczne [pbl] Wydanie: Wyd. 3 zm. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1976 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: na półce W 16467, ... Zamów
		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.
		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.
		Syntax of programming languages : theory and practice / Roland C. Backhouse. autor Backhouse, Roland C, (1948- ) Serie: Prentice Hall International Series in Computer Science Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Englewood Cliffs [etc.] : Prentice/Hall International, 1979 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 94817.
		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.
		The Vienna development method : the meta-language / ed. by D. Bjorner and C. B. Jones. autor Bjorner, Dines, (1937- ) [Red.] Jones, Cliff Bryn, (1944- ) [Red.] Serie: Lecture Notes in Computer Science ; 61 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1978 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181230.
		Matematyczne metody definiowania języków programowania / Piotr Dembiński, Jan Małuszyński. autor Dembiński, Piotr [Autor] Małuszyński, Jan, (1941- ) [Autor] Wydawnictwa Naukowo-Techniczne [Wydawca] Serie: Biblioteka Inżynierii Oprogramowania Wydanie: Wydanie I. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język streszczenia: angielski, rosyjski Szczegóły wydania: Warszawa : Wydawnictwo Naukowo-Techniczne, 1981 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB I13631. Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 181643, ... Zamów
		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.
		Siedem języków w siedem tygodni : praktyczny przewodnik nauki języków programowania / Bruce A. Tate ; [tł. Radosław Meryk]. autor Tate, Bruce, (1965- ) Meryk, Radosław [Tł.] Grupa Wydawnicza Helion [] Serie: Baza Programisty 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: Gliwice : Helion, cop. 2012 Inny tytuł: Seven languages in seven weeks Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (6)Lokalizacja, sygnatura: w czytelni CzO 172610, ... Zamów
		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.
		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.
		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.
		Clipper 5.0 / Piotr Wyrodow-Rakowski. autor Wyrodow-Rakowski, Piotr Wydawnictwo Lynx-SFT [pbl] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Lynx-SFT Publishers, 1991 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: na półce Mg 117831, ... Zamów

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: 263.