Wyniki wyszukiwania: 5915.

Wyniki
		Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 / ed. by Ehud Shapiro. autor International Conference on Logic Programming (3 ; 1986 ; Londyn) Shapiro, Ehud Y [Red.] Serie: Lecture Notes in Computer Science ; 225 Rodzaj materiału: Tekst; Format: druk Szczegóły wydania: Berlin : Springer, 1986 Inny tytuł: International Conference on Logic Programming, 3 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182022.
		ALPUK 91 : proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 / Geraint A. Wiggins, Chris Mellish and Tim Duncan (eds.). autor ALPUK 91 (3 ; 1991 ; Edynburg) Wiggins, Geraint A, (1962- ) [Red.] Mellish, Christopher S, (1954- ) [Red.] Duncan, Tim, (1956- ) [Red.] Springer-Verlag (Berlin) [pbl] Serie: Workshops in Computing Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Springer-Verlag, cop. 1992 Inny tytuł: 3rd UK Annual Conference on Logic Programming, Edinburgh 1991 Third UK Annual Conference on Logic Programming, Edinburgh 1991 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181347.
		On the Move to Meaningful Internet Systems - OTM 2009 Workshops : Confederated International Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009, Vilamoura, Portugal, November 1-6, 2009 : proceedings / Robert Meersman, Pilar Herrero, Tharam Dillon (eds.). autor OTM 2009 Workshops (2009 ; Vilamoura) Meersman, Robert A, (1947- ) [Red.] Dillon, Tharam S, (1943- ) [Red.] Herrero, Pilar [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 5872 \| LNCS Sublibrary. SL 3, Information Systems and Application, Incl. Internet/Web and HCI Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 2009 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182107.
		Fast software encryption : 13th international workshop, FSE 2006, Graz, Austria, March 15-17, 2006 : revised selected papers / Matthew Robshaw (ed.). autor FSE 2006 (13 ; 2006 ; Graz) Robshaw, Matthew [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 4047 \| LNCS Sublibrary. SL 4, Security and Cryptology Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 2006 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182072.
		Information security and cryptology : third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007 : revised selected papers / Dingyi Pei [et al.] (eds.). autor Inscrypt 2007 (3 ; 2007 ; Xining) Pei, Dingyi [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 4990 \| LNCS Sublibrary. SL 4, Security and Cryptology Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 2007 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182070.
		Städtebild und Landschaft : Reichsheimstättenamt der Daf. Planungsabteilung / [Mitarbeiter: Max Reisinger, et al.] ; Deutsche Arbeitsfront. autor Reisinger, Max Deutsche Arbeitsfront Verlag der Deutschen Arbeitsfront (Berlin) [pbl] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Verlag der Deutsche Arbeitsfron, 1939 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 2536.
		Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.). autor RR 2007 (1 ; 2007 ; Innsbruck) Marchiori, Massimo, (1970- ) [Red.] Pan, Jeff Z [Red.] Sainte Marie, Christian de [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 4524 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 2007 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182065.
		Progress in cryptology : INDOCRYPT 2010 : 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009 : proceedings / Bimal Roy, Nicolas Sendrier (eds.). autor INDOCRYPT 2009 (10 ; 2009 ; Delhi) Roy, Bimal, (1959- ) [Red.] Sendrier, Nicolas [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 5922 \| LNCS Sublibrary. SL 4, Security and Cryptology Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 2009 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182075.
		Advances in spatial and temporal databases : 9th international symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005 : proceedings / Claudia Bauzer Medeiros, Max Egenhofer, Elisa Bertino (eds.). autor SSTD 2005 (9 ; 2005 ; Angra dos Reis) Medeiros, Claudia Bauzer [Red.] Egenhofer, Max J [Red.] Bertino, Elisa [Red.] Springer-Verlag (Berlin) [pbl] Serie: Lecture Notes in Computer Science ; 3633 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer, cop. 2005 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182064.
		General lattice theory / George Grätzer. autor Grätzer, George A Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Akademie - Verlag, 1978 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182419.
		Advances in informational aspects of industrial automation : proceedings of the III. Bilateral Meeting GDR--Italy, held in Berlin, 1985 February 19th-21st / edited by G. Menga, V. Kempe ; organized under the auspices of the bilateral cooperation agreement between the National Research Council of Italy and the Academy of Sciences of the G.D.R. autor Bilateral Meeting GDR--Italy (3 ; 1985 ; Berlin) Menga, Giuseppe [Red.] Kempe, Volker, (1939- ) [Red.] Consiglio Nazionale delle Ricerche Akademie der Wissenschaften der DDR Akademie der Wissenschaften der DDR. Zentralinstitut für Kybernetik und Informationsprozesse [pbl] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: angielski Szczegóły wydania: Berlin : Central Institute of Cybernetics and Information Processes of the Academy of Sciences of the GDR, 1985 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 110435, ... Zamów
		Ausgewählte rechnerische Methoden der Verfahrenstechnik : berechnunng von fluiden Mischphasen und Mischphasengleichgewichten / Ralf Köpsel. autor Köpsel, Ralf Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Akademie-Verlag, 1974 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 73501, ... Zamów
		Wörterbuch der Kybernetik / herausgegeben von Georg Klaus und Heinz Liebscher. autor Klaus, Georg, (1912-1974) [Redakcja] Liebscher, Heinz, (1931- ) [Redakcja] Verlag J. H. W. Dietz Nachf [Wydawca] Wydanie: 4., völlig überarbeitete Auflage. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin : Dietz Verlag, 1976 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: w czytelni A 80322, ... Zamów
		Numerische und graphische Methoden der Angewandten Mathematik / P. F. Filtschakow ; [Übersetz. Ferdinand Cap]. autor Fil'čakov, Pavel Feodos'evič, (1916-1978) Akademie-Verlag (Berlin) [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: niemiecki Język oryginału: rosyjski Szczegóły wydania: Berlin : Akademie-Verlag, 1975 Inny tytuł: Čislennye i grafičeskie metody irikladnoj matematiki Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: na półce Mg 81380, ... Zamów
		Zum Ablauf ionischer Polymerisationsreaktionen / von Günther Heublein. autor Heublein, Günther Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin : Akademie-Verlag, 1975 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: na półce Mg 81363, ... Zamów
		Theorie und Anwendung der direkten Methode von Ljapunov / von Wolfgang Hahn. autor Hahn, Wolfgang, (1911-1998) Springer-Verlag (Berlin) [] Serie: Ergebnisse der Mathematik und Ihrer Grenzgebiete ; N. F., H. 22 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Berlin [etc]. : Springer-Verlag, 1959 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Instytutu Konstrukcji Budowlanych (1)Lokalizacja, sygnatura: Inst.Konstr.Bud. IB M9875.
		Barwa i człowiek / Gerhard Zeugner; tłumacz Jerzy Rogaczewski ; redaktor Franciszek Aleksandrowicz. autor Zeugner, Gerhard [Autor] Rogaczewski, Jerzy [Tłumaczenie] Aleksandrowicz, Franciszek [Redakcja] Wydawnictwo Arkady [Wydawca] Verlag für Bauwesen [Wydawca] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Ogólne; Język: polski Język oryginału: niemiecki Szczegóły wydania: Warszawa : Berlin : Wydawnictwo Arkady ; VEB Verlag für Bauwesen, 1965 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 44181. Niedostępny: Biblioteka Instytutu Konstrukcji Budowlanych: Wypożyczono (1).
		Topological vector spaces and algebras / Lucien Waelbroeck. autor Waelbroeck, Lucien Serie: Lecture Notes in Mathematics ; 230. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer - Verlag, 1971 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160321.
		Buildings of spherical type and finite BN-pairs / Jacques Tits. autor Tits, Jacques, (1930- ) Serie: Lecture Notes in Mathematics ; 386 Rodzaj materiału: Tekst; Format: druk 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 160310.
		Nombres Transcendants / Michel Waldschmidt. autor Waldschmidt, Michel, (1946- ) Serie: Lecture Notes in Mathematics ; 402 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin [etc.] : Springer-Verlag, 1974 Zasoby online: Licencja krajowa Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 160305.

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

Miejsca

Serie

Tematy

Kolekcje

Biblioteki

Biblioteki macierzyste

Język

Wyniki wyszukiwania: 5915.