SOWA OPAC : Biblioteka - Katalog książek

2608 wyników

Brak okładki

Książka

W koszyku

oceń

Postępowanie administracyjne i sądowoadministracyjne / Barbara Adamiak, Janusz Borkowski. - Wyd. 7 Stan prawny na 30.06.2009 r. - Warszawa : LexisNexis Polska Sp. z o.o., 2009. - 597 s. ; 24 cm.

Autor

Adamiak Barbara (1949- ) Borkowski Janusz (1934-2012)

Forma i typ

Książki Publikacje dydaktyczne

Temat

Postępowanie administracyjne Sądownictwo administracyjne Postępowanie sądowoadministracyjne Polska

Gatunek

Podręcznik

Dziedzina i ujęcie

Polityka, politologia, administracja publiczna Prawo i wymiar sprawiedliwości

Cz. I Zagadnienia ogólne: Funkcje prawa o postępowaniu administracyjnym i prawa o postępowaniu sądowoadministracyjnym; Zasady podstawowe postępowania administracyjnego oraz postępowania sądowoadministracyjnego; Kodyfikacja polskiego prawa o postępowaniu administracyjnym na tle prawnoporównawczym; Sądownictwo administracyjne oraz postępowanie sądowoadministracyjne w Polsce na tle prawnoporównawczym; Źródła prawa o postępowaniu administracyjnym i prawa o postępowaniu sądowo administracyjnym; Pojęcie postępowania administracyjnego i sądowoadministracyjnego, rodzaje, tryby, ich stadia i instytucje. Cz. II Instytucje procesowe postępowania administracyjnego: Organ prowadzący postępowanie administracyjne; Strona postępowania administracyjnego; Podmioty na prawach strony; Uczestnicy postępowania administracyjnego; Przedmiot postępowania administracyjnego ogólne oraz szczególnego. Cz. III Czynności procesowe trybu zwykłego postępowania administracyjnego: Czynności postępowania administracyjnego; Dowody i postępowanie wyjaśniające; Orzekanie w sprawie indywidualnej w postępowaniu administracyjnym; Weryfikacja decyzji i postanowień w toku instancji administracyjnych. Cz. IV Czynności procesowe trybu nadzwyczajnego postępowania administracyjnego: Zagadnienie wadliwości decyzji administracyjnej; Weryfikacja decyzji i postanowień w trybach nadzwyczajnych; Kontrola organu administracji publicznej wykonania przez stronę decyzji administracyjnej. Cz. V Kontrola sądowa działalności administracji publicznej: Sąd powszechny w kontroli aktów indywidualnych administracji publicznej. Cz. VI Postępowanie sądowoadministracyjne: Prawo do sądu administracyjnego. Przedmiot postępowania sądowoadministracyjnego. Rodzaje skarg do sądu administracyjnego Podmioty postępowania sądowoadministracyjnego; Czynności procesowe w postępowaniu sądowoadministracyjnym; Koszty postępowania; Postępowanie przed wojewódzkim sądem administracyjnym; Środki odwoławcze od orzeczeń wojewódzkich sądów administracyjnych; Obalanie prawomocnych orzeczeń; Gwarancje skuteczności orzeczeń sądów administracyjnych. Roszczenie odszkodowawcze; Postępowanie odrębne i postępowanie pomocnicze. Cz. VII Administracyjne postępowanie egzekucyjne: Zagadnienia ogólne egzekucji administracyjnej i administracyjnego postępowania egzekucyjnego; Zakres obowiązywania ustawy o postępowaniu egzekucyjnym w administracji oraz podstawy egzekucji administracyjnej; Podmioty i uczestnicy postępowania egzekucyjnego; Środki egzekucyjne; Tok postępowania egzekucyjnego; Środki zaskarżenia i środki nadzoru w postępowaniu egzekucyjnym; Postępowanie zabezpieczające. Cz. VIII Uproszczone postępowanie o charakterze administracyjnym: Postępowanie w sprawie wydawania zaświadczeń; Postępowanie w sprawach skarg i wniosków.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 351.077.3 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Postępowanie administracyjne i sądowoadministracyjne / Barbara Adamiak, Janusz Borkowski. - Wyd. 8. - Warszawa : LexisNexis Polska Sp. z o.o., 2010. - 628 s. ; 24 cm.

Autor

Adamiak Barbara (1949- ) Borkowski Janusz (1934-2012)

Forma i typ

Książki Publikacje naukowe

Temat

Postępowanie administracyjne Sądownictwo administracyjne Postępowanie sądowoadministracyjne Polska

Gatunek

Podręcznik

Dziedzina i ujęcie

Polityka, politologia, administracja publiczna Prawo i wymiar sprawiedliwości

Cz. I Zagadnienia ogólne: Funkcje prawa o postępowaniu administracyjnym i prawa o postępowaniu sądowoadministracyjnym; Zasady podstawowe postępowania administracyjnego oraz postępowania sądowoadministracyjnego; Kodyfikacja polskiego prawa o postępowaniu administracyjnym na tle prawnoporównawczym; Sądownictwo administracyjne oraz postępowanie sądowoadministracyjne w Polsce na tle prawnoporównawczym; Źródła prawa o postępowaniu administracyjnym i prawa o postępowaniu sądowo administracyjnym; Pojęcie postępowania administracyjnego i sądowoadministracyjnego, rodzaje, tryby, ich stadia i instytucje. Cz. II Instytucje procesowe postępowania administracyjnego: Organ prowadzący postępowanie administracyjne; Strona postępowania administracyjnego; Podmioty na prawach strony; Uczestnicy postępowania administracyjnego; Przedmiot postępowania administracyjnego ogólne oraz szczególnego. Cz. III Czynności procesowe trybu zwykłego postępowania administracyjnego: Czynności procesowe postępowania administracyjnego; Dowody i postępowanie wyjaśniające; Orzekanie w sprawie indywidualnej w postępowaniu administracyjnym; Weryfikacja decyzji i postanowień w toku instancji administracyjnych. Cz. IV Czynności procesowe trybu nadzwyczajnego postępowania administracyjnego: Zagadnienie wadliwości decyzji administracyjnej; Weryfikacja decyzji i postanowień w trybach nadzwyczajnych; Kontrola organu administracji publicznej wykonania przez stronę decyzji administracyjnej. Cz. V Kontrola sądowa działalności administracji publicznej: Sąd powszechny w kontroli aktów indywidualnych administracji publicznej. Cz. VI Postępowanie sądowoadministracyjne: Prawo do sądu administracyjnego. Przedmiot postępowania sądowoadministracyjnego. Rodzaje skarg do sądu administracyjnego Podmioty postępowania sądowoadministracyjnego; Czynności procesowe w postępowaniu sądowoadministracyjnym; Koszty postępowania; Postępowanie przed wojewódzkim sądem administracyjnym; Środki odwoławcze od orzeczeń wojewódzkich sądów administracyjnych; Obalanie prawomocnych orzeczeń; Skarga o stwierdzenie niezgodności z prawem prawomocnego orzeczenia; Gwarancje skuteczności orzeczeń sądów administracyjnych. Roszczenie odszkodowawcze; Postępowanie odrębne i postępowanie pomocnicze. Cz. VII Administracyjne postępowanie egzekucyjne: Zagadnienia ogólne egzekucji administracyjnej i administracyjnego postępowania egzekucyjnego; Zakres obowiązywania ustawy o postępowaniu egzekucyjnym w administracji oraz podstawy egzekucji administracyjnej; Podmioty i uczestnicy postępowania egzekucyjnego; Środki egzekucyjne; Tok postępowania egzekucyjnego; Środki zaskarżenia i środki nadzoru w postępowaniu egzekucyjnym; Postępowanie zabezpieczające. Cz. VIII Uproszczone postępowanie o charakterze administracyjnym: Postępowanie w sprawie wydawania zaświadczeń; Postępowanie w sprawach skarg i wniosków.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 351.077.3 (1 egz.)

Książka

W koszyku

oceń

Postępowanie administracyjne i sądowoadministracyjne / Barbara Adamiak, Jan Borkowski. - Wyd. 11. - Warszawa : LexisNexis Polska Sp. z o.o., 2013. - 632 s. ; 24 cm.

Autor

Adamiak Barbara (1949- ) Borkowski Janusz (1934-2012)

Forma i typ

Książki Publikacje dydaktyczne

Temat

Postępowanie administracyjne Sądownictwo administracyjne Postępowanie sądowoadministracyjne Polska

Gatunek

Podręcznik

Dziedzina i ujęcie

Polityka, politologia, administracja publiczna Prawo i wymiar sprawiedliwości

Cz. I Zagadnienia ogólne: Funkcje prawa o postępowaniu administracyjnym i prawa o postępowaniu sądowoadministracyjnym; Zasady podstawowe postępowania administracyjnego oraz postępowania sądowoadministracyjnego; Kodyfikacja polskiego prawa o postępowaniu administracyjnym na tle prawnoporównawczym; Sądownictwo administracyjne oraz postępowanie sądowoadministracyjne w Polsce na tle prawnoporównawczym; Źródła prawa o postępowaniu administracyjnym i prawa o postępowaniu sądowo administracyjnym; Pojęcie postępowania administracyjnego i sądowoadministracyjnego, rodzaje, tryby, ich stadia i instytucje. Cz. II Instytucje procesowe postępowania administracyjnego: Organ prowadzący postępowanie administracyjne; Strona postępowania administracyjnego; Podmioty na prawach strony; Uczestnicy postępowania administracyjnego; Przedmiot postępowania administracyjnego ogólne oraz szczególnego. Cz. III Czynności procesowe trybu zwykłego postępowania administracyjnego: Czynności procesowe postępowania administracyjnego; Dowody i postępowanie wyjaśniające; Orzekanie w sprawie indywidualnej w postępowaniu administracyjnym; Weryfikacja decyzji i postanowień w toku instancji administracyjnych. Cz. IV Czynności procesowe trybu nadzwyczajnego postępowania administracyjnego: Zagadnienie wadliwości decyzji administracyjnej; Weryfikacja decyzji i postanowień w trybach nadzwyczajnych; Kontrola organu administracji publicznej wykonania przez stronę decyzji administracyjnej. Cz. V Kontrola sądowa działalności administracji publicznej: Sąd powszechny w kontroli aktów indywidualnych administracji publicznej. Cz. VI Postępowanie sądowoadministracyjne: Prawo do sądu administracyjnego. Przedmiot postępowania sądowoadministracyjnego. Rodzaje skarg do sądu administracyjnego Podmioty postępowania sądowoadministracyjnego; Czynności procesowe w postępowaniu sądowoadministracyjnym; Koszty postępowania; Postępowanie przed wojewódzkim sądem administracyjnym; Środki odwoławcze od orzeczeń wojewódzkich sądów administracyjnych; Obalanie prawomocnych orzeczeń; Skarga o stwierdzenie niezgodności z prawem prawomocnego orzeczenia; Gwarancje skuteczności orzeczeń sądów administracyjnych. Roszczenie odszkodowawcze; Postępowanie odrębne i postępowanie pomocnicze. Cz. VII Administracyjne postępowanie egzekucyjne: Zagadnienia ogólne egzekucji administracyjnej i administracyjnego postępowania egzekucyjnego; Zakres obowiązywania ustawy o postępowaniu egzekucyjnym w administracji oraz podstawy egzekucji administracyjnej; Podmioty i uczestnicy postępowania egzekucyjnego; Środki egzekucyjne; Tok postępowania egzekucyjnego; Środki zaskarżenia i środki nadzoru w postępowaniu egzekucyjnym; Postępowanie zabezpieczające. Cz. VIII Uproszczone postępowanie o charakterze administracyjnym: Postępowanie w sprawie wydawania zaświadczeń; Postępowanie w sprawach skarg i wniosków.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 351.077.3 (1 egz.)

Książka

W koszyku

oceń

Wybrane zagraniczne systemy medialne / red. nauk. Janusz W. Adamowski. - Warszawa : Wydawnictwa Akademickie i Profesjonalne Spółka z o.o. Grupa Kapitałowa WSiP S.A., 2008. - 308 s. : wykr. ; 24 cm.

(Edukacja medialna)

Autor

Adamowski Janusz (1952- )

Forma i typ

Książki

Temat

Środki masowego przekazu Stany Zjednoczone (USA) Wielka Brytania Niemcy Francja Hiszpania Rosja Japonia

Gatunek

Podręcznik

Dziedzina i ujęcie

Media i komunikacja społeczna

1. System medialny Stanów Zjednoczonych, 2. System medialny Wielkiej Brytanii, 3. System medialny Niemiec, 4. System medialny Francji, 5. System medialny Hiszpanii, 6. System medialny Federacji Rosyjskiej, 7. System medialny Japonii

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 316.77 (1 egz.)

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 316.77 (1 egz.)

Książka

W koszyku

oceń

Rodzina. Wymiar społeczno-kulturowy / Franciszek Adamski. - Kraków : Uniwersytet Jagielloński, 2002. - 227 s. : tab. ; 24 cm.

Autor

Adamski Franciszek (1930- )

Forma i typ

Książki Publikacje naukowe

Temat

Rodzina Małżeństwo Socjologia rodziny

Gatunek

Podręcznik

Dziedzina i ujęcie

Socjologia i społeczeństwo

I. Małżeństwo i rodzina: wymiar indywidualny i społeczny: 1. Małżeństwo - u podstaw rodziny, 2. Rodzina - wymiar instytucjonalny i grupowy, 3. Teoretyczne interpretacje fenomenu małżeństwa i rodziny. II. Małżeństwo i rodzina w różnych kulturach: 4. Formy życia małżeńsko-rodzinnego w kulturach przed- i poza-chrześcijańskich, 5. Małżeństwo i rodzina w kulturze chrześcijańskiej, 6. Sekularyzacja małżeństwa i rodziny jako instytucji religijnej. III. Rodzina w procesie przemian: 7. Przemiany rodziny w społeczeństwie industrialnym i ich teoretyczne interpretacje, 8. Małżeństwo i rodzina w Polsce - sytuacja i kierunek przeobrażeń, 9. Socjologiczne badania nad rodzina. Ogólna chrakterystyka

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 316 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Zarys prawa samorządu terytorialnego / Antoni Agopszowicz. - Katowice : Uniwersytet Śląski , 1991. - 113, [3] s. ; 24 cm.

(Skrypty Uniwersytetu Śląskiego, ISSN 0239-6432 ; nr 471)

Autor

Agopszowicz Antoni (1919-2006)

Forma i typ

Książki

Temat

Samorząd terytorialny Prawo samorządu terytorialnego Polska

Gatunek

Podręcznik

Dziedzina i ujęcie

Polityka, politologia, administracja publiczna Prawo i wymiar sprawiedliwości

Rozdział 1. Część ogólna; Rozdział 2. Struktura samorządu terytorialnego; Rozdział 3. Zadania samorządu terytorialnego; Rozdział 4. Mienie komunalne; Rozdział 5. Finanse gmin; Rozdział 6. Samorządowy stosunek pracy; Rozdział 7. Nadzór nad działalnością samorządu terytorialnego.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 351/354 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Prawo europejskie / Michael Ahlt, Maciej Szpunar. - Wyd. 3. - Warszawa : C.H.Beck, 2002. - XVIII, 233 s. ; 21 cm.

(Podręczniki Prawnicze)

Autor

Ahlt Michael Szpunar Maciej (1971- )

Forma i typ

Książki

Temat

Prawo Unii Europejskiej

Gatunek

Podręcznik

Dziedzina i ujęcie

Prawo i wymiar sprawiedliwości

Instytucje Wspólnoty Europejskiej, Źródła prawa wspólnotowego, Bezpośrednia skuteczność prawa wspólnotowego i jego stosunek do prawa krajowego, Prawa zasadnicze w prawie wspólnotowym, Interpretacja prawa wspólnotowego, Stanowienie prawa, Wykonywanie prawa wspólnotowego, System ochrony prawa, Podstawowe swobody, Zbliżanie prawa, Artykuł 308 TWE, Polityka gospodarcza, walutowa i handlowa.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 341 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Prawo europejskie / Michael Ahlt, Maciej Szpunar. - Wyd. 4. - Warszawa : C.H.Beck, 2005. - XVI, 287, [7] s. ; 21 cm.

(Podręczniki Prawnicze)

Autor

Ahlt Michael Szpunar Maciej (1971- )

Forma i typ

Książki

Temat

Prawo Unii Europejskiej

Gatunek

Podręcznik

Dziedzina i ujęcie

Prawo i wymiar sprawiedliwości

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 341 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Prawo europejskie / Michael Ahlt, Maciej Szpunar. - Wyd. 5 / aktualizacja Marcin Nowacki. - Warszawa : C.H.Beck, 2011. - XVI, [2], 307 s. : tab., rys. ; 21 cm.

(Podręczniki Prawnicze)

Autor

Ahlt Michael Szpunar Maciej (1971- ) Nowacki Marcin

Forma i typ

Książki

Temat

Prawo Unii Europejskiej

Gatunek

Podręcznik

Dziedzina i ujęcie

Prawo i wymiar sprawiedliwości

Rozdział I.: Wprowadzenie , Rozdział II.: Instytucje i organy Unii Europejskiej , Rozdział III.: Źródła prawa Unii Europejskie , Rozdział IV.: Bezpośrednia skuteczność prawa UE i jego stosunek do prawa krajowego , Rozdział V.: Prawa podstawowe w prawie UE , Rozdział VI.: Interpretacja prawa UE , Rozdział VII.: Stanowienie prawa , Rozdział VIII.: Wykonywanie prawa UE , Rozdział IX.: System ochrony prawa , Rozdział X.: Podstawowe swobody , Rozdział XI.: Zbliżanie prawa , Rozdział XII.: Artykuł 352 TFUE , Rozdział XIII.: Polityka gospodarcza, pieniężna i handlowa.

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 341 (2 egz.)

Brak okładki

Książka

W koszyku

oceń

Kompilatory : reguły, metody, narzędzia / Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman ; [przekład Marek Włodarz]. - Wyd. 2. - Warszawa : PWN Wydaw. Nauk., 2019. - XXIII, [1], 1039, [1] s. : il. ; 25 cm.

Autor

Aho Alfred V. Lam Monica S. Sethi Ravi Ullman Jeffrey D. (1942- ) Włodarz Marek

Forma i typ

Książki Publikacje fachowe

Temat

Kompilatory (programy komputerowe)

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne

Zawiera: Przedmowa; 1. Wprowadzenie: 1.1. Translatory; 1.2. Struktura kompilatora; 1.3. Ewolucja języków programowania; 1.4. Teoria konstruowania kompilatorów; 1.5. Zastosowanie technologii kompilatorów; 1.6. Podstawy języków programowania; 2. Prosty translator sterowany składnią: 2.2. Definiowanie składni; 2.3. Translacja sterowania składnią; 2.4.Analiza składniowa; 2.5. Translator dla prostych wyrażeń; 2.6.Analiza leksykalna; 2.7. Tablice symboli; 2.8. Generowanie kodu pośredniego; 3. Analiza leksykalna: 3.1. Rola analizatora leksykalnego; 3.2. Buforowanie wejścia; 3.3. Specyfikacje tokenów; 3.4. Rozpoznawanie tokenów; 3.5. Lex – generator analizatorów leksykalnych; 3.6. Automaty skończone; 3.7. Od wyrażeń regularnych do automatów; 3.8. Projektowanie generatora analizatorów leksykalnych; 3.9. Optymalizacja mechanizmów rozpoznających wzorce oparte na DAS; 4. Analiza składniowa: 4.2. Gramatyki bezkontekstowe; 4.3. Tworzenie gramatyki; 4.4. Analiza zstępująca; 4.5. Analiza wstępująca; 4.6. Wprowadzenie do analizy LR: proste LR (SLR) 4.7. Bardziej skuteczne parsery LR; 4.8. Gramatyki niejednoznaczne; 4.9. Generatory parserów; 5.Translacja sterowana składnią: 5.1.Definicje sterowane składnią; 5.2. Kolejność przetwarzania w SDD; 5.3. Zastosowania translacji sterowanej składnią; 5.4. Sterowane składnią schematy translacji; 5.5. Implementacja L-atrybutowanych SDD; 6. Generowanie kodu pośredniego: 6.1. Odmiany drzew składniowych; 6.2. Kod trójadresowy; 6.3. Typy i deklaracje; 6.4. Translacja wyrażeń; 6.5. Kontrola typów; 6.6. Przepływ sterowania; 6.7. Backpatching; 6.8. Instrukcje wyboru; 6.9. Kod pośredni dla procedur; 7. Środowiska wykonania: 7.1. Organizacja pamięci; 7.2. Stosowa rezerwacja pamięci; 7.3. Dostęp do nielokalnych danych na stosie; 7.4. Zarządzanie stertą; 7.5. Wprowadzenie do odśmiecania pamięci; 7.6. Wprowadzenie do odśmiecania bazującego na śledzeniu; 7.7. Odśmiecanie z krótkimi pauzami; 7.8. Zaawansowane zagadnienia związane ze sprzątaniem pamięci; 8. Generowanie kodu: 8.1. Zagadnienia projektowania generatora kodu; 8.2. Język docelowy; 8.3. Adresy w kodzie wynikowym; 8.4. Bloki podstawowe i grafy przepływu; 8.5. Optymalizowanie bloków podstawowych; 8.6. Prosty generator kodu; 8.7. Optymalizacja przez szparkę; 8.8. Przydzielanie i przypisywanie rejestrów; 8.9. Dobór rozkazów przez przekształcanie drzewa; 8.10. Generowanie optymalnego kodu dla wyrażeń; 8.11. Generowanie kodu przy użyciu programowania dynamicznego; 9. Optymalizacje niezależne od typu procesora: 9.1. Główne źródła optymalizacji; 9.2. Wprowadzenie do analizy przepływu danych; 9.3. Podstawy analizy przepływu danych; 9.4. Propagacja stałych; 9.5. Eliminowanie częściowej nadmiarowości; 9.6. Pętle w grafach przepływu; 9.7. Analiza oparta na regionach; 9.8. Analiza symboliczna; 10. Równoległość na poziomie instrukcji: 10.1. Architektury procesorów; 10.2. Ograniczenia szeregowania wykonania kodu; 10.3. Szeregowanie wykonania dla bloków podstawowych; 10.4. Globalne szeregowanie kodu; 10.5. Potokowanie programowe; 11. Optymalizacja pod kątem równoległości i lokalności: 11.1. Pojęcia podstawowe; 11.2. Mnożenie macierzy: pogłębiony przykład; 11.3. Przestrzenie iteracji; 11.4. Afiniczne indeksy tablic; 11.5. Ponowne użycie danych; 11.6. Analiza zależności danych między dostępami do tablic; 11.7. Wyszukiwanie równoległości niewymagającej synchronizacji; 11.8. Synchronizacja między pętlami równoległymi; 11.9. Potokowanie; 11.10. Optymalizowanie lokalności; 11.11. Inne zastosowania transformacji afinicznych; 12. Analiza międzyproceduralna: 12.2. Dlaczego potrzebna jest analiza międzyproceduralna? 12.3. Logiczna reprezentacja przepływu danych; 12.4. Prosty algorytm analizy wskaźników; 12.5. Analiza międzyproceduralna niewrażliwa na kontekst; 12.6. Analiza wskaźników z uwzględnieniem kontekstu; 12.7. Implementacja Datalogu przez BDD; A. Pełny front-end kompilatora: A.1. Język źródłowy; A.2. Main; A.3. Analizator leksykalny; A.4. Tabele symboli oraz typy; A.5. Kod pośredni dla wyrażeń; A.6. Kod skaczący dla wyrażeń logicznych; A.7. Kod pośredni dla instrukcji; A.8. Parser; A.9. Budowanie front-endu kompilatora. B. Znajdowanie rozwiązań liniowo niezależnych. Indeks.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 004 (2 egz.)

Brak okładki

Książka

W koszyku

oceń

Wykłady z informatyki : z przykładami w języku C / Alfred V. Aho, Jeffrey D. Ullman ; tłum. Mikołaj Szczepaniak, Bartłomiej Garbacz. - Gliwice : Helion, 2005. - 846 s. ; 25 cm.

Autor

Aho Alfred V. Ullman Jeffrey D. (1942- ) Szczepaniak Mikołaj Garbacz Bartłomiej

Forma i typ

Książki

Temat

Informatyka C (język programowania) Języki programowania Programowanie (informatyka)

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne

1. Informatyka: mechanizacja abstrakcji, 2. Iteracja, indukcja i rekurencja, 3. Czas działania programów, 4. Kombinatoryka i prawdopodobieństwo, 5. Model danych oparty na drzewach, 6.Model danych oparty na listach, 7.Model danych oparty na zbiorach, 8.Relacyjny model danych, 9. Grafowy model danych, 10.Wzorzec, automaty i wyrażenia regularne, 11. Rekurencyjny opis wzorców, 12.Logika zdań, 13.Wykorzystanie logiki do projektowania komponentów komputerów, 14.Logika predykatów

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 004 (1 egz.)

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 004 (1 egz.)

Książka

W koszyku

oceń

C# 9.0 w pigułce / Joseph Albahari ; przekład: Łukasz Piwko, Robert Górczyński, Jakub Hubisz. - Gliwice : Helion S.A., cop. 2022. - 996, [4] s. : il. ; 25 cm.

Autor

AlbahariJoseph Piwko Łukasz Górczyński Robert Hubisz Jakub

Forma i typ

Książki Publikacje fachowe

Temat

C# (język programowania) Programowanie (informatyka)

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne

Zawiera: Wstęp; 1. Wprowadzenie do C# i .NET: Obiektowość; Bezpieczeństwo typów; Zarządzanie pamięcią; Platformy; Historia C# w pigułce; 2. Podstawy języka C#: Pierwszy program w języku C#; Składnia; Podstawy typów; Typy liczbowe; Typ logiczny i operatory; Łańcuchy znaków i pojedyncze znaki; Tablice; Zmienne i parametry; Wyrażenia i operatory; Operatory null; Instrukcje; Przestrzenie nazw; 3. Tworzenie typów w języku C#: Klasy; Dziedziczenie; Typ object; Struktury; Modyfikatory dostępu; Interfejsy; Wyliczenia; Typy zagnieżdżone; Typy generyczne; 4. Zaawansowane elementy języka C#: Delegaty; Zdarzenia; Wyrażenia lambda; Metody anonimowe; Instrukcje try i wyjątki; Wyliczenia i iteratory; Typy wartościowe dopuszczające wartość null; Typy referencyjne dopuszczające wartość null; Metody rozszerzające; Typy anonimowe; Krotki; Rekordy (C# 9); Wzorce; Atrybuty; Atrybuty informacji wywołującego; Wiązanie dynamiczne; Przeciążanie operatorów; Niebezpieczny kod i wskaźniki; Dyrektywy preprocesora; Dokumentacja XML; 5. Ogólny zarys platformy: .NET Standard; Wersje środowiska i C#; Zestawy referencyjne 258 CLR i BCL; Warstwy aplikacji; 6. Podstawowe wiadomości o platformie .NET: Obsługa łańcuchów i tekstu; Data i godzina; Daty i strefy czasowe; Formatowanie i parsowanie obiektów DateTime; Standardowe łańcuchy formatu i flagi parsowania; Inne mechanizmy konwersji; Globalizacja; Praca z liczbami; Wyliczenia; Struktura Guid; Porównywanie; Określanie kolejności; Klasy pomocnicze; 7. Kolekcje: Przeliczalność; Interfejsy ICollection i IList; Klasa Array; Listy, kolejki, stosy i zbiory; Słowniki; Kolekcje i pośredniki z możliwością dostosowywania; Niezmienne kolekcje; Dołączanie protokołów równości i porządkowania; 8. Zapytania LINQ: Podstawy; Składnia płynna; Wyrażenia zapytań; Wykonywanie opóźnione; Podzapytania; Tworzenie zapytań złożonych; Strategie projekcji; Zapytania interpretowane; EF Core; Budowanie wyrażeń zapytań; 9. Operatory LINQ: Informacje ogólne; Filtrowanie; Projekcja; Łączenie; Porządkowanie; Grupowanie; Operatory zbiorów; Metody konwersji; Operatory elementów; Metody agregacyjne; Kwantyfikatory; Metody generujące; 10. LINQ to XML: Przegląd architektury; Informacje ogólne o X-DOM; Tworzenie drzewa X-DOM; Nawigowanie i wysyłanie zapytań; Modyfikowanie drzewa X-DOM; Praca z wartościami; Dokumenty i deklaracje; Nazwy i przestrzenie nazw; Adnotacje; Projekcja do X-DOM; 11. Inne technologie XML i JSON: Klasa XmlReader; Klasa XmlWriter; Typowe zastosowania klas XmlReader i XmlWriter; Praca z formatem JSON; 12. Zwalnianie zasobów i mechanizm usuwania nieużytków: IDisposable, Dispose i Close; Automatyczne usuwanie nieużytków; Finalizatory; Jak działa mechanizm usuwania nieużytków?; Wycieki pamięci zarządzanej; Słabe odwołania; 13. Diagnostyka: Kompilacja warunkowa; Debugowanie i klasy monitorowania; Integracja z debuggerem; Procesy i wątki procesów; Klasy StackTrace i StackFrame; Dziennik zdarzeń Windows; Liczniki wydajności; Klasa Stopwatch; Międzyplatformowe narzędzia diagnostyczne; 14. Współbieżność i asynchroniczność: Wprowadzenie; Wątki; Zadania; Reguły asynchroniczności; Funkcje asynchroniczne w języku C#; Wzorce asynchroniczności; Przestarzałe wzorce; 15. Strumienie i wejście-wyjście: Architektura strumienia; Użycie strumieni; Adapter strumienia; Kompresja strumienia; Praca z plikami w postaci archiwum ZIP; Operacje na plikach i katalogach; Plikowe operacje wejścia-wyjścia w UWP; Bezpieczeństwo systemu operacyjnego; Mapowanie plików w pamięci; 16. Sieć: Architektura sieci; Adresy i porty; Adresy URI; Klasy po stronie klienta; Praca z HTTP; Tworzenie serwera HTTP; Użycie FTP; Użycie DNS; Wysyłanie poczty elektronicznej za pomocą SmtpClient; Użycie TCP; Otrzymywanie poczty elektronicznej POP3 za pomocą TCP; TCP w UWP; 17. Zestawy: Co znajduje się w zestawie?; Silne nazwy i podpisywanie zestawu; Nazwy zestawów; Technologia Authenticode; Zasoby i zestawy satelickie; Ładowanie, znajdowanie i izolowanie zestawów; 18. Refleksja i metadane: Refleksja i aktywacja typów; Refleksja i wywoływanie składowych; Refleksja dla zestawów; Praca z atrybutami; Generowanie dynamicznego kodu; Emitowanie zestawów i typów; Emitowanie składowych typów; Emitowanie generycznych typów i klas; Kłopotliwe cele emisji; Parsowanie IL; 19. Programowanie dynamiczne: Dynamiczny system wykonawczy języka; Unifikacja typów liczbowych; Dynamiczne wybieranie przeciążonych składowych; Implementowanie obiektów dynamicznych; Współpraca z językami dynamicznymi; 20. Kryptografia: Informacje ogólne; Windows Data Protection; Obliczanie skrótów; Szyfrowanie symetryczne; Szyfrowanie kluczem publicznym i podpisywanie; 21. Zaawansowane techniki wielowątkowości: Przegląd technik synchronizacji; Blokowanie wykluczające; Blokady i bezpieczeństwo ze względu na wątki; Blokowanie bez wykluczania; Sygnalizacja przy użyciu uchwytów zdarzeń oczekiwania; Klasa Barrier; Leniwa inicjalizacja; Pamięć lokalna wątku; Zegary; 22. Programowanie równoległe: Dlaczego PFX?; PLINQ; Klasa Parallel; Równoległe wykonywanie zadań; Klasa AggregateException; Kolekcje współbieżne; Klasa BlockingCollection; 23. Struktury Spani Memory: Struktura Span i plasterkowanie; Struktura Memory; Enumeratory działające tylko do przodu; Praca z pamięcią alokowaną na stosie i niezarządzaną; 24. Współdziałanie macierzyste i poprzez COM: Odwołania do natywnych bibliotek DLL; Szeregowanie typów i parametrów; Wywołania zwrotne z kodu niezarządzanego; Symulowanie unii C; Pamięć współdzielona; Mapowanie struktury na pamięć niezarządzaną; Współpraca COM; Wywołanie komponentu COM z C#; Osadzanie typów współpracujących; Udostępnianie obiektów C# COM; 25. Wyrażenia regularne: Podstawy wyrażeń regularnych; Kwantyfikatory; Asercje o zerowej wielkości; Grupy; Zastępowanie i dzielenie tekstu; Receptury wyrażeń regularnych; Leksykon języka wyrażeń regularnych; Skorowidz.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 004 (2 egz.)

Brak okładki

Książka

W koszyku

oceń

First things first : student's book : an integrated course for beginners / L. G. Alexander ; il. Tom Bailey, Ted Pettengell. - Wyd. 38. - Warszawa : Polish Scientific Publishers PWN, 1994. - 146 s. ; 24 cm.

Autor

Alexander L. G. (1932- ) Bailey Tom Pettengell Ted

Forma i typ

Książki Publikacje dydaktyczne

Temat

Język angielski Nauczanie języków obcych

Gatunek

Podręcznik

Dziedzina i ujęcie

Językoznawstwo Edukacja i pedagogika

Lessons , Test , Lessons

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 811.111 (1 egz.)

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 811.111 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Fluency in English : an integrated course for advanced students / L. G. Alexander. - Wyd. 28. - Warszawa : PWN Wydaw. Nauk., 1993. - 198 s. : fot. ; 24 cm.

Autor

Alexander L. G. (1932- )

Forma i typ

Książki Publikacje dydaktyczne

Temat

Język angielski Nauczanie języków obcych

Gatunek

Podręcznik

Dziedzina i ujęcie

Językoznawstwo Edukacja i pedagogika

To the teacher ; About this course ; How to use this course ; Part 1: Unit one ; Unit two ; Unit three . Part 2 : Unit four ; Unit five ; Unit six

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 811.111 (1 egz.)

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 811.111 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

A history of English literature / Michael Alexander. - 2nd ed. - Hampshire : Palgrave Macmillian , 2007. - 418, [4] s. : rys.; 25 cm.

(Palgrave Foundations)

Autor

Alexander Michael

Forma i typ

Książki Publikacje naukowe

Temat

Literatura staroangielska Historia literatury Krytyka literacka Kultura umysłowa Literatura angielska Wielka Brytania

Gatunek

Podręcznik

Dziedzina i ujęcie

Literaturoznawstwo

1. Medieval: Old English Literature: to 1100; Middle English Literature 1066-1500; 2. Tudor and Stuart: Tudor Literature: 1500-1603; Shakespeare and the Drama; Stuart Literature: to 1700; 3. Augustan and Romantic: Augustan Literature: to 1790; The Romantics: 1790-1837; 4. Victorian Literature to 1880: The Age its Sages; Poetry; Fiction; The Victorian Literature: 1880-1900; 5. The Twentieth Century: Ends and Beginnings: 191-19; From Post-War to Post-War: 1920-55; New Beginnings: 1955-80.

dostępna w czytelni

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 811 (1 egz.)

Książka

W koszyku

oceń

Kształtowanie rynkowego wizerunku firmy / Jerzy Altkorn. - Kraków : Akademia Ekonomiczna w Krakowie, 2002. - 59 s. : 6 rys. ; 24 cm.

Autor

Altkorn Jerzy (1931-2004)

Forma i typ

Książki Publikacje naukowe

Temat

Przedsiębiorstwo Firma (nazwa) Marketing Public relations Wizerunek przedsiębiorstwa

Gatunek

Podręcznik

Dziedzina i ujęcie

Zarządzanie i marketing Gospodarka, ekonomia, finanse

R.1 Tożsamość i wizerunek- koncepcja i znaczenie: Pojęcie tożsamości i wizerunek; Różnice między tożsamością a wizerunek firmy; Wizerunek firmy a autowizerunek konsumenta; Znaczenie dobrego wizerunku firmy. R.2 Adresaci wizerunku firmy: Wewnętrzni adresaci wizerunku; Zewnętrzni adresaci wizerunku. R.3 Wyróżniki tożsamości przedsiębiortswa: Znaczenie wyróżników tożsamości; Ogólne kryteria wyboru wyróżników; Trwałość i zmienność wyróżnkiów; Przykładowe rozwiązania. R.4 Tożsamość i wizerunek firmy a startegie marketingowe. R.5 Zarządzanie wizerunkiem firmy w czasie: Etapy rozwoju wizerunku; Etapy zmian i dylematy z tym związane. R.6 Badanie wizerunku firmy: Ogólne zasady i cele badań; Wybór kryteriów pomiaru; Dynamika pozycji i konkurencji a częstotliwość pomiaru wizerunku; Źródła pozyskiwania informacji o kryteriach pomiaru wizerunku firmy; Obiekty odniesienia; Metody i techniki badań wizerunku.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 339.138 (4 egz.)

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 339.138 (1 egz.)

Książka

W koszyku

oceń

Marketing w turystyce / Jerzy Altkorn. - Warszawa : PWN Wydaw. Nauk., 2002.

Autor

Altkorn Jerzy (1931-2004)

Forma i typ

Książki Publikacje fachowe

Temat

Turystyka Marketing Produkt turystyczny Usługi turystyczne Przedsiębiorstwo turystyczne Badania marketingowe

Gatunek

Podręcznik

Dziedzina i ujęcie

Zarządzanie i marketing Gospodarka, ekonomia, finanse Podróże i turystyka

Wstęp; Istota i rola marketingu w turystyce; Rynek turystyczny; Zarządzanie marketingowe; Segmentacja rynku turystycznego i wybór rynków docelowych; Produkt turystyczny; Polityka cen; Kanały dystrybucji produktu turystycznego; Promocja sprzedaży; Badania marketingowe.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 379.85 (2 egz.)

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 379.85 (1 egz.)

Książka

W koszyku

oceń

Marketing w turystyce / Jerzy Altkorn. - Warszawa : PWN Wydaw. Nauk., 2004.

Autor

Altkorn Jerzy (1931-2004)

Forma i typ

Książki Publikacje fachowe

Temat

Turystyka Usługi turystyczne Produkt turystyczny Przedsiębiorstwo turystyczne Marketing

Gatunek

Podręcznik

Dziedzina i ujęcie

Zarządzanie i marketing Podróże i turystyka

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 379.85 (1 egz.)

Książka

W koszyku

oceń

Marketing w turystyce / Jerzy Altkorn. - Warszawa : Państwowe Wydawnictwo Ekonomiczne, 1998. - 202, [1] s. : rys., tab., wykr. ; 21 cm.

Autor

Altkorn Jerzy (1931-2004)

Forma i typ

Książki Publikacje fachowe

Temat

Turystyka Produkt turystyczny Usługi turystyczne Przedsiębiorstwo turystyczne Marketing Badania marketingowe

Gatunek

Podręcznik

Dziedzina i ujęcie

Zarządzanie i marketing Podróże i turystyka Gospodarka, ekonomia, finanse

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 379.85 (1 egz.)

Książka

W koszyku

oceń

Marketing w turystyce / Jerzy Altkorn. - Warszawa : PWN Wydaw. Nauk., 2000. - 202, [1] s. ; 21 cm.

Autor

Altkorn Jerzy (1931-2004)

Forma i typ

Książki Publikacje fachowe

Temat

Turystyka Marketing Usługi turystyczne Przedsiębiorstwo turystyczne Produkt turystyczny

Gatunek

Podręcznik

Dziedzina i ujęcie

Zarządzanie i marketing Podróże i turystyka Gospodarka, ekonomia, finanse

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 379.85 (1 egz.)