LEADER 01057nam--2200361---450- 001 990006072390203316 005 20150914125407.0 035 $a000607239 035 $aUSA01000607239 035 $a(ALEPH)000607239USA01 035 $a000607239 100 $a20150914d--------km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aFunzionalismo e urbanistica$fMario Perniola 210 $a[Torino]$cIstituto di Estetica dell'Università di Torino$d[s.d.] 215 $a[254]-258 p.$d24 cm 300 $aTitolo dell'intitolazione 300 $aEstratto da: Rivista di Estetica, 15 (maggio-agosto 1970), n. 2 410 0$12001 454 1$12001 606 0 $aUrbanistica$2BNCF 676 $a711 700 1$aPERNIOLA,$bMario$0142911 801 0$aIT$bsalbc$gISBD 912 $a990006072390203316 951 $aFC.OE. 1019$b1149 FCil$cFC.OE.$d00346363 959 $aBK 969 $aFCIL 979 $aGENEROSO$b90$c20150914$lUSA01$h1254 996 $aFunzionalismo e urbanistica$91491259 997 $aUNISA LEADER 04587nam 22005895 450 001 996465422103316 005 20200630045909.0 010 $a3-540-37826-X 024 7 $a10.1007/BFb0039132 035 $a(CKB)1000000000229674 035 $a(SSID)ssj0000392617 035 $a(PQKBManifestationID)11289225 035 $a(PQKBTitleCode)TC0000392617 035 $a(PQKBWorkID)10360405 035 $a(PQKB)10014078 035 $a(DE-He213)978-3-540-37826-6 035 $a(PPN)155211382 035 $a(EXLCZ)991000000000229674 100 $a20121227d1973 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$a1. Fachtagung über Automatentheorie und Formale Sprachen$b[electronic resource] $eGI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973 /$fherausgegeben von Karl-Heinz Böhling, Klaus Indermark 205 $a1st ed. 1973. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1973. 215 $a1 online resource (X, 330 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-06527-X 327 $aOn the structure of algorithmic problems -- A mathematical model of digital computers -- On some recent problems concerning developmental languages -- Fault-tolerance and stability of fuzzy-state automata -- Bemerkungen über Homomorphismen endlicher in lineare Automaten -- Der Kaskadenzerlegungssatz für Halbautomaten -- Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme -- Ketten und arithmetische Prädikate von endlichen Automaten -- Une hierarchie infinie de cones d'Accepteurs verificateurs -- Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten -- Ein automatentheoretisches Modell einer Speicherhierarchie -- Deterministic one-counter automata -- The use of metric and uniform spaces for the formalization of behavioral proximity of states -- Quelques generateurs des langages algebriques -- Une caracterisation des langages quasi-rationnels standards -- Der Einfluss von Kontext auf spezielle CF-Grammatiken -- Zur Komplexität gesteuerter kontextfreier Ersetzungen -- Characterization of derivation sets of formal systems -- Die Darstellung indizierter Sprachen durch Ausdrücke -- Codes and aperiodic languages -- The characterization of certain classes of languages in the context sensitive area by automata -- A characterization of boolean closures of families of languages -- Zufällige Folgen und Bi-Immunität -- Die mittler Additionsdauer eines Paralleladdierwerks -- On the number of multiplications required by the product of two matrices -- Elementare und subelementare Funktionenklassen über binären Bäumen -- Über die Vernetzungsstruktur von Maschinen -- On the simulation of time bounded machines -- Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen -- Über eine Hierarchie von Push-Down-Entscheidbaren Mengen -- A characterization of the classes L1 and R1 of primitive recursive word functions -- A drum scheduling algorithm -- Some considerations about classes of mappings between context-free derivation systems -- On ianov schemas with one memory location -- Reduction goals in bottom-up recognition -- Un modele semantique pour un langage simple de programmation -- Erweiterungen subrekursiver Programmiersprachen. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2 606 $aComputer programming 606 $aComputers 606 $aMathematical logic 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputer programming. 615 0$aComputers. 615 0$aMathematical logic. 615 14$aProgramming Techniques. 615 24$aComputation by Abstract Devices. 615 24$aMathematical Logic and Formal Languages. 676 $a005.11 702 $aBöhling$b Karl-Heinz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aIndermark$b Klaus$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465422103316 996 $a1. Fachtagung über Automatentheorie und Formale Sprachen$92830302 997 $aUNISA