01338nam0 2200313 450 00002859420110624100940.020110624d1979----km-y0itaa50------baitaIT<<La>> Civil conversazione in Germanialetteratura del comportamento da Stefano Guazzo a Adolph Knigge1574-1788Emilio BonfattiUdineDel Bianco1979276 p., [1] carta di tav.Università degli studi di Trieste, Facoltà di magistero3. serie42001Università degli studi di Trieste, Facoltà di Magistero3. serie4Letteratura italianaSec. 16.FortunaGermaniaLetteratura tedescaInflussi italianiSec. 16.-18.858.4(21. ed.)Miscellanea italiana. 1542-1585Bonfatti,Emilio156015ITUniversità della Basilicata - B.I.A.RICAunimarc000028594Civil conversazione in Germania95566UNIBASLETTERETTM3020110624BAS010948TTM3020110624BAS010949TTM3020110624BAS011009BAS01BAS01BOOKBASA1Polo Storico-UmanisticoFMASFondo MasiniFMas/817/3890817/3890B817/38902011062404Prestabile Didattica04205nam 22008175 450 99646530020331620200704103214.03-642-04694-010.1007/978-3-642-04694-0(CKB)1000000000784754(SSID)ssj0000319895(PQKBManifestationID)11243384(PQKBTitleCode)TC0000319895(PQKBWorkID)10343193(PQKB)11379661(DE-He213)978-3-642-04694-0(MiAaPQ)EBC3064603(PPN)139958908(EXLCZ)99100000000078475420100301d2009 u| 0engurnn#008mamaatxtccrRuntime Verification[electronic resource] 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /edited by Saddek Bensalem, Doron A. Peled1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (VII, 203 p.)Programming and Software Engineering ;5779Bibliographic Level Mode of Issuance: Monograph3-642-04693-2 Includes bibliographical references and index.Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking.Programming and Software Engineering ;5779Software engineeringComputersComputer software—ReusabilityProgramming languages (Electronic computers)Computer system failuresSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Performance and Reliabilityhttps://scigraph.springernature.com/ontologies/product-market-codes/I12077Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Grenobble (2009)swdGrenoble (2009)swdKongress.swdSoftware engineering.Computers.Computer software—Reusability.Programming languages (Electronic computers).Computer system failures.Software Engineering.Software Engineering/Programming and Operating Systems.Theory of Computation.Performance and Reliability.Programming Languages, Compilers, Interpreters.System Performance and Evaluation.005.1/17DAT 263fstubDAT 325fstubSS 4800rvkBensalem Saddekedthttp://id.loc.gov/vocabulary/relators/edtPeled Doron Aedthttp://id.loc.gov/vocabulary/relators/edtRV 2009BOOK996465300203316Runtime Verification772115UNISA01471oam 2200349z- 450 991014953710332120160702083733.01-4824-5535-8(CKB)3710000000933998(VLeBooks)9781482455359(EXLCZ)99371000000093399820210505c2017uuuu -u- -engAt the Sheep FarmGareth Stevens Publishing LLLP1 online resource (24 p.)Fun on the Farm1-4824-5534-X Sheep on the farm -- Grassy farms -- Woolly sheep -- Moms and lambs.Sheep are useful farm animals because they help keep us warm! Through colorful photographs and accessible text, beginning readers will learn how these animals are raised by farmers to grow wool, how farmers cut it off them safely, and how that wool is used to make clothes! They'll also learn how dogs help farmers herd these sheep and keep them safe on the farm, and how baby lambs are born in this exciting title that explores the lives of these special farm animals.SheepJuvenile literatureSheep farmingJuvenile literatureSheep ranchesJuvenile literatureSheepSheep farmingSheep ranches636.3Esseltine Bruce1244743BOOK9910149537103321At the sheep farm2894237UNINA