LEADER 01295nam 2200349 n 450 001 996386844003316 005 20221108012748.0 035 $a(CKB)1000000000611651 035 $a(EEBO)2240863148 035 $a(UnM)99845481 035 $a(EXLCZ)991000000000611651 100 $a19910930d1621 uy | 101 0 $alat 135 $aurbn||||a|bb| 200 00$aPraelectiones in Philippicam de pace Demosthenis. Andre Douni professoris Regii Cantabrigi Grci$b[electronic resource] 210 $aLondini $cApud Iohannem Billium, typographum regium$d1621 215 $a[12], 200, [4] p 300 $aWith the original Greek text. 300 $aCf. Folger catalogue, which gives signatures: a⁴ b² A-Bb⁴ Cc² . 300 $aWith a final colophon leaf with errata. 300 $aRunning title reads: Prælectiones in Demosthenem. 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 700 $aDownes$b Andrew$f1549?-1628.$01010643 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996386844003316 996 $aPraelectiones in Philippicam de pace Demosthenis. Andre Douni professoris Regii Cantabrigi Grci$92338682 997 $aUNISA LEADER 04262nam 22007695 450 001 9910437863603321 005 20200706150614.0 010 $a88-470-5474-5 024 7 $a10.1007/978-88-470-5474-5 035 $a(CKB)3710000000031336 035 $a(SSID)ssj0001068010 035 $a(PQKBManifestationID)11626559 035 $a(PQKBTitleCode)TC0001068010 035 $a(PQKBWorkID)11092349 035 $a(PQKB)10529364 035 $a(DE-He213)978-88-470-5474-5 035 $a(PPN)176127372 035 $a(EXLCZ)993710000000031336 100 $a20131114d2013 u| 0 101 0 $aita 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTeoria degli Automi Finiti /$fby Aldo de Luca, Flavio D'Alessandro 205 $a1st ed. 2013. 210 1$aMilano :$cSpringer Milan :$cImprint: Springer,$d2013. 215 $a1 online resource (XI, 323 pagg.) 225 1 $aLa Matematica per il 3+2,$x2038-5722 ;$v68 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a88-470-5473-7 327 $a1 Teoria dei Semigruppi -- 2 Relazioni di Green -- 3 Semigruppi e monoidi liberi -- 4 Automi finiti -- 5 Equivalenza di automi -- 6 Espressioni razionali e Star-height -- 7 Relazioni razionali. 330 $aGli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo. La teoria degli Automi Finiti costituisce una delle parti fondamentali dell?Informatica Teorica. Questo volume fornisce, per la prima volta, nel panorama didattico italiano una trattazione matematicamente rigorosa della teoria degli Automi Finiti e delle macchine sequenziali generalizzate nell?ambito della teoria algebrica dei semigruppi. Il volume, la cui lettura presuppone solamente conoscenze elementari di algebra, si rivolge agli studenti sia dei corsi di laurea magistrale e specialistica che di master e di dottorato in Informatica, in Matematica, ed in Ingegneria. Il libro anche uno strumento utilissimo per gli studiosi di Informatica e, in particolare, di Informatica Teorica, ai quali fornisce una trattazione completa e rigorosa della teoria algebrica degli Automi. Ogni capitolo ha una sezione di esercizi ed una di note bibliografiche. La risoluzione della maggior parte degli esercizi riportata alla fine del volume. 410 0$aLa Matematica per il 3+2,$x2038-5722 ;$v68 606 $aComputers 606 $aLogic, Symbolic and mathematical 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aCombinatorial analysis 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044 606 $aDiscrete Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29000 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 606 $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003 615 0$aComputers. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aCombinatorial analysis. 615 0$aApplied mathematics. 615 0$aEngineering mathematics. 615 14$aTheory of Computation. 615 24$aMathematical Logic and Formal Languages. 615 24$aMath Applications in Computer Science. 615 24$aDiscrete Mathematics. 615 24$aCombinatorics. 615 24$aApplications of Mathematics. 676 $a004.0151 700 $ade Luca$b Aldo$4aut$4http://id.loc.gov/vocabulary/relators/aut$045516 702 $aD'Alessandro$b Flavio$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910437863603321 996 $aTeoria degli Automi Finiti$92502678 997 $aUNINA