Wyniki wyszukiwania: 277.

Wyniki
		Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers. Part 2 / 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 ; 10778 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 199988.
		Parallel processing : proceedings of the Sagamore Computer Conference, August 20-23, 1974 / ed. by Tse-yun Feng. autor Sagamore Computer Conference (3 ; 1974 ; Raquette Lake) Feng, Tse-yun, (1928- ) [Red.] Serie: Lecture Notes in Computer Science ; 24 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 72006.
		Operating systems engineering : proceedings of the 14th IBM Computer Science Symposium, Amagi, Japan, October 1980 / ed. by M. Maekawa and L. A. Belady. autor IBM Computer Science Symposium (14 ; 1980 ; Amagi) Maekawa, Mamoru, (1942- ) [Red.] Belady, Laszlo A, (1928- ) [Red.] Serie: Lecture Notes in Computer Science ; 143 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, 1982 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 101695.
		Logic of programs : workshop, ETH Zürich, May-July 1979 / ed. by Erwin Engeler. autor Engeler, Erwin [Red.] Springer-Verlag (Berlin) [] Serie: Lecture Notes in Computer Science ; 125 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 100099.
		Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings / ed. by N. Saito and T. Nishizeki. autor Saito, Nobuji, (1928- ) [Red.] Nishizeki, Takao, (1947- ) [Red.] Serie: Lecture Notes in Computer Science ; 108 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 100764.
		Computer science today : recent trends and developments / ed. Jan van Leeuwen. autor Leeuwen, Jan van, (1946- ) [Red.] Springer-Verlag (Berlin) [] Serie: Lecture Notes in Computer Science ; 1000 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 125548.
		Mathematical foundations of computer science 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 : proceedings / Jiří Wiedermann, Petr Hájek (eds.). autor MFCS '95 (20 ; 1995 ; Praga) Wiedermann, Jiří, (1948- ) [Red.] Hájek, Petr, (1940-2016) [Red.] Serie: Lecture Notes in Computer Science ; 969 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 181090.
		Mathematical foundations of computer science 1994 : 19th international symposium, MFCS '94, Košice, Slovakia, August 22-26, 1994 : proceedings / Igor Prívara, Branislav Rovan, Peter Ružička (eds.). autor MFCS '94 (19 ; 1994 ; Koszyce) Prívara, Igor [Red.] Rovan, Branislav [Red.] Ružička, Peter, (1947-2003) [Red.] Serie: Lecture Notes in Computer Science ; 841 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 181089.
		Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / ed. by A. Salwicki. autor Salwicki, Andrzej [Red.] Symposium on Logics of Programs and their Applications (1980 ; Poznań) Serie: Lecture Notes in Computer Science ; 148 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1983 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 100411, ... Zamów
		ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / ed. by K. Samelson. autor Samelson, Klaus, (1918- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 44 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki 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 181234.
		Complementary definitions of programming language semantics / James E. Donahue. autor Donahue, James Edward, (1947- ) Serie: Lecture Notes in Computer Science ; 42 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer-Verlag, 1976 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181233.
		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.
		Formalization of programming concepts : international colloquium Peniscola, Spain, April 19-25, 1981 : proceedings / ed. by J. Díaz and I. Ramos. autor International Colloquium on the Formalization of Programming Concepts (1981 ; Penĩscola) Diaz, Josep, (1950- ) [Red.] Ramos, Isidro, (1943- ) [Red.] Serie: Lecture Notes in Computer Science ; 107 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin ; New York : Springer-Verlag, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181222.
		Algebraic semantics / Irène Guessarian. autor Guessarian, Irène, (1948- ) Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 99 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Springer-Verlag, 1981 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181221.
		Information systems methodology : proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10-12, 1978 / ed. by G. Bracchi and P. C. Lockemann. autor Conference of the European Cooperation in Informatics (2 ; 1978 ; Wenecja) Bracchi, Giampio, (1944- ) [Red.] Lockemann, Peter Christian [Red.] Serie: Lecture Notes in Computer Science ; 65 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 181216.
		Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / ed. by K. Weihrauch. autor GI Conference (4 ; 1979 ; Akwizgran) Weihrauch, Klaus, (1943- ) [Red.] Serie: Lecture Notes in Computer Science ; 67 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: angielski, francuski, niemiecki 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: w czytelni A 181225.
		Program construction : international summer school / F. L. Bauer [et al.] ; ed. by F. L. Bauer and M. Broy. autor Bauer, Friedrich Ludwig, (1924-2015) Broy, Manfred, (1949- ) [Red.] Serie: Lecture Notes in Computer Science ; 69 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin ; New York : Springer-Verlag, 1979 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181227.
		Advances in cryptology : proceedings of CRYPTO 84 / ed. by G. R. Blakley and David Chaum. autor CRYPTO '84 (1984 ; Santa Barbara) Blakley, George Robert [Red.] Chaum, David, (1955- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 196 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, cop. 1985 Inny tytuł: Advances in cryptology 84 Advances in cryptology 84 Advances in cryptology 84 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181214.
		Advances in cryptology - EUROCRYPT 87 : workshop on the theory and application of cryptographic techniques Amsterdam, The Netherlands, April 13-15, 1987, proceedings / David Chaum, Wyn L. Price (Eds.). autor EUROCRYPT '87 (1987 ; Amsterdam) Chaum, David, (1955- ) [Red.] Price, W. L [Red.] Serie: Lecture Notes in Computer Science ; 304 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1988 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181327.
		Advances in cryptology - EUROCRYPT'85 : proceedings of a Workshop on the Theory and Application of Cryptographic Techniques Linz, Austria, April 1985 / ed. by Franz Pichler. autor EUROCRYPT '85 (1985 ; Linz) Pichler, Franz, (1936- ) [Red.] Serie: Lecture Notes in Computer Science ; 219 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 181328.

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.