01520nam1-2200397---450-99000171864020331620071122115711.0000171864USA01000171864(ALEPH)000171864USA0100017186420040601g19599999km-y0itay0103----bafreFRy|||z|||001yy<<La>> banque protestante en Francede la révocation de l'Edit de Nantes à la RévolutionHerbert LüthyParisS.E.V.P.E.N.1959-19612 v.24 cmAffaires et gens d'affairesÉcole pratique des hautes études, 6. section, Centre de recherches historiques2001Affaires et gens d'affairesÉcole pratique des hautes études, 6. section, Centre de recherches historiques0019900017186502033162001 <<2>> : De la banque aux finances, 1730-17490019900022454902033162001 <<1>> : Dispersion et regroupement, 1685-1730BancheFranciaSec. 18.332.10944LUTHY,Herbert375326ITsalbcISBD990001718640203316X.2.B. 1681/(IV C 1809/)L.M.X.2.BKUMASIAV51020040601USA011321ANNAMARIA9020071122USA011140ANNAMARIA9020071122USA011152ANNAMARIA9020071122USA011157Banque protestante en France947411UNISA01537nam0 2200337 i 450 SUN000192720111019100753.65388-217-0749-0IT98 336S20020701d1995 |0itac50 baitaIT|||| |||||Diritto penale e diritto processuale penale tributarioNicolò Pollari, Giuseppe Graziano[Milanofiori, Assago]IPSOA[1995]XI, 309 p.23 cm.TributiDiritto penaleFISUNC001434Diritto processuale tributarioFISUNC001435Milanofiori, AssagoSUNL000012345.45023321Pollari, NicolòSUNV002004406702Graziano, Giuseppe1966- SUNV002005551258IPSOASUNV000032650ITSOL20181109RICASUN0001927UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00 CONS XIV.Ee.31 00 12746 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00 CONS XIV.Ee.31 bis 00 12767 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA12746CONS XIV.Ee.31paUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA12767CONS XIV.Ee.31 bispaDiritto penale e diritto processuale penale tributario1439306UNICAMPANIA04834nam 22007815 450 99646585120331620200703032637.01-280-38767-X97866135655943-642-14107-210.1007/978-3-642-14107-2(CKB)2670000000028940(SSID)ssj0000446432(PQKBManifestationID)11327273(PQKBTitleCode)TC0000446432(PQKBWorkID)10497022(PQKB)10191148(DE-He213)978-3-642-14107-2(MiAaPQ)EBC3065476(PPN)149064314(Association for Computing Machinery)10.5555/1883978(EXLCZ)99267000000002894020100629d2010 u| 0engurnn|008mamaatxtccrECOOP 2010 -- Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings /edited by Theo D'Hondt1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XIII, 599 p. 196 illus.) Programming and Software Engineering ;6183Bibliographic Level Mode of Issuance: Monograph3-642-14106-4 Includes bibliographical references and index.Keynote 1 -- Code Roots -- Programming Environments and Tools -- Detecting Missing Method Calls in Object-Oriented Software -- Debugging Model-Transformation Failures Using Dynamic Tainting -- Automatically Extracting Class Diagrams from Spreadsheets -- Theoretical Foundations of Programming Languages -- Adding Dynamic Types to C -- Essential AOP: The A Calculus -- The Essence of JavaScript -- Formal Methods -- Verifying Executable Object-Oriented Specifications with Separation Logic -- Verifying Generics and Delegates -- Recency Types for Analyzing Scripting Languages -- Concurrency Models in Java -- Correct Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active Objects to Concurrent Components -- Special Session: Empirical Methods -- Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study -- Type Systems -- A Type System for Data-Centric Synchronization -- Type-Safe Eventful Sessions in Java -- Capabilities for Uniqueness and Borrowing -- Keynote 2 -- Secret Valley -- Language Design and Implementation -- Embedding Languages without Breaking Tools -- Modules as Objects in Newspeak -- Inline Caching Meets Quickening -- Concurrency Abstractions -- Self-Replicating Objects for Multicore Platforms -- Reasoning about the Implementation of Concurrency Abstractions on x86-TSO -- Concurrent Abstract Predicates -- Experiences -- The Use of Overloading in Java Programs -- Falling Back on Executable Specifications -- Contract-Based Data Structure Repair Using Alloy.Programming and Software Engineering ;6183ECOOP'10Software engineeringComputer logicProgramming languages (Electronic computers)Computer communication systemsAntibodiesSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Antibodieshttps://scigraph.springernature.com/ontologies/product-market-codes/B14010Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software engineering.Computer logic.Programming languages (Electronic computers).Computer communication systems.Antibodies.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Computer Communication Networks.Antibodies.Software Engineering/Programming and Operating Systems.005.1/17D'Hondt Theoedthttp://id.loc.gov/vocabulary/relators/edtECOOP 2010BOOK996465851203316ECOOP 2010 -- Object-Oriented Programming2551537UNISA