Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Jazyk AngličtinaAngličtina
E-kniha Adobe ePub DRM
Nakladatelství Springer, říjen 2024
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verif... Celý popis
? points 161 b
1 614 Kč
Skladem Ihned ke stažení

Zákazníci také koupili

Ambulante Pflege in der modernen Gesellschaft Ruth Ketzer / Kniha Brožovaná
common.buy 801 Kč
Zirkua Susaeta / Kniha Pevná
common.buy 175 Kč
Llyfr Hymnau y Methodistiaid Calfinaidd: Cyhoeddedig Trwy Awdurdod Cymanfa Gyffredinol y Cyfundeb Yn Nghymru Howell Powell / Kniha Brožovaná
common.buy 794 Kč
Muso Rosso. Il sogno americano di un indiano Lakota Guido Sgardoli / Kniha Brožovaná
common.buy 425 Kč
E-Publishing-Management Thilo Busching / E-kniha Adobe ePub DRM
common.buy 646 Kč
Balas y palabras: Narrativa colombiana del sicario (1988-2023) Palacios Edwin Leonardo Florez Palacios / E-kniha Adobe ePub DRM
common.buy 1 753 Kč
Samivel Sophie Cuenot / Kniha Pevná
common.buy 1 617 Kč
Marrakech En quelques jours 9ed Lonely Planet / Kniha Brožovaná
common.buy 331 Kč
Shimaguni. Atlas narrado de las islas de Japon Francesca Scotti / E-kniha Adobe ePub DRM
common.buy 319 Kč

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Runtime Verification
Autor Erika Abraham, Houssam Abbas
Jazyk Angličtina
Vazba E-kniha - Adobe ePub DRM
Datum vydání 2024
EAN 9783031742347
Libristo kód 47700645
Nakladatelství Springer

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Addiction Psychiatric Medicine Hector Colón-Rivera / Kniha Brožovaná
common.buy 1 745 Kč
Britney Spears Oracle Kara Nesvig / Tiskovina Karty
common.buy 346 Kč
Acadia Panorama Alan Nyiri / E-kniha Adobe ePub DRM
common.buy 487 Kč
Bait and Switch Barbara Ehrenreich / Audiokniha MP3
common.buy 486 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?