Fundamentals of Computation Theory
19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings
AvFrank Wolter,Leszek Gasieniec
E-bok
PDF, Engelska, 2013718 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 40
Del 11560
Description Logic, Theory Combination, and All That
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
Häftad, 2019
556 kr
ADVANCES IN MODAL LOGIC, VOLUME 3
WOLTER FRANK, Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev
Inbunden, 2002
2 297 kr
Del 10050
Algorithms for Sensor Systems
Marek Chrobak, Antonio Fernández Anta, Leszek Gąsieniec, Ralf Klasing
Häftad, 2017
572 kr
Description Logic, Theory Combination, and All That
Frank Wolter, Anni-Yasmin Turhan, Cesare Tinelli, Uli Sattler, Carsten Lutz
E-bok
2019718 kr