01259nam0-22003491i-450-99000223022040332120121214091442.0000223022FED01000223022(Aleph)000223022FED0100022302220030910d1999----km-y0itay50------baitaIdentificazione spettroscopica di composti organiciRobert M. Silverstein, Francis X. Websteredizione italiana a cura di Giovanni Casiraghi, Luigi Pinnahanno collaborato alla traduzione Gloria Rassu, Franca ZanardiMilanoAmbrosiana1999xiv, 481 p.27 cmTit. orig.: Spectrometric identification of organic compounds, 6th ed.Composti organiciAnalisi spettroscopica547.3Silverstein,Robert Milton17894Webster,Francis X.91717Casiraghi,GiovanniPinna,LuigiITUNINARICAUNIMARCBK99000223022040332180 XII F 259404FFABC80 XII F 279850FFABC80 XII F 289851FFABCFFABCIdentificazione spettroscopica di composti organici397230UNINA01459nam 2200433 450 00001200620070503173400.03-906762-79-320021212d1999----km-y0itay0103----bagerCH<<Die>> im chaos blühenden Zitronenidentität und Alterität in Goethes Italienischer ReiseItalo Michele Battafarano1 0005064Bern [etc.]<<Peter>> Langc1999262 p.22 cm.Iris122001IrisGoethe,Johann Wolfgang : vonItalienischer Reise833.6(21. ed.)Narrativa tedesca. 1750-1832Battafarano,Italo Michele167936ITBAS01000012006Im chaos blühenden Zitronen1526787UNIBASLETTEREMONLETMONOGRLETTEREDILEO2020021212BAS011129DILEO2020021212BAS011131DILEO2020021212BAS01132020050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BATCH0020070503BAS011734BAS01BAS01BOOKBASA1Polo Storico-UmanisticoDIDDidatticaFM/9942699426L994262002121204Prestabile Didattica01195nam0 22002771i 450 SUN005823220070309120000.020070309d1988 |0itac50 baitaIT|||| |||||ˆIl ‰barocco a Napoli e in CampaniaRiccardo LattuadaNapoliSocietà editrice napoletanastampa 1988216 p.ill.22x25 cm.001SUN00582332001 Itinerari turistico-culturali in Campania5210 NapoliSocietà editrice napoletana.Arte baroccaCampaniaFISUNC020373NapoliSUNL000005709.457221Lattuada, RiccardoSUNV01618637669Società editrice napoletanaSUNV000364650ITSOL20181109RICASUN0058232BIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE01 PREST IDa167 01 6112 BIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALEIT-CE01076112PREST IDa167paBarocco a Napoli e in Campania321182UNICAMPANIA01152nam--2200397---450-99000142172020331620050304140829.0000142172USA01000142172(ALEPH)000142172USA0100014217220040213d1980----km-y0itay0103----baitaITa|||||||001yyIn Lucania con Carlo Levifotografie di Mario Carbonecommento di Gino Melchiorretesto Carlo LeviCosenzaLerici198049 c.ill.27 cm.20012001001-------2001BasilicataFotografie914.577CARBONE,Mario143816MELCHIORRE,GinoLEVI,Carlo <1902-1975>ITsalbcISBD990001421720203316XIII.5. 22(I G 59)87687 L.M.I GBKUMASIAV81020040213USA011317PATRY9020040406USA011740COPAT29020050304USA011408In Lucania con Carlo Levi931508UNISA01547nam--2200433---450-99000100937020331620091211132724.088-13-23364-70100937USA010100937(ALEPH)000100937USA01010093720020301d2001----km-y0itay0103----baitaIT||||||||001yyCodice penale per il Principato di Piombino1808con scritti di A.Cadoppi...[et al.]raccolti da Vinciguerraristampa anastaticaPadovaCEDAMcopyr.2001CCLXXIV, 208 p.24 cmCasi, fonti e studi per il diritto penaleSerie 2.Le fonti17Ripr. facs. dell'ed. : per Francesco Bertini, stampatore di S.A.I.2001Casi, fonti e studi per il diritto penaleSerie 2.Le fontiCodice penalePrincipato di Piombino345.455CADOPPI,AlbertoVINCIGUERRA,Sergio990001009370203316XXVI.1. Coll. 4/ 13 (Coll.HOR. 17)31178 G.XXVI.1. Coll. 4/ 13 (Coll.)00077395BKGIUPAOLA9020020301USA011328PAOLA9020020301USA01132820020403USA011742PATRY9020040406USA011710FIORELLA9020070112USA010913RSIAV59020091211USA011327Codice penale per il Principato di Piombino974844UNISA01172nam 2200325Ia 450 99638980420331620210104171957.0(CKB)4940000000095508(EEBO)2240858933(OCoLC)ocm80924650e(OCoLC)80924650(EXLCZ)99494000000009550820070131d1663 uy 0engurbn||||a|bb|A sermon preached at the visitation of the right worshipfull Dr. Luddington[electronic resource] the reverend arch-deacon of Stowe, in the Church of S. Paul in Lincoln upon the 28 of April, 1663. /By Willian Towers ..London, Printed for Timothy Garthwait166323 pReproduction of original in the British Library.eebo-0018Sermons, English17th centurySermons, EnglishTowers William1617?-1666.1005992LuddingtonDr.1021391UMIUMIBOOK996389804203316A sermon preached at the visitation of the right worshipfull Dr. Luddington2421610UNISA04168nam 22007455 450 991052298210332120251113194210.03-030-94479-410.1007/978-3-030-94479-7(MiAaPQ)EBC6846187(Au-PeEL)EBL6846187(CKB)20592832400041(PPN)261525778(OCoLC)1291560980(DE-He213)978-3-030-94479-7(EXLCZ)992059283240004120220107d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierPractical Aspects of Declarative Languages 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings /edited by James Cheney, Simona Perri1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (225 pages)Programming and Software Engineering,2945-9168 ;13165Includes index.Print version: Cheney, James Practical Aspects of Declarative Languages Cham : Springer International Publishing AG,c2022 9783030944780 Answer Set Programming -- Modelling the Outlier Detection Problem in ASP(Q) -- Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding -- Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers -- Functional Programming -- Functional Programming on Top of SQL Engines -- CircuitFlow: A Domain Specific Language for Dataflow Programming -- Languages, Methods and Tools -- Timed Concurrent Language for Argumentation: an Interleaving Approach -- Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming -- Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo -- Smart Devices and Large Scale Reasoning via ASP: Tools and Applications -- Declarative Solutions -- Decomposition-based Job-shop Scheduling with Constrained Clustering -- Modeling and Verification of Real-time Systems with the Event Calculus and s(CASP) -- Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUs -- Green Application Placement in the Cloud-IoT Continuum.This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022. The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions. .Programming and Software Engineering,2945-9168 ;13165Programming languages (Electronic computers)Application softwareExpert systems (Computer science)Computer scienceComputer engineeringComputer networksProgramming LanguageComputer and Information Systems ApplicationsKnowledge Based SystemsTheory of ComputationComputer Engineering and NetworksProgramming languages (Electronic computers)Application software.Expert systems (Computer science)Computer science.Computer engineering.Computer networks.Programming Language.Computer and Information Systems Applications.Knowledge Based Systems.Theory of Computation.Computer Engineering and Networks.005.131005.131Cheney JamesPerri SimonaMiAaPQMiAaPQMiAaPQBOOK9910522982103321Practical Aspects of Declarative Languages772495UNINA