Computability and logic by Cohen, Daniel E. fromEllis Horwood series in mathematics and its applications 0 Type: Book
Classical and quantum computation by Shen, A., (Alexander), Kitaev, A. Yu., (Alexei Yu.), Vyalyi, M. N., (Mikhail N.) fromGraduate studies in mathematics 0 Type: Book
Algebraic automata theory by Holcombe, William Michael Lloyd fromCambridge studies in advanced mathematics series 0 Type: Book
Process algebra and probabilistic methods: performance modelling and verification : joint in… by PAPM-PROBMIV 2001, Aachen, Allemagne) fromLecture Notes in Computer Science 0 Type: Book
