Świadczenie usług wydawniczych dla czasopisma Formalized Mathematics ISSN 1426-2630, elSSN 1898-9934. Szczegółowy opis przedmiotu zamówienia został określony w załączniku nr 1 do SWZ – opis przedmiotu zamówienia – zadanie 2.
Dostawa systemu centralnego gromadzenia i analizy logów.Zamówienie obejmuje dostawę systemu logowania, raportowania i korelacji, umożliwiający centralizację procesu logowania zdarzeń sieciowych, systemowych oraz bezpieczeństwa w ramach całej infrastruktury zabezpieczeń.Rozwiązanie musi zostać dostarczone w postaci komercyjnej platformy sprzętowej lub programowej. W przypadku implementacji programowej dostawca musi zapewnić niezbędne platformy sprzętowe wraz z odpowiednio zabezpieczonym systemem operacyjnym. W zakres zamówienia wchodzi ponadto instalacja i konfiguracja.
CPV: 35120000-1Seire- ja turvasüsteemid ning -seadmed+1 more