Wyniki wyszukiwania: 277.

Wyniki
		Information security : 4th International Conference, ISC 2001, Malaga, Spain, October 1-3, 2001 : proceedings / George I. Davida, Yair Frankel (eds). autor ISC 2001 (4 ; 2001 ; Malaga) Okamoto, Eiji [Red.] Davida, George, (1944- ) [Red.] Frankel, Yair, (1963- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 2200 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer-Verlag, cop. 2001 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181856.
		Advances in cryptology - CRYPTO 2004 : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004 : proceedings / Matt Franklin (ed.). autor CRYPTO 2004 (24 ; 2004 ; Santa Barbara) Franklin, Matthew [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 3152 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, cop. 2004 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181990.
		Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings / H. Alblas, B. Melichar (eds.). autor Alblas, Henk [Red.] Melichar, Bořivoj, (1942- ) [Red.] International Summer School on Attribute Grammars, Applications and Systems (1991 ; Praga) Serie: Lecture Notes in Computer Science ; 545 Rodzaj materiału: Tekst; Format: druk 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 182023.
		Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI. autor Brakhage, Helmut, (1926-2020) [Red.] Serie: Lecture Notes in Computer Science ; 33 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: angielski, niemiecki, francuski 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 73954.
		Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers. Part 1 / Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.). autor International Conference on Parallel Processing and Applied Mathematics (12 ; 2017 ; Lublin) Wyrzykowski, Roman, (1956- ) [Redakcja] Dongarra, Jack J [Redakcja] Deelman, Ewa [Redakcja] Karczewski, Konrad [Redakcja] Springer Nature [Wydawca] Serie: Lecture Notes in Computer Science ; 10777 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: angielski Język streszczenia: angielski Szczegóły wydania: Cham : Springer, © 2018 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 199987.
		GI - 4. Jahrestagung, Berlin, 9.-12. Oktober, 1974 / hrsg. von D. Siefkes. autor Siefkes, Dirk [Red.] Serie: Lecture Notes in Computer Science ; 26 Rodzaj materiału: Tekst; Format: druk Język: niemiecki, angielski Szczegóły wydania: Berlin : Springer, 1975 Inny tytuł: Gesellschaft für Informatik - 4. Jahrestagung Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 72007.
		Advances in cryptology - EUROCRYPT '90 : Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Demnmark, May 21-24, 1990 : proceedings / I. B. Damgård (ed.). autor EUROCRYPT '90 (1990 ; Aarhus) Damgård, Ivan Bjerre, (1956- ) [Red.] Serie: Lecture Notes in Computer Science ; 473 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 118384.
		Advanced database systems : 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings / P. M. D. Gray, R. J. Lucas (eds.). autor British National Conference on Databases (10 ; 1992 ; Aberdeen) Gray, Peter M. D, (1940- ) [Red.] Lucas, Rob J, (1954- ) [Red.] Serie: Lecture Notes in Computer Science ; 618 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 1992 Inny tytuł: British National Conference on Databases, 10 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 123914.
		Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / ed. by E. G. Manes. autor Manes, Ernest Gene, (1943- ) [Red.] Serie: Lecture Notes in Computer Science ; 25 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki 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: na półce Mg 71363. Zamów
		Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts. autor Geurts, Frédéric Serie: Lecture Notes in Computer Science ; 1426 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1998 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181716.
		Parallel architectures and their efficient use : first Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992 : proceedings / F. Meyer auf der Heide, B. Monien, A. L. Rosenberg (eds.). autor Heinz Nixdorf Symposium (1 ; 1992 ; Paderborn) Meyer auf der Heide, Friedhelm, (1954- ) [Red.] Monien, B [Red.] Rosenberg, Arnold L [Red.] Serie: Lecture Notes in Computer Science ; 678 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 181494.
		PARLE '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 : proceedings / Arndt Bode, Mike Reeve, Gottfried Wolf (eds.). autor PARLE '93 (5 ; 1993 ; Monachium) Bode, Arndt, (1948- ) [Red.] Reeve, Mike [Red.] Wolf, Gottfried [Red.] Serie: Lecture Notes in Computer Science ; 694 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 181443.
		On the shape of mathematical arguments / A. J. M. van Gasteren ; forew. by Edsger W. Dijkstra. autor Van Gasteren, Antonetta J. M, (1952- ) Dijkstra, Edsger Wybe, (1930-2002) [Przedm.] Serie: Lecture Notes in Computer Science ; 445 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; 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 181411.
		Graph-theoretic concepts in computer science : 15th international workshop WG'89, Castle Rolduc, the Netherlands, June 14-16, 1989 : proceedings / M. Nagl (ed.). autor Nagl, Manfred, (1944- ) Springer Nature [] WG '89 (15 ; 1989 ; Castle Rolduc) Serie: Lecture Notes in Computer Science ; 411 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 181336.
		Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (ed.). autor Sifakis, Joseph, (1946- ) [Red.] Springer-Verlag (Berlin) [] Serie: Lecture Notes in Computer Science ; 407 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 181334.
		Combinatorial pattern matching : 4th annual symposium, CPM 93, Padova, Italy, June 2-4, 1993 : proceedings / A. Apostolico [et al.] (eds.). autor CPM 93 (4 ; 1993 ; Padwa) Apostolico, Alberto, (1948- ) [Red.] Serie: Lecture Notes in Computer Science ; 684 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 123911.
		Mathematical foundations of computer science 1975 : 4th symposium, Mariánské Lázne, September 1-5, 1975 / ed. by J. Bečvář. autor Bečvář, Jiři [Red.] Symposium on Mathematical Foundations of Computer Science (4 ; 1975 ; Mariańskie Łaźnie) Serie: Lecture Notes in Computer Science ; 32 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Springer, 1975 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 78829.
		Implementation and application of automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, proceedings / [edited by] Beatrice Bouchou-Markhoff [et al.]. autor Bouchou-Markhoff, Béatrice [Red.] Springer-Verlag (Berlin) [pbl] CIAA 2011 (16 ; 2011 ; Blois) Serie: Lecture Notes in Computer Science ; 6807 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc] : Springer, cop. 2011 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 178022.
		SOFSEM 2004: theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Měřín, Czech Republic, January 24-30, 2004 : proceedings / Peter van Emde Boas [et al.] (eds.). autor SOFSEM 2004 (30 ; 2004 ; Praga) Emde Boas, Peter van [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 2932 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 2004 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181091.
		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

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.