Přeskočit na obsah
VuFind
  • Přihlásit
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
Pokročilé
  • Vytvořit citaci
  • Zaslat SMS
  • Poslat e-mailem
  • Vytisknout
  • Exportovat záznam
    • Exportovat do RefWorks
    • Exportovat do EndNoteWeb
    • Exportovat do EndNote
  • Přidat do oblíbených
  • Trvalý odkaz
Obálka

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
Médium: Recurso digital
Jazyk:
Vydáno: Zenodo 2019
Témata:
Program Slicing
Relational Verification
Formal Methods
On-line přístup:https://doi.org/10.5281/zenodo.3334553
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
  • Jednotky
  • Popis
  • Obsah
  • Komentáře
  • Podobné jednotky
  • UNIMARC/MARC

Internet

https://doi.org/10.5281/zenodo.3334553

Podobné jednotky

  • Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
    Vydáno: (2023)
  • Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
    Vydáno: (2022)
  • Incorporation of chia seeds (Salvia hispanica L.) in cereal flour mixtures: rheology and quality of sliced bread
    Autor: Elza Aguirre
    Vydáno: (2021)
  • Quality of service evaluation based on network slicing for software-defined 5G systems
    Autor: Kevin Sneider Ibarra-Lancheros
    Vydáno: (2018)
  • Network Sliced Distributed Learning-as-a-Service for Internet of Vehicles Applications in 6G Non-Terrestrial Network Scenarios
    Autor: Naseh, David, a další
    Vydáno: (2024)

Možnosti vyhledávání

  • Historie vyhledávání
  • Pokročilé vyhledávání

Objevte více

  • Procházení katalogu
  • Abecední procházení
  • Grafické procházení katalogu
  • Rezervace kurzů
  • Nové tituly v katalogu

Hledáte pomoc?

  • Tipy pro vyhledávání
  • Zeptejte se knihovníka
  • Často kladené otázky