Systemy informatyczne
Ukryj filtry
Sortowanie
Źródło opisu
Katalog zbiorów
(56)
Forma i typ
Książki
(56)
Publikacje naukowe
(2)
Poradniki i przewodniki
(1)
Publikacje dydaktyczne
(1)
Dostępność
dostępne
(61)
tylko na miejscu
(3)
Placówka
Wypożyczalnia Konin
(35)
Wypożyczalnia Koło
(11)
Wypożyczalnia Słupca
(4)
Wypożyczalnia Turek
(11)
Czytelnia Konin
(3)
Autor
Zapart Piotr
(3)
Bazewicz Mieczysław (1927-2008)
(2)
Beynon-Davies Paul
(2)
Bąkowski Przemysław
(2)
Chuchro Ewa
(2)
Pokaż więcej ...
Flasiński Mariusz
(2)
Grobelna Iwona
(2)
Kwiatkowska Anna M
(2)
Liderman Krzysztof
(2)
Mitnick Kevin D
(2)
Nowicki Adam
(2)
Simon William L
(2)
Sosińska-Kalata Barbara
(2)
Szadkowska-Rucińska Małgorzata
(2)
Szyjewski Zdzisław
(2)
Wieczorek Tadeusz
(2)
Anderson Ross
(1)
Barcewicz Mirosław
(1)
Beizer Boris (1934- )
(1)
Benicewicz-Miazga Anna
(1)
Białas Andrzej
(1)
Bloch Janina
(1)
Bromirski Jerzy (1915-1989)
(1)
Brooks Frederick P
(1)
Bytniewski Andrzej
(1)
Błaszczyk Artur
(1)
Carlson Piotr
(1)
Chmielarz Witold
(1)
Daszewski Włodzimierz
(1)
Dobrzański Jarosław
(1)
Domiński Wojciech
(1)
Ehrlich Andrzej
(1)
Enslow Philip H
(1)
Enslow Philip H. (1933- )
(1)
Frąc Cezary
(1)
Grudzewski Wiesław Maria
(1)
Hejduk Irena
(1)
Ilczuk Janusz (1931- )
(1)
Jerczyńska Maria
(1)
Kaczmarek Andrzej
(1)
Kowalska Samanta
(1)
Kózka Henryk
(1)
Masłowski Krzysztof
(1)
Materska Katarzyna
(1)
Molski Marian
(1)
Mucek Józef
(1)
Muraszkiewicz Mieczysław Ryszard
(1)
Niedzielska Elżbieta
(1)
Nowakowski Łukasz (zarządzanie)
(1)
Nowicki Zbigniew Michał
(1)
Ogiela Marek R
(1)
Opala Sebastian
(1)
Osińska Wiesława
(1)
Pawełczak Adam
(1)
Pieleszek Marcin
(1)
Plaza Roman A
(1)
Sacha Krzysztof
(1)
Sosnowski Jarosław (ekonomia)
(1)
Stanisławski Robert Piotr
(1)
Szafrański Maciej
(1)
Szymonik Andrzej
(1)
Szymonik Andrzej (1952- )
(1)
Tadeusiewicz Ryszard
(1)
Urbański Marek (1952- )
(1)
Verton Dan
(1)
Walczak Marian
(1)
Weitzman Cay
(1)
Wróbel Eugeniusz
(1)
Yourdon Edward
(1)
Zabielski Leonard
(1)
Zieliński Bogdan
(1)
Pokaż mniej ...
Rok wydania
2020 - 2024
(1)
2010 - 2019
(7)
2000 - 2009
(27)
1990 - 1999
(9)
1980 - 1989
(5)
Okres powstania dzieła
2001-
(3)
Kraj wydania
Polska
(56)
Język
polski
(56)
Odbiorca
Logistycy
(1)
Szkoły wyższe
(1)
Temat
Język polski
(3149)
Literatura polska
(2585)
Polska
(2221)
Dziecko
(2134)
Matematyka
(1594)
Systemy informatyczne
(-)
Pokaż więcej ...
Nauczanie początkowe
(1530)
Nauczanie
(1509)
Wychowanie
(1248)
Wychowanie w rodzinie
(1217)
Pedagogika
(1166)
Filozofia
(1162)
Literatura
(1076)
Historia
(1017)
Nauczyciele
(1016)
Szkolnictwo
(1012)
Fizyka
(961)
Poezja polska
(961)
Młodzież
(927)
Rodzina
(846)
Wychowanie przedszkolne
(843)
Psychologia
(827)
Sztuka
(784)
Język angielski
(765)
Powieść polska
(754)
Zarządzanie
(728)
Kultura
(720)
Kobieta
(696)
Przedsiębiorstwo
(667)
Chemia
(661)
Pisarze polscy
(611)
Osobowość
(585)
Biologia
(571)
Stosunki interpersonalne
(556)
Muzyka
(551)
Dzieci
(542)
Psychoterapia
(541)
Wojsko
(515)
Pamiętniki polskie
(512)
Uczenie się
(496)
Język rosyjski
(494)
Oświata
(487)
Socjologia
(481)
Uczniowie
(469)
Nauka
(467)
Wojna 1939-1945 r.
(462)
Unia Europejska
(454)
Geografia
(449)
Publicystyka polska
(427)
Komunikacja społeczna
(420)
Język niemiecki
(405)
Praca
(403)
Technika
(403)
Psychologia społeczna
(401)
Nauczanie zintegrowane
(395)
Uczucia
(392)
Prawo
(373)
Polacy za granicą
(370)
Matura
(360)
Polityka
(358)
Etyka
(354)
Mickiewicz, Adam (1798-1855)
(345)
Internet
(342)
Młodzież szkolna
(337)
Gry i zabawy
(331)
Żydzi
(327)
Gry edukacyjne
(322)
Przyroda
(322)
Mowa
(319)
Czytanie
(317)
Polityka międzynarodowa
(315)
Środki masowego przekazu
(313)
Bibliotekarstwo
(311)
Wielkopolska
(310)
Językoznawstwo
(309)
Ekonomia
(305)
Nauki społeczne
(299)
Rośliny
(297)
Dramat polski
(290)
Psychologia wychowawcza
(288)
Informatyka
(287)
Słownik polski
(287)
Religia
(285)
Pedagogika specjalna
(284)
Opowiadanie polskie
(281)
Teatr polski
(281)
Miłość
(279)
Mózg
(279)
Rozwój psychofizyczny dziecka
(279)
Statystyka
(276)
Marketing
(274)
Astronomia
(272)
Antropologia filozoficzna
(270)
Zwierzęta
(268)
Stres
(259)
Wychowanie obywatelskie
(258)
Encyklopedia polska
(257)
Marksizm
(257)
Powieść amerykańska
(252)
II wojna światowa (1939-1945)
(249)
Niepełnosprawni
(248)
Pokaż mniej ...
Temat: czas
2001-0
(1)
Temat: miejsce
Wielkopolskie, województwo
(1)
Gatunek
Podręczniki akademickie
(10)
Opracowanie
(2)
Podręczniki
(1)
Podręczniki dla szkół zawodowych
(1)
Poradniki
(1)
Dziedzina i ujęcie
Informatyka i technologie informacyjne
(2)
Transport i logistyka
(2)
Ochrona środowiska
(1)
Zarządzanie i marketing
(1)
56 wyników Filtruj
Książka
W koszyku
Inżynieria zabezpieczeń / Ross Anderson ; z jęz. ang. przeł. Piotr Carlson. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2005. - XXX, 713, [1] s. : il. ; 25 cm.
(TAO Tajemnica, Atak, Obrona)
Autor
Anderson Ross. Carlson Piotr.
Temat
Informacja Systemy informatyczne
Gatunek
Podręczniki akademickie
Bibliogr. s. 651-690. Indeks.
Podręcznik akademicki.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Turek
Są egzemplarze dostępne do wypożyczenia: sygn. 42878 (1 egz.)
Brak okładki
Książka
W koszyku
Systemy informatyczne w szkole wyższej / Mieczysław Bazewicz. - Warszawa : Państ. Wydaw. Naukowe, 1980. - 318, [1] s., [1] k. tabl. : il., tab., wykr. ; 20 cm.
(Biblioteka Informatyki)
Autor
Bazewicz Mieczysław (1927-2008).
Forma i typ
Książki
Temat
Systemy informatyczne Szkolnictwo wyższe
Bibliogr. s. 314-318.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 30537 (1 egz.)
Brak okładki
Książka
W koszyku
Wielodostępne systemy informatyczne / Mieczysław Bazewicz ; Polska Akademia Nauk. Instytut Podstaw Informatyki. - Warszawa : Państwowe Wydawnictwo Naukowe, 1977. - 314, [1] s. : il., tab., wykr. ; 25 cm.
Autor
Bazewicz Mieczysław (1927-2008)
Forma i typ
Książki
Temat
Systemy informatyczne
Bibliogr. przy rozdz.
Streszcz. ros., ang.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 22969, 22968 (2 egz.)
Brak okładki
Książka
W koszyku
Systemy cyfrowe wieloprocesorowe / red. Philip H. Enslow jr. ; z ang. tł. Przemysław Bąkowski. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1978. - 362, [2] s. ; 24 cm.
(Informatyka)
Autor
Bąkowski Przemysław Enslow Philip H. (1933- )
Forma i typ
Książki
Temat
Systemy informatyczne
Oprac. na podstawie materiałów Comtre Corporation.
Indeks.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 27822 (1 egz.)
Brak okładki
Książka
W koszyku
Organizacja systemów komputerowych / Boris Beizer ; [z ang. tł. Mieczysław Muraszkiewicz, Zbigniew Nowicki, Marek Urbański]. - Warszawa : Państwowe Wydawnictwo Naukowe, 1979. - 588 s. : il. ; 20 cm.
(Biblioteka Informatyki)
Autor
Beizer Boris (1934- ) Muraszkiewicz Mieczysław Ryszard Nowicki Zbigniew Michał Urbański Marek (1952- )
Forma i typ
Książki
Temat
Systemy informatyczne
Tyt. oryg.: The architecture and engineering of digital computer complexes, 1971.
Bibliogr. przy rozdz. - Indeks.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 31789 (1 egz.)
Brak okładki
Książka
CD
W koszyku
Upowszechnianie informacji : liceum o profilu : zarządzanie informacją : podręcznik. Cz. 3. Globalizacja informacji. Aspekty prawno-ekonomiczne. Bezpieczeństwo w sieci / Anna Benicewicz-Miazga, Bogdan Zieliński. - Warszawa : Wydawnictwa Szkolne i Pedagogiczne, 2006. - 110 s. ; + CD 290.
Autor
Benicewicz-Miazga Anna. Zieliński Bogdan.
Temat
Informacja -- prawo Internet Systemy informatyczne
Bibliogr. s.106-107
Podręcznik obejmuje zagadnienia programu nauczania dotyczące modułu: "Aspekty upowszechniania informacji". W początkowych rozdziałach omówiono polityczno-społeczne znaczenie globalizacji, bazy, dokumenty i serwisy w sieci oraz techniki prezentacji informacji. Następnie przedstawiono systemy nawigacji i komunikacji satelitarnej - GPS i GIS. Obszernie potraktowano tematykę biznesu elektronicznego - e-marketing, e-commerce, e-banking, e-consulting, e-service, e-learning i in., a także zarobkowania w sieci. Szczególną uwagę poświęcono bezpieczeństwu w sieci - zachowaniu anonimowości w Internecie, certyfikatom i podpisom cyfrowym oraz kluczom publicznym i prywatnym. Na zakończenie omówiono różne rodzaje zagrożeń przestępczymi czynami popełnianymi w sieci, zwalczanie wirusów komputerowych oraz zastosowanie oprogramowań blokujących.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 87016/3 (1 egz.)
Brak okładki
Książka
W koszyku
Inżynieria systemów informacyjnych : wprowadzenie / Paul Beynon-Davies ; z jęz. ang. przeł. Małgorzata Szadkowska-Rucińska. - Wyd. 2. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. - 416 s. : il. ; 24 cm.
Autor
Beynon-Davies Paul. Szadkowska-Rucińska Małgorzata.
Temat
Inżynieria systemów Systemy informacyjne Systemy informatyczne
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Turek
Są egzemplarze dostępne do wypożyczenia: sygn. 42633 (1 egz.)
Książka
W koszyku
Inżynieria systemów informacyjnych : wprowadzenie / Paul Beynon-Davies ; przeł. z ang. Małgorzata Szadkowska-Rucińska. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1999. - 415, [1] s. : rys., wykr. ; 24 cm.
Autor
Beynon-Davies Paul. Szadkowska-Rucińska Małgorzata.
Temat
Inżynieria systemów Systemy informacyjne Systemy informatyczne
Bibliogr. przy rozdz.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Słupca
Są egzemplarze dostępne do wypożyczenia: sygn. 24543 (1 egz.)
Brak okładki
Książka
W koszyku
Bezpieczeństwo informacji i usług w nowoczesnej instytucji i firmie / Andrzej Białas. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2006. - 550 s. ; 25 cm.
Autor
Białas Andrzej.
Temat
Systemy informatyczne Teleinformatyka
Bibliogr. s.424-433
Książka stanowi kompendium wiedzy na temat zapewnienia bezpieczeństwa informacji i usług. Autor zapoznaje czytelnika z podstawowymi pojęciami, metodami i narzędziami dotyczącymi bezpieczeństwa teleinformatycznego, ale rozpatrywanego na tle bezpieczeństwa w sensie technicznym. Opisuje etapy tworzenia systemu bezpieczeństwa oraz jego funkcjonowanie - od ewidencjonowania zasobów, przez analizę ryzyka, dobór wymagań i zabezpieczeń, wypracowanie strategii zapewnienia bezpieczeństwa, do procesów wdrożeniowych. Podaje wiele praktycznych przykładów, wykazów, list kontrolnych, szablonów i wzorów dokumentów, opracowanych na podstawie obowiązujących norm i zaleceń. Czytelnik może łatwo wykorzystać te elementy do rozwiązania problemów swojej instytucji - niezależnie od jej wielkości i specyfiki działania.
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 86093, 87199 (2 egz.)
Wypożyczalnia Koło
Są egzemplarze dostępne do wypożyczenia: sygn. 35029 (1 egz.)
Wypożyczalnia Turek
Są egzemplarze dostępne do wypożyczenia: sygn. 42810 (1 egz.)
Brak okładki
Książka
W koszyku
Podstawy systemów informatycznych : praca zbiorowa : [skrypt centralny dla studentów wyższych szkół technicznych] / pod red. Jerzego Bromirskiego ; [aut. Jerzy Bromirski i in.]. - Warszawa : Państwowe Wydawnictwo Naukowe, 1982. - 256 s. : fot., rys. 1 wykr. ; 24 cm.
Autor
Bromirski Jerzy (1915-1989).
Forma i typ
Książki
Temat
Systemy informatyczne.
Gatunek
Podręczniki akademickie
Bibliogr. przy częściach.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 37445, 37444 (2 egz.)
Brak okładki
Książka
W koszyku
Mityczny osobomiesiąc : eseje o inżynierii oprogramowania / Frederick P. Brooks ; tł. z ang. Andrzej Ehrlich. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2000. - 295, [1] s. : il. ; 24 cm.
(Ludzie-Komputery-Informacja)
Autor
Brooks Frederick P. Ehrlich Andrzej.
Temat
Praca zespołowa Programowanie (informat.) Systemy informatyczne
Jest to światowy bestseller z dziedziny inżynierii oprogramowania i zarządzania. Składają się nań eseje dotyczące wytwórstwa wielkich systemów informatycznych. Poruszone są sprawy jednorodności systemów i problemów na linii projektant - wykonawca. Autor przeprowadza analizę nakładów pracy na powstanie systemu porusz sprawę kosztów, właściwej dokumentacji i modyfikacji systemu. Uwzględnia więc wszystko, co dotyczy tworzenia systemu - od koncepcji do dokumentacji i wdrożenia. Podkreśla też znaczenie pracy zespołowej. Książka jest przeznaczona dla studentów informatyki. Skorzystają z niej jednak także projektanci systemowi, ekonomiści i kadra zarządzająca.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 77843 (1 egz.)
Brak okładki
Książka
W koszyku
Zastosowanie informatyki w agrobiznesie / pod red. Andrzeja Bytniewskiego. - Wrocław : Wydawnictwo Uniwersytetu Ekonomicznego, 2009. - 166 s. : il. ; 24 cm.
Autor
Bytniewski Andrzej.
Temat
Agrobiznes Informatyka Systemy informatyczne
Bibliogr. przy art.
Zawiera m.in.: Zintegrowane systemy zarządzania ; Technologie internetowe ; Systemy informatyczne rachunkowości.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 95066 (1 egz.)
Książka
W koszyku
Systemy elektronicznej bankowości / Witold Chmielarz. - Warszawa : Difin, 2005. - 304 s. ; 24 cm.
Autor
Chmielarz Witold.
Temat
Banki Systemy informatyczne
Bibliogr. s.286-299
Analiza funkcjonowania usług bankowości elektronicznej wykorzystujących sieci. W książce przedstawiono instrumenty służące zarówno zabezpieczeniu odpowiedniego poziomu obsługi, jak i bezpieczeństwa operacji.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 85241 (1 egz.)
Brak okładki
Książka
W koszyku
Systemy cyfrowe wieloprocesorowe / red. Philip H. Enslow jr. ; z ang. tł. Przemysław Bąkowski. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1978. - 362, [2] s. ; 24 cm.
(Informatyka)
Autor
Enslow Philip H. Bąkowski Przemysław.
Temat
Systemy informatyczne
Oprac. na podstawie materiałów Comtre Corporation.
Indeks.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Koło
Są egzemplarze dostępne do wypożyczenia: sygn. 19566 (1 egz.)
Brak okładki
Książka
W koszyku
Wstęp do analitycznych metod projektowania systemów informatycznych / Mariusz Flasiński. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1997. - 182 s. : il. ; 24 cm.
Autor
Flasiński Mariusz.
Temat
Systemy informatyczne
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Koło
Są egzemplarze dostępne do wypożyczenia: sygn. 30304 (1 egz.)
Książka
W koszyku
Zarządzanie projektami informatycznymi / Mariusz Flasiński. - Warszawa : Wydawnictwo Naukowe PWN, 2006. - 194 s. ; 24 cm.
Autor
Flasiński Mariusz.
Temat
Systemy informatyczne Zarządzanie projektami
Gatunek
Podręczniki akademickie
Bibliogr. s.188-189.
Książka ta stanowi znakomite kompendium wiedzy niezbędnej dla każdego kierownika projektów informatycznych. Jej Autor, uznany na rynku usług informatycznych ekspert w zakresie zarządzania projektami informatycznymi, połączył w tej monografii ogromne doświadczenie praktyczne z umiejętnością systematyzowania praktycznej wiedzy.(Dariusz Fabiszewki, Dyrektor Generalny IBM Polska)Autor książki przekazuje czytelnikowi cenną wiedzę o praktycznych aspektach zarządzania projektami informatycznymi wynikającą ze swoich wieloletnich doświadczeń zawodowych. Książka obejmuje całokształt zagadnień, które powinien znać każdy zarządzający projektem informatycznym.(Paweł Piwowar, Prezes Zarządu Oracle Polska)Ważną zaletą ocenianej książki jest fakt, że jej Autor, wybitny uczony, profesor Uniwersytetu Jagiellońskiego, łączy w niej wiedzę teoretyczną z wiadomościami praktycznymi, jakie nabył, osobiście kierując wieloma ważnymi i trudnymi projektami informatycznymi. (...) Tę doskonale zrównoważoną kombinację bardzo wysokich kompetencji naukowych oraz doświadczeń praktycznych widać w książce na każdej niemal stronicy.
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 86157 (1 egz.)
Wypożyczalnia Turek
Są egzemplarze dostępne do wypożyczenia: sygn. 42690 (1 egz.)
Brak okładki
Książka
W koszyku
Weryfikacja modelowa specyfikacji sterowników logicznych / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki. - Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, 2012. - 174, [1] s. : il. ; 24 cm.
Autor
Grobelna Iwona.
Temat
Logika temporalna Weryfikacja modelowa Sterowniki programowalne Systemy informatyczne
Gatunek
Podręczniki akademickie
Bibliogr. s. 151-163.
Dla studentów kierunków technicznych, pracowników nauk. wyższych uczelni i inżynierów zajmujących się na co dzień projektowaniem (oraz weryfikacją) systemów zwłaszcza systemów wbudowanych oraz sterowników logicznych.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 97683 (1 egz.)
Brak okładki
Książka
W koszyku
Weryfikacja modelowa z NuSMV : wprowadzenie do narzędzia weryfikującego NuSMV w wersji 2,5 / Iwona Grobelna ; Uniwersytet Zielonogórski. Instytut Informatyki i Elektroniki. - Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, 2011. - 97 s. : il. ; 24 cm.
Autor
Grobelna Iwona.
Temat
Logika temporalna Weryfikacja modelowa Sterowniki programowalne Systemy informatyczne
Gatunek
Podręczniki
Bibliogr. s. 90-94. Indeks.
Zawiera m.in.: NuSMV ; Format danych wejściowych ; Skończona maszyna stanów ; Specyfika wymagań ; Interaktywna powłoka NuSMV ; Przykłady formalnej weryfikacji specyfikacji.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 97603 (1 egz.)
Książka
W koszyku
Zarządzanie technologiami : zaawansowane technologie i wyzwanie ich komercjalizacji / Wiesław M. Grudzewski, Irena K. Hejduk. - Warszawa : Centrum Doradztwa i Informacji Difin, 2008. - 468 s. : il. ; 23 cm.
Autor
Grudzewski Wiesław Maria. Hejduk Irena.
Temat
Przedsiębiorstwo Systemy ekspertowe Systemy informatyczne
Bibliografia
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Turek
Są egzemplarze dostępne do wypożyczenia: sygn. 44528 (1 egz.)
Brak okładki
Książka
W koszyku
Efektywność systemów informatycznych zarządzania / Janusz Ilczuk, Maria Jerczyńska. - Warszawa : Państwowe Wydaw. Ekonomiczne, 1979. - 205, [3] s. : il. ; 21 cm.
(Informatyka w Praktyce)
Autor
Ilczuk Janusz (1931- ) Jerczyńska Maria
Forma i typ
Książki
Temat
Systemy informatyczne zarządzania Systemy informatyczne
Bibliogr.
Streszcz. ros., ang.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Konin
Są egzemplarze dostępne do wypożyczenia: sygn. 28234 (1 egz.)
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej