Sipser, Michael. creator text bibliography Machine theory. mau Boston ; Toronto PWS c1997 1997 monographic eng

print

xv, 396 p. : ill. Michael Sipser. Bibliographie: p. 381-385. Automate Calcul Calculabilite Calculateur Complexite Formel Informatique Langage Machine Mathematique Programmation Theorie Computational complexity Complejidad computacional Complexité de calcul (Informatique) Complexité de calcul (informatique) Informatique Modáeles mathâematiques Turing, Machines de Décidabilité (logique mathâematique) calculabilité automate langage formel complexité calcul théorie machine QA 267 S618i 1997 053494728X 9780534947286 96035322 RUQBL 960906 20230410132735.0 81704 fre