Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Häftad, Engelska, 2015
Del 9322 i serien Lecture Notes in Computer Science
550 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. decision procedures; decision procedures for verification;
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 15264
Computer Security. ESORICS 2024 International Workshops
Joaquin Garcia-Alfaro, Harsha Kalutarage, Naoto Yanai, Rafał Kozik, Paweł Ksieniewicz, Michał Woźniak, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Ugarelli, Isabel Praça, Basel Katt, Sandeep Pirbhulal, Ankur Shukla, Marek Pawlicki, Michał Choraś
Häftad
985 kr
Pradikatsexamen: Der Selbststandige Weg Zum Erfolgreichen Examen
Philipp Ter Haar, Carsten Lutz
Häftad
334 kr
Del 11560
Description Logic, Theory Combination, and All That
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
Häftad
534 kr
Del 13106
Computer Security. ESORICS 2021 International Workshops
Sokratis Katsikas, Costas Lambrinoudakis, Nora Cuppens, John Mylopoulos, Christos Kalloniatis, Weizhi Meng, Steven Furnell, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge
Häftad
768 kr
An Introduction to Description Logic
Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
Inbunden
997 kr
An Introduction to Description Logic
Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
Häftad
526 kr
Del 8736
Del 12618
Cyber-Physical Security for Critical Infrastructures Protection
Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Ugarelli, Gabriele Giunta, Isabel Praça, Federica Battisti
Häftad
442 kr
Del 13785
Computer Security. ESORICS 2022 International Workshops
Sokratis Katsikas, Frédéric Cuppens, Christos Kalloniatis, John Mylopoulos, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Massimiliano Albanese, Basel Katt, Sandeep Pirbhulal, Ankur Shukla
Häftad
931 kr