Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Giorgio Delzanno"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-12 z 12
    Tytuł:
    An Adaptive Algorithm for Multipath Mitigation in GNSS Positioning with Android Smartphones
    Autorzy:
    Lorenzo Benvenuto
    Tiziano Cosso
    Giorgio Delzanno
    Pokaż więcej
    Temat:
    GNSS positioning
    data analysis
    internet of things
    mobile computing
    Chemical technology
    TP1-1185
    Źródło:
    Sensors, Vol 22, Iss 5790, p 5790 (2022)
    Opis pliku:
    electronic resource
    Relacje:
    https://www.mdpi.com/1424-8220/22/15/5790; https://doaj.org/toc/1424-8220
    Dostęp URL:
    https://doaj.org/article/853befc8e76141bd933ba372347ea5fe  Link otwiera się w nowym oknie
    Czasopismo naukowe
    Pełny tekst  Link otwiera się w nowym oknie Pełny tekstSzczegóły
    Tytuł:
    Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
    Autorzy:
    Davide Ancona
    Luca Franceschini
    Giorgio Delzanno
    Maurizio Leotta
    Marina Ribaudo
    Filippo Ricca
    Pokaż więcej
    Temat:
    Mathematics
    QA1-939
    Electronic computers. Computer science
    QA75.5-76.95
    Źródło:
    Electronic Proceedings in Theoretical Computer Science, Vol 264, Iss Proc. ALP4IoT 2017, Pp 27-42 (2018)
    Opis pliku:
    electronic resource
    Relacje:
    http://arxiv.org/pdf/1802.01790v1; https://doaj.org/toc/2075-2180
    Dostęp URL:
    https://doaj.org/article/9aee3ef770174c4a9eeea892598e2d7b  Link otwiera się w nowym oknie
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    Well Structured Transition Systems with History
    Autorzy:
    Parosh Abdulla
    Giorgio Delzanno
    Marco Montali
    Pokaż więcej
    Temat:
    Mathematics
    QA1-939
    Electronic computers. Computer science
    QA75.5-76.95
    Źródło:
    Electronic Proceedings in Theoretical Computer Science, Vol 193, Iss Proc. GandALF 2015, Pp 115-128 (2015)
    Opis pliku:
    electronic resource
    Relacje:
    http://arxiv.org/pdf/1509.07203v1; https://doaj.org/toc/2075-2180
    Dostęp URL:
    https://doaj.org/article/c6b45025017c473db273a04369a044db  Link otwiera się w nowym oknie
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    Model Checking Paxos in Spin
    Autorzy:
    Giorgio Delzanno
    Michele Tatarek
    Riccardo Traverso
    Pokaż więcej
    Temat:
    Mathematics
    QA1-939
    Electronic computers. Computer science
    QA75.5-76.95
    Źródło:
    Electronic Proceedings in Theoretical Computer Science, Vol 161, Iss Proc. GandALF 2014, Pp 131-146 (2014)
    Opis pliku:
    electronic resource
    Relacje:
    http://arxiv.org/pdf/1408.5962v1; https://doaj.org/toc/2075-2180
    Dostęp URL:
    https://doaj.org/article/9f3dd29bc25142419bcf7688d4ae4d6a  Link otwiera się w nowym oknie
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    Graph- versus Vector-Based Analysis of a Consensus Protocol
    Autorzy:
    Giorgio Delzanno
    Arend Rensink
    Riccardo Traverso
    Pokaż więcej
    Temat:
    Mathematics
    QA1-939
    Electronic computers. Computer science
    QA75.5-76.95
    Źródło:
    Electronic Proceedings in Theoretical Computer Science, Vol 159, Iss Proc. GRAPHITE 2014, Pp 44-57 (2014)
    Opis pliku:
    electronic resource
    Relacje:
    http://arxiv.org/pdf/1407.7931v1; https://doaj.org/toc/2075-2180
    Dostęp URL:
    https://doaj.org/article/c1b7e14ec0734eadb66de8fee09cd3d2  Link otwiera się w nowym oknie
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    Automata-based Static Analysis of XML Document Adaptation
    Autorzy:
    Alessandro Solimando
    Giorgio Delzanno
    Giovanna Guerrini
    Pokaż więcej
    Temat:
    Mathematics
    QA1-939
    Electronic computers. Computer science
    QA75.5-76.95
    Źródło:
    Electronic Proceedings in Theoretical Computer Science, Vol 96, Iss Proc. GandALF 2012, Pp 85-98 (2012)
    Opis pliku:
    electronic resource
    Relacje:
    http://arxiv.org/pdf/1210.2453v1; https://doaj.org/toc/2075-2180
    Dostęp URL:
    https://doaj.org/article/4db16f1082fe4ef3a5d409d597daca77  Link otwiera się w nowym oknie
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
    Autorzy:
    Giorgio Delzanno
    Arnaud Sangnier
    Gianluigi Zavattaro
    Pokaż więcej
    Temat:
    Mathematics
    QA1-939
    Electronic computers. Computer science
    QA75.5-76.95
    Źródło:
    Electronic Proceedings in Theoretical Computer Science, Vol 60, Iss Proc. PACO 2011, Pp 56-65 (2011)
    Opis pliku:
    electronic resource
    Relacje:
    http://arxiv.org/pdf/1108.1864v1; https://doaj.org/toc/2075-2180
    Dostęp URL:
    https://doaj.org/article/74d5d4c39b95440983846b6d3a968dcd  Link otwiera się w nowym oknie
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    Constraint-Based Verification of Parameterized Cache Coherence Protocols.
    Autorzy:
    Giorgio Delzanno
    Pokaż więcej
    Źródło:
    Formal Methods in System Design; Nov2003, Vol. 23 Issue 3, p257-301, 45p
    Czasopismo naukowe
    Szczegóły
      Wyświetlanie 1-12 z 12

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies