LEADER 01156nam--2200361---450- 001 990002418720203316 005 20091030091224.0 010 $a2-204-07051-3 035 $a000241872 035 $aUSA01000241872 035 $a(ALEPH)000241872USA01 035 $a000241872 100 $a20050510d2003----km-y0enga50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> Saint-Siège$esujet souverain de droit international$fGiovanni Barberini$gpréface du Cardinal Jean-Louis Tauran 210 $aParis$cLes éditiomùns du Cerf$d2003 215 $a237 p.$d23 cm 606 0 $aSanta Sede$xDiritto internazionale 606 0 $aSanta Sede$xRelazioni internazionali 676 $a341.33 700 1$aBARBERINI,$bGiovanni$0229169 702 1$aTAURAN,$bJean-Louis 801 0$aIT$bsalbc$gISBD 912 $a990002418720203316 951 $aXXIII.1.D. 176 (IG VIII 13 FR 340)$b42054 G.$cXXIII.1.D. 176 (IG VIII 13 FR)$d00135318 959 $aBK 969 $aGIU 979 $aCHIARA$b90$c20050510$lUSA01$h1321 979 $aRSIAV3$b90$c20091030$lUSA01$h0912 996 $aSaint-Siège$91065836 997 $aUNISA LEADER 01157nam 2200373 450 001 9910478915103321 010 $a1-62623-798-0 035 $a(CKB)4100000008487621 035 $a(MiAaPQ)EBC5788274 035 $a(EXLCZ)994100000008487621 100 $a20190628d2019 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDeep brain stimulation $etechniques and practices /$fWilliam S. Anderson ; the Society for Innovative Neuroscience in Neurosurgery 210 1$aNew York :$cThieme,$d[2019] 210 4$d©2019 215 $a1 online resource (176 pages) 311 $a1-62623-797-2 606 $aDeep Brain Stimulation 608 $aElectronic books. 615 0$aDeep Brain Stimulation. 676 $a616.80475 700 $aAnderson$b William S$g(William Stanley),$f1968-$0938843 712 02$aSociety for Innovative Neuroscience in Neurosurgery, 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910478915103321 996 $aDeep brain stimulation$92116354 997 $aUNINA LEADER 06116nam 22007575 450 001 996465419103316 005 20200702192502.0 010 $a3-642-30476-1 024 7 $a10.1007/978-3-642-30476-7 035 $a(CKB)3400000000085293 035 $a(SSID)ssj0000697634 035 $a(PQKBManifestationID)11460674 035 $a(PQKBTitleCode)TC0000697634 035 $a(PQKBWorkID)10691111 035 $a(PQKB)10935393 035 $a(DE-He213)978-3-642-30476-7 035 $a(MiAaPQ)EBC3071060 035 $a(PPN)168316862 035 $a(EXLCZ)993400000000085293 100 $a20120525d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheory and Practice of Model Transformations$b[electronic resource] $e5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /$fedited by Zhenjiang Hu, Juan de Lara 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (X, 297 p. 115 illus.) 225 1 $aProgramming and Software Engineering ;$v7307 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-30475-3 320 $aIncludes bibliographical references and index. 327 $tHow clean is your sandbox?: towards a unified theoretical framework for incremental bidirectional transformations /$rJames F. Terwilliger,$rAnthony Cleve$gand$rCarlo A. Curino --$tUsing models of partial knowledge to test model transformations /$rSagar Sen,$rJean-Marie Mottu,$rMassimo Tisi$gand$rJordi Cabot --$tSpecification-driven test generation for model transformations /$rEsther Guerra --$tTyping model transformations using tracts /$rAntonio Vallecillo$gand$rMartin Gogolla --$tReusable and correct endogenous model transformations /$rSuzana Andova,$rMark G. J. van den Brand$gand$rLuc Engelen --$tMultifocal: a strategic bidirectional transformation language for XML schemas /$rHugo Pacheco$gand$rAlcino Cunha --$tBidirectional transformation of model-driven spreadsheets /$rJa?come Cunha,$rJoa?o P. Fernandes,$rJorge Mendes,$rHugo Pacheco$gand$rJoa?o Saraiva --$tDomain-specific optimization in digital forensics /$rJeroen van den Bos$gand$rTijs van der Storm --$tEmpirical assessment of business model transformations based on model simulation /$rMari?a Ferna?ndez-Ropero,$rRicardo Pe?rez-Castillo,$rBarbara Weber$gand$rMario Piattini --$tTraceability visualization in model transformations with TraceVis /$rMarcel F. van Amstel,$rMark G. J. van den Brand$gand$rAlexander Serebrenik 327 $tType-safe model transformation languages as internal DSLs in Scala /$rLars George,$rArif Wider$gand$rMarkus Scheidgen --$tTowards a family of model transformation languages /$rJesu?s Sa?nchez Cuadrado --$tTranslational semantics of a co-evolution specific language with the EMF transformation virtual machine /$rDennis Wagelaar,$rLudovico Iovino,$rDavide Di Ruscio$gand$rAlfonso Pierantonio --$tTowards multi-level aware model transformations /$rColin Atkinson,$rRalph Gerbig$gand$rChristian Tunjic --$gAn$tAlgorithm for generating model-sensitive search plans for EMF models /$rGergely Varro?,$rFrederik Deckwerth,$rMartin Wieber$gand$rAndy Schu?rr --$tPaisley: pattern matching a? la carte /$rBaltasar Tranco?n y Widemann$gand$rMarkus Lepper --$tConstraint-driven modeling through transformation /$rAndreas Demuth,$rRoberto E. Lopez-Herrejon$gand$rAlexander Egyed --$gThe$tImpact of class model redesign on state machines /$rPiotr Kosiuczenko --$tFact or fiction - reuse in rule-based Model-to-Model transformation languages /$rManuel Wimmer,$rGerti Kappel,$rAngelika Kusel,$rWerner Retschitzegger$gand$rJohannes Scho?nbo?ck,$get al. 330 $aThis book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization. 410 0$aProgramming and Software Engineering ;$v7307 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer communication systems 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 608 $aConference proceedings. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer communication systems. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Communication Networks. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aHu$b Zhenjiang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Lara$b Juan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aICMT 2012 906 $aBOOK 912 $a996465419103316 996 $aTheory and Practice of Model Transformations$9774212 997 $aUNISA