Media type: Book Title: Introduction to languages, machines and logic : computable languages, abstract machines and formal logic Contains: Literaturverz. S. 341 - 342 Contributor: Parkes, Alan [Author]; Parkes, Alan P. [Author] Published: London; Berlin; Heidelberg [u.a.]: Springer, 2002 Extent: XI, 351 S.; Ill., graph. Darst Language: English ISBN: 1852334649 RVK notation: ST 130 : Allgemeines ST 240 : Programmiersprachen allgemein (Maschinenorientierte Programmiersprachen, problemorientierte prozedurale Sprachen, applikative und funktionale Sprachen) Keywords: Formale Sprache Automatentheorie Mathematische Logik Komplexitätstheorie Turing-Maschine Origination: Footnote:
Central Library – textbook collection (tbc) Shelf-mark: ST 130 P245 Item ID: 30921552 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 P245 Item ID: 30921553 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 P245 Item ID: 30921554 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 P245 Item ID: 30921555 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 P245 Item ID: 30921556 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 P245 Item ID: 30921558 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 P245 Item ID: 30921559 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 P245 Item ID: 30921560 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 130 P245 Item ID: 30921561 Status: Loanable
Departmental Library DrePunct – open access area Shelf-mark: ST 130 P245 Item ID: 30921557 Status: To be used in the library, interlibrary loan possible