Frontiers of Combining Systems

10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Häftad, Engelska, 2015

AvCarsten Lutz,Silvio Ranise

709 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

3D-grafik och modellering inom Data och it
Systemvetenskap och AI inom Data och it
Artificiell intelligens inom Data och it
Programmeringsböcker inom Data och it

Du kanske också är intresserad av

Logics in Artificial Intelligence

Logics in Artificial Intelligence

Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, Steffen Holldobler

709 kr

Pradikatsexamen: Der Selbststandige Weg Zum Erfolgreichen Examen

Pradikatsexamen: Der Selbststandige Weg Zum Erfolgreichen Examen

Philipp Ter Haar, Carsten Lutz, Matthias Wiedenfels

469 kr

Description Logic, Theory Combination, and All That

Description Logic, Theory Combination, and All That

Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter

689 kr

An Introduction to Description Logic

An Introduction to Description Logic

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler, Dresden) Baader, Franz (Technische Universitat, Ian (University of Oxford) Horrocks, Carsten (Universitat Bremen) Lutz, Uli (University of Manchester) Sattler

1 289 kr

An Introduction to Description Logic

An Introduction to Description Logic

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler, Dresden) Baader, Franz (Technische Universitat, Ian (University of Oxford) Horrocks, Carsten (Universitat Bremen) Lutz, Uli (University of Manchester) Sattler

669 kr

KI 2014: Advances in Artificial Intelligence

KI 2014: Advances in Artificial Intelligence

Carsten Lutz, Michael Thielscher

709 kr

Cyber-Physical Security for Critical Infrastructures Protection

Cyber-Physical Security for Critical Infrastructures Protection

Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Ugarelli, Gabriele Giunta, Isabel Praça, Federica Battisti, Isabel Praca

569 kr

Data and Applications Security and Privacy XXX

Data and Applications Security and Privacy XXX

Silvio Ranise, Vipin Swarup

699 kr