01084nam1-2200397---450-99000311295020331620080530095314.0000311295USA01000311295(ALEPH)000311295USA0100031129520080530d1985----km-y0itay50------bafreFR||||||||001yy<<Le>> roman de Renarttexte etabli et traduit par Jean Dufournet et Andree MelineParisFlammarioncopyr. 1985v.18 cmGF2001GF2001001-------20010019900031129602033162001 <<v. 2.>>Narrativa franceseOrigini843.1DUFOURNET,JeanMÉLINE,AndréeITsalbcISBD990003112950203316III.8.A.DSLLBKDSLLDSLL9020080530USA010949DSLL9020080530USA010953Roman de Renart55572UNISA01083nam--2200373---450-99000307386020331620080304111242.02-8027-0403-6000307386USA01000307386(ALEPH)000307386USA0100030738620080304d1988----km-y0itay50------babelFR||||||||001yyConstitutiones AfricaeF. Reyntjens, redacteur generalG. Conac ... [et al.]K. de Feyter, secretaire de redactionBruxellesBruylant19882 v.25 cmPubbl. a fogli mobili20012001001-------2001Paesi africaniCostituzioni politiche342.602REYNTJENS,F.600465ITsalbcISBD990003073860203316342.602 REY2393 DITESI (sez. 2 n.604-605)BKDITESIDITESI1020080304USA011112Constitutiones Africae1023434UNISA02972nam 22007575 450 99646629020331620230124142414.03-030-03769-X10.1007/978-3-030-03769-7(CKB)4100000007127615(DE-He213)978-3-030-03769-7(MiAaPQ)EBC6301983(PPN)232470847(EXLCZ)99410000000712761520181107d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierRuntime Verification[electronic resource] 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /edited by Christian Colombo, Martin Leucker1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XI, 470 p. 113 illus., 42 illus. in color.) Programming and Software Engineering,2945-9168 ;11237Includes index.3-030-03768-1 Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Programming and Software Engineering,2945-9168 ;11237Software engineeringCompilers (Computer programs)Electronic digital computers—EvaluationComputer scienceComputersProfessionsMachine theorySoftware EngineeringCompilers and InterpretersSystem Performance and EvaluationComputer Science Logic and Foundations of ProgrammingThe Computing ProfessionFormal Languages and Automata TheorySoftware engineering.Compilers (Computer programs).Electronic digital computers—Evaluation.Computer science.Computers.Professions.Machine theory.Software Engineering.Compilers and Interpreters.System Performance and Evaluation.Computer Science Logic and Foundations of Programming.The Computing Profession.Formal Languages and Automata Theory.005.14Colombo Christianedthttp://id.loc.gov/vocabulary/relators/edtLeucker Martinedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466290203316Runtime Verification772115UNISA01680nam0 22003733i 450 VEA002442620251003044437.0882043573X19920622d1989 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrierConservazione e sviluppola valutazione nella pianificazione fisicascritti di Enrico Esposito [et al..]a cura di Luigi Fusco GirardMilanoF. Angelic1989265 p.ill.22 cm.Studi urbani e regionali51001CFI00194872001 Studi urbani e regionali51PIANIFICAZIONE URBANISTICAMODELLISAGGIFIRMILC022693I711URBANISTICA (PIANIFICAZIONE TERRITORIALE)14Pianificazione urbanaModelli interniPianificazione urbanisticaPianificazione urbanaModelliModelli interniFusco Girard, LuigiCFIV056827Esposito, Enrico <ricercatore>CFIV252193ITIT-00000019920622IT-BN0095 NAP 01POZZO LIB.Vi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. VEA0024426Biblioteca Centralizzata di Ateneo1 v. 01POZZO LIB.ECON MON 8169 0101 0000100895E VMA 1 v. (Precedente collocazione: GUERRAZZI B 1241)B 2008061620080616 01Conservazione e sviluppo70101UNISANNIO