LEADER 00845nam0-22002891i-450- 001 990001089790403321 010 $a0-521-24858-2 035 $a000108979 035 $aFED01000108979 035 $a(Aleph)000108979FED01 035 $a000108979 100 $a20000920d1982----km-y0itay50------ba 101 0 $aeng 200 1 $aDynamic Theory$eA Theory of Reminding and Learning in Computers and People$fRoger C. Schank 210 $aCambridge$cCambridge University Press$d1982 610 0 $aTeoria della programmazione e utilizzazione dei computers 610 0 $aSoftware 676 $a510.78 700 1$aSchank,$bRoger C.$032334 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001089790403321 952 $a8B-200$b16246$fFI1 959 $aFI1 996 $aDynamic Theory$9335833 997 $aUNINA DB $aING01 LEADER 01022nam a22002771i 4500 001 991000873329707536 005 20030226185306.0 008 021102s1979 it |||||||||||||||||ita 035 $ab12067398-39ule_inst 035 $aARCHE-015719$9ExL 040 $aDip.to Filologia Ling. e Lett.$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a808.3 100 1 $aMercier, Michel$d<1936- >$0449919 245 13$aIl romanzo al femminile /$cMichel Mercier ; traduzione di Paolo Baldan 260 $aMilano :$bIl saggiatore,$c1979 300 $a294 p. ;$c18 cm 440 2$aI gabbiani ;$v136 650 4$aDonna$xLetture 650 4$aDonna nella letteratura narrativa 700 1 $aBaldan, Paolo 907 $a.b12067398$b02-04-14$c01-04-03 912 $a991000873329707536 945 $aLE008 LLI II I 18$g1$i2008000261504$lle008$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i12364198$z01-04-03 996 $aRomanzo al femminile$9138677 997 $aUNISALENTO 998 $ale008$b01-04-03$cm$da $e-$fita$git $h3$i1 LEADER 04144nam 22007215 450 001 9910298961203321 005 20251116145034.0 010 $a3-662-47980-X 024 7 $a10.1007/978-3-662-47980-3 035 $a(CKB)3710000000541798 035 $a(EBL)4216860 035 $a(SSID)ssj0001597034 035 $a(PQKBManifestationID)16298431 035 $a(PQKBTitleCode)TC0001597034 035 $a(PQKBWorkID)14886738 035 $a(PQKB)10130931 035 $a(DE-He213)978-3-662-47980-3 035 $a(MiAaPQ)EBC4216860 035 $a(PPN)190885882 035 $a(EXLCZ)993710000000541798 100 $a20151221d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aGraph and model transformation $egeneral framework and applications /$fby Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann 205 $a1st ed. 2015. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015. 215 $a1 online resource (468 p.) 225 1 $aMonographs in Theoretical Computer Science. An EATCS Series,$x1431-2654 300 $aDescription based upon print version of record. 311 08$a3-662-47979-6 320 $aIncludes bibliographical references and index. 327 $aGeneral Introduction -- Graph Transformation -- Model Transformation -- Adhesive and M-adhesive Categories -- M-adhesive Transformation Systems -- Multi-amalgamated Transformations -- Model Transformation and Model Integration -- Analysis of Model Transformations -- Model Synchronisation -- Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation -- Enterprise Modelling and Model Integration -- Tool Support -- App. A, Basic Notions of Category Theory -- App. B, Proofs and Additional Properties -- References -- Index. 330 $aThis book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support.   The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling. 410 0$aMonographs in Theoretical Computer Science. An EATCS Series,$x1431-2654 606 $aComputers 606 $aSoftware engineering 606 $aCategories (Mathematics) 606 $aAlgebra, Homological 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aCategory Theory, Homological Algebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11035 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aCategories (Mathematics) 615 0$aAlgebra, Homological. 615 14$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aCategory Theory, Homological Algebra. 676 $a511.5 700 $aEhrig$b Hartmut$4aut$4http://id.loc.gov/vocabulary/relators/aut$056511 702 $aErmel$b Claudia$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aGolas$b Ulrike$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aHermann$b Frank$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910298961203321 996 $aGraph and Model Transformation$92535222 997 $aUNINA