Theoretical aspects of computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.)
Ort, Verlag, Jahr:
Cham :
Springer,
2015
Beschreibung:
XXIV, 620 pages : illustrations
Format:
Buch (Kongress)
Online Zugang: