LEADER 01535nam 2200409 450 001 000013565 005 20050718115500.0 010 $a88-7178-912-1$b(Vol. 1.) 010 $a88-7178-317-4$b(Vol. 2.) 100 $a20030521d1990----km-y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $aLezioni di impianti tecnici$fE. Bettanini, P. F. Brunello 210 $aPadova$cCLEUP 215 $av.$d24 cm. 327 1 $aVol. 2. - 1990. - VIII, 419 p 606 $aEdifici$xImpianti tecnici 676 $a696$v(21. ed.)$9Impianti 700 1$aBettanini,$bErnesto$0430682 701 1$aBrunello,$bPierfrancesco$0430683 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000013565 996 $aLezioni di impianti tecnici$981481 997 $aUNIBAS BAS $aMONING BAS $aINGEGNERIA CAT $aSTD024$b01$c20030521$lBAS01$h1202 CAT $aSTD024$b01$c20030522$lBAS01$h1011 CAT $aTORRE$b20$c20050412$lBAS01$h1148 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1051 CAT $c20050718$lBAS01$h1111 CAT $c20050718$lBAS01$h1141 CAT $c20050718$lBAS01$h1155 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2DID$BDidattica$3PTS.s3.p32.8$680533$5I80533$820030522$b1$eVII, 238$f04$FPrestabile Didattica$hVol. 1. Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2DID$BDidattica$3PTS.s3.p32.9$680532$5I80532$820030521$b2$eVIII, 419$f04$FPrestabile Didattica$hVol. 2. LEADER 04034nam 22006975 450 001 996466227503316 005 20200705140519.0 010 $a3-319-79108-7 024 7 $a10.1007/978-3-319-79108-1 035 $a(CKB)4100000002892546 035 $a(DE-He213)978-3-319-79108-1 035 $a(MiAaPQ)EBC6314640 035 $a(MiAaPQ)EBC5576937 035 $a(Au-PeEL)EBL5576937 035 $a(OCoLC)1030437740 035 $a(PPN)225550903 035 $a(EXLCZ)994100000002892546 100 $a20180327d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBidirectional Transformations$b[electronic resource] $eInternational Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures /$fedited by Jeremy Gibbons, Perdita Stevens 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (IX, 189 p.) 225 1 $aProgramming and Software Engineering ;$v9715 300 $aIncludes index. 311 $a3-319-79107-9 327 $aIntroduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations. 330 $aBidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. BX have applications in databases, user interface design, model-driven development, and many other domains. This volume represents the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford, UK, in July 2016. The school was one of the final activities on the project "A Theory of Least Change for Bidirectional Transformations", running at the University of Oxford and the University of Edinburgh from 2013 to 2017 and funded by the UK Engineering and Physical Sciences Research Council. The five chapters included in this volume are a record of most of the material presented at the summer school. After a comprehensive introduction to bidirectional transformations, they deal with triple graph grammars, modular edit lenses, putback-based bidirectional programming, and engineering of bidirectional transformations. 410 0$aProgramming and Software Engineering ;$v9715 606 $aSoftware engineering 606 $aComputer logic 606 $aManagement information systems 606 $aComputer science 606 $aDatabase management 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aDatabase management. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 615 24$aDatabase Management. 676 $a511.326 702 $aGibbons$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStevens$b Perdita$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466227503316 996 $aBidirectional Transformations$92273071 997 $aUNISA LEADER 01829nam0 22003853i 450 001 LO10245196 005 20231121125516.0 010 $a8824309585 020 $aIT$b92-8975 100 $a19960415d1992 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aIntegrazioni salariali, eccedenze di personale e mercato del lavoro$ecommento sistematico alla L. 223/1991$fa cura di Giuseppe Ferraro, Fabio Mazziotti, Francesco Santoni$gcon i contributi di Emilio Balletti ... [et al.] 210 $aNapoli$cJovene$d1992 215 $aXXIII, 408 p.$d24 cm. 606 $aDiritto del lavoro$2FIR$3RMLC022524$9E 606 $aCassa integrazione guadagni$xLegislazione$xItalia$2FIR$3RMLC013296$9I 606 $aLavoratori$xMobilita$xLegislazione$2FIR$3RMLC060856$9I 702 1$aMazziotti$b, Fabio$3CFIV037097 702 1$aSantoni$b, Francesco$f <1949- >$3CFIV071713 702 1$aBalletti$b, Emilio$3CFIV100788 702 1$aFerraro$b, Giuseppe$f <1947- $c ; Napoli>$3CFIV200097 790 1$aMazziotti di Celso$b, Fabio$3VEAV034371$zMazziotti, Fabio 801 3$aIT$bIT-01$c19960415 850 $aIT-RM028 $aIT-FR0098 $aIT-RM0574 899 $aBiblioteca Universitaria Alessandrina$bRM028 899 $aBiblioteca Area Giuridico Economica$bFR0098 899 $aBiblioteca del Consiglio nazionale dell'economia e del lavoro$bRM0574 912 $aLO10245196 950 0$aBiblioteca Area Giuridico Economica$d 53DSG 02/0204$e 53VM 0000203305 VM barcode:GIU000574. - Inventario:726VM$fA $h20010423$i20121204 977 $a 01$a 53$a 61 996 $aIntegrazioni salariali, eccedenze di personale e mercato del lavoro$963864 997 $aUNICAS