Wyniki wyszukiwania: 277.

Wyniki
		Theory of program structures : schemes, semantics, verification / Sheila A. Greibach. autor Greibach, Sheila A, (1939- ) Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 36 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; 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 181235.
		Trace theory and VLSI design / Jan L. A. van de Snepscheut. autor Van de Snepscheut, Jan L. A, (1953- ) Serie: Lecture Notes in Computer Science ; 200 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 1985 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181215.
		Advances in Cryptology - CRYPTO '85, proceedings / ed. by Hugh C. Williams. autor Williams, Hugh C [Red.] CRYPTO '85 (1985 ; Santa Barbara) Serie: Lecture Notes in Computer Science ; 218 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer-Verlag, 1986 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181329.
		Advances in cryptology - CRYPTO '88 : proceedings / S. Goldwasser (ed.). autor CRYPTO '88 (1988 ; Santa Barbara) Goldwasser, Shafi, (1958- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 403 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 181332.
		Advances in cryptology - CRYPTO '93 : 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993 : proceedings / Douglas R. Stinson (ed.). autor CRYPTO '93 (13 ; 1993 ; Santa Barbara) Stinson, Douglas Robert, (1956- ) [Red.] Serie: Lecture Notes in Computer Science ; 773 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1994 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181419.
		The stability theory of stream ciphers / C. Ding, G. Xiao, W. Shan. autor Ding, Cunsheng, (1962- ) Xiao, Guozhen, (1934- ) Shan, Weijuan, (1962- ) Serie: Lecture Notes in Computer Science ; 561 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki 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 181409.
		Advances in cryptology 1981-1997 : electronic proceedings and index of the CRYPTO and EUROCRYPT conferences 1981-1997 / Kevin S. McCurley, Claus Dieter Ziegler (eds.). autor McCurley, Kevin S [Red.] Ziegler, Claus Dieter [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 1440 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Springer, cop. 1998 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181482.
		Computer security - ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings / Elisa Bertino [et al.] (eds.). autor ESORICS 96 (4 ; 1996 ; Rzym) Bertino, Elisa [Red.] Serie: Lecture Notes in Computer Science ; 1146 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 181456.
		Fast software encryption : second international workshop, Leuven, Belgium, December 14-16, 1994 : proceedings / Bart Preneel (ed.). autor Preneel, Bart, (1963- ) [Red.] Serie: Lecture Notes in Computer Science ; 1008 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 opracowaniu A 181462.
		Cryptography and coding : 5th IMA conference, Cirencester, UK, December 18-20, 1995 : proceedings / Colin Boyd (Ed.). autor Boyd, Colin Serie: Lecture Notes in Computer Science ; 1025 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 181461.
		Advances in cryptology - CRYPTO 2000 : 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000 : proceedings / Ed. Mihir Bellare. autor Bellare, Mihir, (1962- ) [Red.] Springer-Verlag (Berlin) [pbl] CRYPTO 2000 (20 ; 2000 ; Santa Barbara) Serie: Lecture Notes in Computer Science ; 1880 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin [etc.] : Springer-Verlag, cop. 2000 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181661.
		Information security : third International Workshop, ISW 2000, Wollongong, Australia, December 20-21, 2000 : proceedings / Josef Pieprzyk, Eiji Okamoto, Jennifer Seberry [eds.]. autor ISW 2000 (3 ; 2000 ; Wollongong) Pieprzyk, Józef, (1949- ) [Red.] Okamoto, Eiji [Red.] Seberry, Jennifer, (1944- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 1975 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer-Verlag, cop. 2000 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181658.
		Information security and privacy : third Australasian conference, ACISP'98, Brisbane, Australia, July 13-15, 1998 : proceedings / Colin Boyd, Ed Dawson (eds.). autor ACISP '98 (3 ; 1998 ; Brisbane) Boyd, Colin [Red.] Dawson, Ed [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 1438 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin [etc] : Springer, cop. 1998 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w opracowaniu A 181479.
		Cryptography and coding : proceedings of 7th IMA International Conference, Cirencester, UK, December 1999 / ed. by Michael Walker. autor Walker, Michael, (1947- ) [Red.] IMA International Conference (7 ; 1999 ; Cirencester) Serie: Lecture Notes in Computer Science ; 1746 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1999 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181717.
		Computer aided systems theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26-March 4, 1989, : proceedings / F. Pichler, R. Moreno Diaz (eds.). autor EUROCAST '89 (1989 ; Las Palmas de Gran Canaria) Pichler, Franz, (1936- ) [Red.] Moreno-Díaz, Roberto [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 410 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, cop. 1990 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181338.
		Security protocols : 7th international workshop, Cambridge, UK, April 19-21, 1999 : proceedings / Bruce Christianson [et al.] (eds.). autor Christianson, Bruce [Red.] Springer-Verlag (Berlin) [pbl] International Workshop on Security Protocols (7 ; 1999 ; Cambridge) Serie: Lecture Notes in Computer Science ; 1796 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 2000 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181728.
		Advances in cryptology : EUROCRYPT 2000 : International Conference on the Theory and Applications of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000 : proceedings / Bart Preneel (ed.). autor EUROCRYPT 2000 (19 ; 2000 ; Brugia) Preneel, Bart, (1963- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 1807 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 2000 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181719.
		Parallel processing and applied mathematics : 6th International Conference, PPAM 2005, Poznań, Poland, September 1-14, 2005 : revised selected papers / Roman Wyrzykowski [et al.] (eds). autor Wyrzykowski, Roman, (1956- ) [Red.] International Conference on Parallel Processing and Applied Mathematics (6 ; 2005 ; Poznań) Serie: Lecture Notes in Computer Science ; 3911 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer, cop. 2006 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w opracowaniu A 181999.
		Security protocols : 5th international workshop, Paris, France, April 7-9, 1997 : proceedings / Bruce Christianson [et al.] (eds.). autor International Workshop on Security Protocols (5 ; 1997 ; Paryż) Christianson, Bruce [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 1361 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 1998 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181476.
		Selected areas in cryptography : 8th Annual International Workshop, SAC 2001, Toronto, Ontario, Canada, August 16-17, 2001 : revised papers / Serge Vaudenay, Amr M. Youssef (eds.). autor SAC 2001 (8 ; 2001 ; Toronto) Vaudenay, Serge [Red.] Youssef, Amr M [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 2259 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer, cop. 2001 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181729.

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.