Del 9322 i serien Lecture Notes in Computer Science
Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Häftad, Engelska, 2015
719 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2015-11-12
- Mått155 x 235 x 21 mm
- Vikt569 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor357
- FörlagSpringer International Publishing AG
- ISBN9783319242453
Tillhör följande 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
1 279 kr
Pradikatsexamen: Der Selbststandige Weg Zum Erfolgreichen Examen
Philipp Ter Haar, Carsten Lutz
Häftad
429 kr
Del 11560
Description Logic, Theory Combination, and All That
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
Häftad
699 kr
An Introduction to Description Logic
Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
Inbunden
1 359 kr
An Introduction to Description Logic
Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
Häftad
709 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
579 kr
Del 9766
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
1 209 kr