01183cam0 22002771 450 SOBE0003336620130520092849.020130520d1982 |||||ita|0103 baitaITIVAD.P.R. 26 ottobre, n. 633 e successive modifiche, integrazioni e adeguamento alle direttive comunitarie. Raccolta integrale delle leggi complementari. Normativa amministrativaAppendice con la disciplina vigente al 1°marzo 1982Luigi Papi[Milano]Giuffrè1982177 p.24 cmLegislazione e giurisprudenza tributariaQuaderni di documentazione5 bis001LAEC000266352001 *Legislazione e giurisprudenza tributaria. Quaderni di documentazione5 bisPapi, LuigiA600200054445070*ItaliaAF00024563070423419ITUNISOB20130520RICAUNISOBUNISOB330122663SOBE00033366M 102 Monografia moderna SBNM330001899SI122663PuccidonocatenacciUNISOBUNISOB20130520092644.020130520092754.0catenacciIVA45679UNISOB05390nam 22008295 450 99646560650331620200702023822.03-642-01924-210.1007/978-3-642-01924-1(CKB)1000000000753988(SSID)ssj0000319807(PQKBManifestationID)11243378(PQKBTitleCode)TC0000319807(PQKBWorkID)10338583(PQKB)11096269(DE-He213)978-3-642-01924-1(MiAaPQ)EBC3064291(PPN)136306411(EXLCZ)99100000000075398820100301d2009 u| 0engurnn|008mamaatxtccrReliable Software Technologies - Ada-Europe 2009[electronic resource] 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings /edited by Fabrice Kordon, Yvon Kermarrec1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XIV, 283 p.) Programming and Software Engineering ;5570Bibliographic Level Mode of Issuance: Monograph3-642-01923-4 Includes bibliographical references and index.Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition.This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.Programming and Software Engineering ;5570Software engineeringComputer programmingProgramming languages (Electronic computers)Computer system failuresComputer software—ReusabilitySoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Performance and Reliabilityhttps://scigraph.springernature.com/ontologies/product-market-codes/I12077Brest (Bretagne, 2009)swdKongress.swdSoftware engineering.Computer programming.Programming languages (Electronic computers).Computer system failures.Computer software—Reusability.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Techniques.Programming Languages, Compilers, Interpreters.System Performance and Evaluation.Performance and Reliability.005.13322gerDNBDAT 263fstubDAT 343fstubDAT 356fstubSS 4800rvkKordon Fabriceedthttp://id.loc.gov/vocabulary/relators/edtKermarrec Yvonedthttp://id.loc.gov/vocabulary/relators/edtAda-Europe International Conference on Reliable Software TechnologiesBOOK996465606503316Reliable Software Technologies – Ada-Europe 2009774175UNISA03387nam 2200649 450 99646649870331620220908095409.03-540-47854-X10.1007/BFb0077312(CKB)1000000000437554(SSID)ssj0000322589(PQKBManifestationID)12131461(PQKBTitleCode)TC0000322589(PQKBWorkID)10287591(PQKB)10477121(DE-He213)978-3-540-47854-6(MiAaPQ)EBC5610494(Au-PeEL)EBL5610494(OCoLC)1079008227(MiAaPQ)EBC6842138(Au-PeEL)EBL6842138(OCoLC)793079004(PPN)155201727(EXLCZ)99100000000043755420220908d1987 uy 0engurnn|008mamaatxtccrDifferential geometric methods in mathematical physics proceedings of the 14th international conference held in Salamanca, Spain, June 24-29, 1985 /edited by Pedro Luis García Pérez, A. Pérez-Rendón1st ed. 1987.Berlin :Springer-Verlag,[1987]©19871 online resource (VIII, 304 p.) Lecture notes in mathematics (Springer-Verlag) ;1251Bibliographic Level Mode of Issuance: Monograph0-387-17816-3 3-540-17816-3 The automorphism group of a hermitian superalgebra -- Le principe de trialite, le principe d'interaction et les algebres de Lie graduees orthosymplectiques -- Graded manifolds and pairs -- Mathematics for classical supergravities -- Lagrangian gauge theories on supermanifolds -- Supergauge theories in graded manifolds -- Variational berezinian problems and their relationship with graded variational problems -- Cosmology and Kaluza-Klein theories -- Strings: From hadron dual models to gravity, unification and the structure of space-time -- The dirac & Levy-Leblond equations and geometric quantization -- Poincaré gauge theory of gravitation: Foundations, exact solutions and computer algebra -- Systems of vector valued forms on a fibred manifold and applications to gauge theories -- Essential extensions of some infinite dimensional lie algebras -- Sur certaines expressions globales d'une forme volume.The focal topic of the 14th International Conference on Differential Geometric Methods was that of mathematical problems in classical field theory and the emphasis of the resulting proceedings volume is on superfield theory and related topics, and classical and quantized fields.Lecture notes in mathematics (Springer-Verlag) ;1251.Geometry, DifferentialCongressesMathematical physicsCongressesGeometry, DifferentialMathematical physics516.36García Pérez Pedro LuisPérez-Rendón A.1936-International Conference on Differential Geometric Methods in Mathematical Physics(14th :1985 :Salamanca, Spain)MiAaPQMiAaPQMiAaPQBOOK996466498703316Differential geometric methods in mathematical physics79892UNISA01269nam 2200421 450 991058304580332120230120002631.00-08-102112-71-78548-173-8(CKB)3710000001442225(MiAaPQ)EBC4910281(EXLCZ)99371000000144222520170809h20172017 uy 0engurcnu||||||||rdacontentrdamediardacarrierFundamentals of advanced mathematics 1 categories, algebraic structures, linear and homological algebra /Henri BourlesLondon, England :ISTE Press,2017.©20171 online resource (270 pages)Includes bibliographical references and index.Algebras, LinearAlgebra, HomologicalOrdered algebraic structuresAlgebras, Linear.Algebra, Homological.Ordered algebraic structures.512.5Bourles Henri914595MiAaPQMiAaPQMiAaPQBOOK9910583045803321Fundamentals of advanced mathematics 12097126UNINA