LEADER 01072nam0-2200349---450- 001 990008606250403321 005 20080126123126.0 010 $a978-3-540-72186-4 035 $a000860625 035 $aFED01000860625 035 $a(Aleph)000860625FED01 035 $a000860625 100 $a20080126d2007----km-y0itay50------ba 101 0 $aeng 102 $aDE 105 $aa-------101yy 200 1 $aHyperbolic systems of balance laws$eLectures given at the CIME summer school held in Cetraro, Italy, july 14-21,2003$fP. Marcati, editor 210 $aBerlin$cSpringer$dc2007 215 $axii, 346 p.$d24 cm 225 1 $aLecture notes in mathematics$v1911 610 0 $aEquazioni differenziali alle derivate parziali di tipo iperbolico 676 $a515.35$v21$zita 702 1$aMarcati,$bPierangelo 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008606250403321 952 $aC-20-(1911$b22172$fMA1 959 $aMA1 962 $a35L60 962 $a35L67 996 $aHyperbolic systems of balance laws$9230584 997 $aUNINA LEADER 01205nam0 2200277 i 450 001 SUN0000070 005 20110830110001.21 100 $a20020502d2000 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aCodice comunitario della sicurezza e della salute nel lavoro$fa cura di Raffaele Foglia 210 $aRoma$cInail$dstampa 2000 215 $aXXII, 1744 p.$d24 cm. 606 $aLavoro$xSicurezza$xUnione europea$xLegislazione$2FI$3SUNC000064 606 $aLavoro$xSalute$xUnione europea$xLegislazione$2FI$3SUNC000065 620 $dRoma$3SUNL000360 676 $a344.40465$v21 702 1$aFoglia$b, Raffaele$3SUNV000090 712 $aIstituto nazionale per l'assicurazione contro gli infortuni sul lavoro$3SUNV005678$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0000070 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00 CONS X.A.13 $e00 19081 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$h19081$kCONS X.A.13$op$qa 996 $aCodice comunitario della sicurezza e della salute nel lavoro$91439431 997 $aUNICAMPANIA LEADER 01349nam--2200385---450- 001 990001073130203316 005 20090730131915.0 010 $a88-8149-263-6 035 $a000107313 035 $aUSA01000107313 035 $a(ALEPH)000107313USA01 035 $a000107313 100 $a20020426d2001----km-y0itay0103----ba 101 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $aLavoro a tempo determinato$edecreto legislativo 6 settembre 2001, n.368, attuazione della Direttiva 1999/70/CE relativa all'Accordo Quadro sul lavoro a tempo determinato concluso dall'UNICE, dal CEEP e dal CES$fGiuseppe Vinci, Lauretta Vuillermoz 210 $aNapoli$cFinanze & Lavoro$d2001 215 $a126 p.$d21 cm 225 2 $aLavoro oggi$v108 410 0$12001$aLavoro oggi 606 $aContratti di lavoro a tempo determinato 676 $a331 700 1$aVINCI,$bGiuseppe$f<1941- >$0783996 701 1$aVUILLERMOZ,$bLauretta$0553661 801 0$aIT$bsalbc$gISBD 912 $a990001073130203316 951 $aXXV.2.A 55 (IG III 1006)$b32784 G.$cXXV.2.A 55 (IG III)$d00080979 959 $aBK 969 $aGIU 979 $aPAOLA$b90$c20020426$lUSA01$h1115 979 $aPATRY$b90$c20040406$lUSA01$h1714 979 $aRSIAV4$b90$c20090730$lUSA01$h1319 996 $aLavoro a tempo determinato$91742070 997 $aUNISA LEADER 01162nam 2200313Ia 450 001 996391314703316 005 20210104171817.0 035 $a(CKB)4940000000098251 035 $a(EEBO)2240900317 035 $a(OCoLC)ocn953793125e 035 $a(OCoLC)953793125 035 $a(EXLCZ)994940000000098251 100 $a20160720d1606 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 04$aThe doctrine of the Bible, or, Rules of discipline$b[electronic resource] $ebrieflie gethered through the whole course of the scripture, by way of questions and answers 210 $aAt London $cPrinted by Richard Braddocke, for Thomas Pauier, and are to be sold at his shop, at the entering in of the Exchange$d1606 215 $a[4], 136, [2] p 300 $aReproduction of original in: Yale University Library. 330 $aeebo-0198 608 $aQuestions and answers.$2rbgenr 702 $aBradock$b Richard$factive 1581-1615, 702 $aPavier$b Thomas$f-1625, 801 0$bUMI 801 1$bUMI 906 $aBOOK 912 $a996391314703316 996 $aThe doctrine of the Bible: or, Rules of discipline$92303739 997 $aUNISA LEADER 01441nam0-22004811i-450 001 990000428160403321 005 20250708130720.0 010 $a88-8114-511-1 035 $a000042816 035 $aFED01000042816 035 $a(Aleph)000042816FED01 035 $a000042816 100 $a20020821d1997----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay---ac--001yy 200 1 $aConoscenza e rappresentazione del costruito$eun itinerario all'interno di uno dei pił attuali problemi di interesse collettivo$fPaolo Jossa 210 $aNapoli$cEdizioni Scientifiche Italiane$d1997 215 $a260 p.$d22 cm 610 0 $aArchitettura$aSaggi 610 0 $aRilievo architettonico 676 $a720 700 1$aJossa,$bPaolo$024143 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000428160403321 952 $a08 AE 70$b616$fDINED 952 $a17.225$b2836$fDARST 952 $a30.641$b8529$fDARST 952 $aDE FUSCO 577$bRDF 604$fDARST 952 $aTECN 17$fDARST 952 $aINU B 998$b1381$fFARBC 952 $aC 1319 CAN$bs.i.$fDARPU 952 $aTECN B 1133$b8600$fFARBC 952 $aTECN B 1131$b8573$fFARBC 952 $aTECN B 1132$b8601$fFARBC 952 $aTECN B 1415$b11623$fFARBC 959 $aDARPU 959 $aFARBC 959 $aDINED 959 $aDARST 996 $aConoscenza e rappresentazione del costruito$9327880 997 $aUNINA LEADER 03935nam 22007935 450 001 9910413437403321 005 20251113184313.0 010 $a3-030-55089-3 024 7 $a10.1007/978-3-030-55089-9 035 $a(CKB)4100000011363684 035 $a(DE-He213)978-3-030-55089-9 035 $a(MiAaPQ)EBC6274786 035 $a(Au-PeEL)EBL6274786 035 $a(OCoLC)1182869233 035 $a(PPN)255404247 035 $a(MiAaPQ)EBC30797308 035 $a(Au-PeEL)EBL30797308 035 $a(EXLCZ)994100000011363684 100 $a20200731d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEngineering Trustworthy Software Systems $e5th International School, SETSS 2019, Chongqing, China, April 21?27, 2019, Tutorial Lectures /$fedited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVII, 221 p. 32 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12154 311 08$a3-030-55088-5 320 $aIncludes bibliographical references and index. 327 $aSeamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. 330 $aThis book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019. The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapters include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K ? A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12154 606 $aSoftware engineering 606 $aComputer networks 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputer systems 606 $aNatural language processing (Computer science) 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aComputer System Implementation 606 $aNatural Language Processing (NLP) 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputer systems. 615 0$aNatural language processing (Computer science). 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aComputer System Implementation. 615 24$aNatural Language Processing (NLP). 676 $a005.1 702 $aBowen$b Jonathan P. 702 $aLiu$b Zhiming 702 $aZhang$b Zili$c(Senior lecturer), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910413437403321 996 $aEngineering Trustworthy Software Systems$91889268 997 $aUNINA