Roderick Bloem | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

TRUSTED SYSTEMS : 5TH INTERNATIONAL CONFERENCE, INTRUST 2013, GRAZ, AUSTRIA, DECEMBER 4-5, 2013, PROCEEDINGS

Roderick Bloem (ed.); Peter Lipp (ed.)
Springer (2013)
Pehmeäkantinen kirja

51,40 €

DECIDABILITY OF PARAMETERIZED VERIFICATION

Roderick Bloem; Swen Jacobs; Ayrat Khalimov; Igor Konnov
Morgan & Claypool Publishers (2015)
Pehmeäkantinen kirja

79,20 €

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING : 12TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2016, HAIFA, ISRAEL, NOV

Roderick Bloem (ed.); Eli Arbel (ed.)
Springer (2016)
Pehmeäkantinen kirja

51,40 €

SOFTWARE VERIFICATION - 13TH INTERNATIONAL CONFERENCE, VSTTE 2021, NEW HAVEN, CT, USA, OCTOBER 18–19, 2021, AND 14TH INTERNATIO

Roderick Bloem; Rayna Dimitrova; Chuchu Fan; Natasha Sharygina
Springer Nature Switzerland AG (2022)
Pehmeäkantinen kirja

56,40 €

DECIDABILITY OF PARAMETERIZED VERIFICATION

Roderick Bloem; Swen Jacobs; Ayrat Kalimov; Igor Konnov
Springer (2015)
Pehmeäkantinen kirja

46,40 €

COMPUTER AIDED VERIFICATION - 26TH INTERNATIONAL CONFERENCE, CAV 2014, HELD AS PART OF THE VIENNA SUMMER OF LOGIC, VSL 2014, VIE

Armin Biere; Roderick Bloem
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

101,40 €

HANDBOOK OF MODEL CHECKING

Edmund M. Clarke (ed.); Thomas A. Henzinger (ed.); Helmut Veith (ed.); Roderick Bloem (ed.)
Springer (2018)
Kovakantinen kirja

125,70 €

HANDBOOK OF MODEL CHECKING

Edmund M. Clarke (ed.); Thomas A. Henzinger (ed.); Helmut Veith (ed.); Roderick Bloem (ed.)
Springer (2020)
Pehmeäkantinen kirja

125,70 €

Trusted Systems : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

Roderick Bloem (ed.), Peter Lipp (ed.)

51,40 €

Springer
Sivumäärä: 103 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2013, 11.11.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: Security and Cryptology

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Trusted Systems, INTRUST 2013, held in Graz, Austria, in December 2013. The revised full papers focus on the theory, technologies and applications of trusted systems. They cover all aspects of trusted computing systems, including trusted modules, platforms, networks, services and applications, from their fundamental features and functionalities to design principles, architecture and implementation technologies.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus