Dolnośląska Biblioteka Cyfrowa udostępnia 109 354 obiektów cyfrowych
Obiekt
Tytuł: Weryfikacja dynamicznych więzów integralności specyfikowanych w logice temporalnej z operatorami metrycznymi
Autor:
Współtwórca:
Wydawca:
Miejsce wydania:
Data wydania:
Typ zasobu:
Identyfikator zasobu:
Język:
Powiązania:
Politechnika Wrocławska. Wydział Informatyki i Zarządzania
Prawa:
Wszystkie prawa zastrzeżone (Copyright)
Prawa dostępu:
Dla wszystkich w zakresie dozwolonego użytku
Właściciel praw:
Lokalizacja oryginału:
Źródło finansowania:
Opracowanie i udostępnienie materiałów przeprowadzono w ramach umowy nr BIBL/SP/0020/2024/02 ze środków Ministra Nauki i Szkolnictwa Wyższego w ramach programu Społeczna Odpowiedzialność Nauki II ; Digitalizację materiałów przeprowadzono w ramach umowy nr BIBL/SP/0020/2024/02 ze środków Ministra Nauki i Szkolnictwa Wyższego w ramach programu Społeczna Odpowiedzialność Nauki II
Kolekcje, do których przypisany jest obiekt:
- Dolnośląska Biblioteka Cyfrowa > Uczestnicy Konsorcjum > 01. Politechnika Wrocławska > Doktoraty PWr
- Dolnośląska Biblioteka Cyfrowa > Zasoby > 1. Materiały naukowe i dydaktyczne > Rozprawy doktorskie i habilitacyjne
- Dolnośląska Biblioteka Cyfrowa > Dziedziny nauki > 6. Nauki ścisłe i przyrodnicze
Data ostatniej modyfikacji:
16 gru 2025
Data dodania obiektu:
11 sie 2025
Liczba wyświetleń treści obiektu:
0
Wszystkie dostępne wersje tego obiektu:
https://dbc.wroc.pl/publication/177886
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
| Nazwa wydania | Data |
|---|---|
| Weryfikacja dynamicznych więzów integralności specyfikowanych w logice temporalnej z operatorami metrycznymi | 16 gru 2025 |
Obiekty Podobne
Kubik, Tomasz. Redakcja
Król, Dariusz Daniłowicz, Czesław. Promotor
Skwarnik, Marek Niedzielska, Elżbieta. Promotor
Kozioł, Jan Sobis, Henryk. Promotor
Berentowicz-Sobczak, Grażyna Sobis, Henryk. Promotor
