Wyniki wyszukiwania: 649.

Wyniki
		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.
		Expert systems in engineering : principles and applications : international workshop, Vienna, Austria, September 24-26, 1990 : proceedings / G. Gottlob, W. Nejdl (eds.). autor Gottlob, Georg, (1956- ) [Red.] Nejdl, Wolfgang, (1960- ) [Red.] International Workshop on Expert Systems in Engineering (1990 ; Wiedeń) Serie: Lecture Notes in Computer Science ; 462 \| Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence 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 118210.
		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
		Recent developments in decision support systems / ed. by Clyde W. Holsapple, Andrew B. Whinston. autor Holsapple, Clyde W, (1950- ) [Red.] Whinston, Andrew B [Red.] NATO Advanced Study Institute on Recent Developments in Decision Support Systems (1991 ; Ciocco) Serie: NATO ASI Series. Series F, Computer and Systems Sciences ; vol. 101 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1993 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 123923.
		Public-key cryptography / Arto Salomaa. autor Salomaa, Arto, (1934-2025) Serie: EATCS Monographs on Theoretical Computer Science ; vol. 23 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc.] : Springer-Verlag, cop. 1990 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 117756.
		Computer networks : 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010 : proceedings / Andrzej Kwiecień, Piotr Gaj, Piotr Stera (eds.). autor CN 2010 (17 ; 2010 ; Ustroń) Kwiecień, Andrzej, ( -2025) [Redakcja] Gaj, Piotr (informatyka) [Redakcja] Stera, Piotr [Redakcja] Springer-Verlag (Berlin) [Wydawca] Serie: Communications in Computer and Information Science ; 79 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin ; Heidelberg : Springer, copyright 2010 Zasoby online: Kliknij tutaj, aby uzyskać dostęp online Okładka Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 168979, ... Zamów
		Stability theory and the existence of periodic solutions and almost periodic solutions / T. Yoshizawa. autor Yoshizawa, Taro, (1919- ) Springer-Verlag (Berlin) [] Serie: Applied Mathematical Sciences ; 14 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: New York [etc.] : Springer-Verlag, 1975 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 78830.
		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.
		Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon. autor Garzon, Max, (1953- ) Springer-Verlag (Berlin) [] Serie: Texts in Theoretical Computer Science Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Springer, 1995 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 128083.
		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.
		Aspects of automated natural language generation : 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992 : proceedings / R. Dale [et al.] (eds.). autor International Workshop on Natural Language Generation (6 ; 1992 ; Trydent) Dale, Robert, (1959- ) [Red.] Springer-Verlag (Berlin) [] Serie: Lecture Notes in Computer Science ; 587 \| Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki 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 181405.
		Attribute grammars and their applications : International Conference WAGA, Paris, France, September 19-21, 1990 : proceedings / P. Deransart, M. Jourdan. autor International Conference WAGA (1990 ; Paryż) Deransart, Pierre, (1945- ) [Red.] Jourdan, Martin, (1959- ) [Red.] Serie: Lecture Notes in Computer Science ; 461 Rodzaj materiału: Tekst; 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 181342.
		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.
		Computer networks : 18th Conference, CN 2011, Ustroń, Poland, June 14-18, 2011 : proceedings / Andrzej Kwiecień, Piotr Gaj, Piotr Stera (eds.). autor CN 2011 (18 ; 2011 ; Ustroń) Kwiecień, Andrzej, ( -2025) [Red.] Gaj, Piotr (informatyka) [Red.] Stera, Piotr [Red.] Springer Science+Business Media [] Serie: Communications in Computer and Information Science ; 160 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin ; Heidelberg : Springer, 2011 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 171601.

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