Wyniki wyszukiwania: 277.

Wyniki
		Simple program schemes and formal languages / Joost Engelfriet. autor Engelfriet, Joost Springer-Verlag (Berlin) [] Serie: Lecture Notes in Computer Science ; 20 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer-Verlag, 1974 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 78828.
		Advances in databases and information systems : second East European symposium, ADBIS '98, Poznań, Poland, September 7-10, 1998 : proceedings / Witold Litwin, Tadeusz Morzy, Gottfried Vossen (eds.). autor ADBIS '98 (2 ; 1998 ; Poznań) Litwin, Witold, (1946- ) [Red.] Morzy, Tadeusz, (?-2025) [Red.] Vossen, Gottfried, (1955- ) [Red.] Serie: Lecture Notes in Computer Science ; 1475 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 1998 Inny tytuł: East European Symposium on Advances in Databases and Information Systems, 2 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 128624.
		Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.). autor CHARME '93 (1993 ; Arles) Milne, George J, (1952- ) [Red.] Pierre, Laurence [Red.] Serie: Lecture Notes in Computer Science ; 683 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 181445.
		Logic program synthesis and transformation : 6th international workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher (ed.). autor International Workshop on Logic Program Synthesis and Transformation (6 ; 1996 ; Sztokholm) Gallagher, John [Red.] Serie: Lecture Notes in Computer Science ; 1207 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 181474.
		Meta-programmming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi (ed.). autor META-92 (3 ; 1992 ; Uppsala) Pettorossi, Alberto, (1947- ) [Red.] Serie: Lecture Notes in Computer Science ; 649 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 181407.
		A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid. autor Uhl, Jürgen Schmid, Hans Albrecht, (1944- ) Serie: Lecture Notes in Computer Science ; 460 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki 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 181343.
		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.
		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.
		Mathematical foundations of computer science 1991 : 16th International Symposium, Kazimierz Dolny, Poland, september 9-13, 1991 : proceedings / A. Tarlecki (Ed.). autor MFCS '91 (16 ; 1991 ; Kazimierz Dolny) Serie: Lecture Notes in Computer Science ; 520 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Springer, 1991 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181087.
		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.
		Advances in cryptology - CRYPTO '86 : proceedings / A. M. Odlyzko (ed.). autor CRYPTO '86 (1986 ; Santa Barbara) Odlyzko, Andrew M [Red.] Serie: Lecture Notes in Computer Science ; 263 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer-Verlag, 1987 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181330.
		Advances in cryptology - AUSCRYPT '92 : Workshop on the Theory and Application of Cryptographic Techniques, Gold Coast, Queensland, Australia, December 13-16, 1992 : proceedings / Jennifer Seberry, Yuliang Zheng (eds.). autor AUSCRYPT '92 (1992 ; Gold Coast) Seberry, Jennifer, (1944- ) [Red.] Zheng, Yuliang [Red.] Serie: Lecture Notes in Computer Science ; 718 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 181422.
		Integrity primitives for secure information systems : final report of RACE Integrity Primitives Evaluation RIPE-RACE 1040 / Antoon Bosselaers, Bart Preneel (eds.). autor Bosselaers, Antoon [Red.] Preneel, Bart, (1963- ) [Red.] Serie: Lecture Notes in Computer Science ; 1007 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1995 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181398.
		Public-key cryptography : state of the art and future directions : E.I.S.S. workshop, Oberwolfach, Germany, July 3-6, 1991 : final report / Th. Beth, M. Frisch, G. J. Simmons (eds.). autor Beth, Thomas, (1949- ) [Red.] Frisch, Markus, (1965- ) [Red.] Simmons, Gustavus J [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 578 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Springer-Verlag, 1992 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181408.
		Mobile agents : first international workshop, MA'97, Berlin, Germany, April 7-8, 1997 : proceedings / Kurt Rothermel, Radu Popescu-Zeletin (eds.). autor International Workshop on Mobile Agents (1 ; 1997 ; Berlin) Rothermel, Kurt, (1955- ) [Red.] Serie: Lecture Notes in Computer Science ; 1219 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 (2)Lokalizacja, sygnatura: w czytelni A 181480, ... Zamów
		Fast software encryption : third international workshop, Cambridge, UK, February 21-23, 1996 : proceedings / Dieter Gollmann (ed.). autor Gollmann, Dieter Serie: Lecture Notes in Computer Science ; 1039 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1996 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181458.
		Advanced information systems engineering : 8th international conference, CAiSE '96, Heraklion, Crete, Greece, May 20-24, 1996 : proceedings / Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou (eds.). autor CAiSE '96 (8 ; 1996 ; Heraklion) Constantopoulos, Panos [Red.] Mylopoulos, John [Red.] Vassiliou, Yannis [Red.] Serie: Lecture Notes in Computer Science ; 1080 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1996 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181454.
		Advances in cryptology, EUROCRYPT '96 : international conference on the theory and application of cryptographic techniques, Saragossa, Spain, May 12-16, 1996 : proceedings / Ueli Maurer (ed.). autor EUROCRYPT '96 (14 ; 1996 ; Saragossa) Maurer, Ueli [Red.] Serie: Lecture Notes in Computer Science ; 1070 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1996 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181452.
		Advances in cryptology - EUROCRYPT '94 : Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994 : proceedings / Alfredo De Santis (ed.). autor EUROCRYPT '94 (1994 ; Perugia) De Santis, Alfredo [Red.] Serie: Lecture Notes in Computer Science ; 950 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1995 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181450.
		Advances in cryptology - CRYPTO '95 : 15th annual international cryptology conference, Santa Barbara, California, USA, August 27-31, 1995 : proceedings / Don Coppersmith (ed.). autor CRYPTO '95 (15 ; 1995 ; Santa Barbara) Coppersmith, Don [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 963 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 1995 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181449.

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