01695nam0 2200337 i 450 SUN000651320070905120000.088-14-05628-5IT96 965320020820d1996 |0itac50 baitaIT|||| |||||ˆIl ‰governo dei giudici e la lotta contro la legislazione sociale negli Stati Unitil'esperienza americana del controllo giudiziario della costituzionalità delle leggiÉdouard Lamberta cura di Roberto D'Oraziopresentazione di Giustino D'OrazioMilano : Giuffrè1996XX247 p. ; 22 cmTrad. di R. D'Orazio, Fabrizio Megale.001SUN00070022001 Civiltà del diritto58210 MilanoGiuffrè1962-.Legislazione socialeCostituzionalitàControlloStati Uniti d'America1880-1920FISUNC003954Stati Uniti d'AmericaCorte suprema1880-1920FISUNC003955MilanoSUNL000284344.7321Lambert, ÉdouardSUNV005602426718D'Orazio, RobertoSUNV005603GiuffrèSUNV001757650ITSOL20181231RICASUN0006513UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS VIII.En.77 00 9900 20020820 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS XXI.CL.1 58 00 8433 20020823 Governo dei giudici e la lotta contro la legislazione sociale negli Stati Uniti812159UNICAMPANIA01020nam a2200265 i 450099100065186970753620020507171805.0981119s1975 it ||| | ita b10738290-39ule_instLE01300197ExLDip.to MatematicaengAMS 08-01MacLane, Saunders26298Algebra /Saunders Mac Lane, Garrett Birkhoff ; traduzione dall'inglese di Pietro CanettaMilano :Mursia,c1975597 p. ;34 cm.Strumenti per una nuova cultura. Guide e manuali ;21AlgebraTextbooksBirkhoff, Garrettauthorhttp://id.loc.gov/vocabulary/relators/aut13068.b1073829014-03-1728-06-02991000651869707536LE013 08-XX MAC11 (1975:ITA)12013000109145le013-E0.00-n- 17070.i1082877128-06-02Algebra18331UNISALENTOle01301-01-98ma -itait 0107432nam 22007935 450 991014386990332120231006140320.03-540-45017-310.1007/3-540-45017-3(CKB)1000000000212031(SSID)ssj0000320833(PQKBManifestationID)11213459(PQKBTitleCode)TC0000320833(PQKBWorkID)10258508(PQKB)10334685(DE-He213)978-3-540-45017-7(MiAaPQ)EBC3071883(PPN)155213180(EXLCZ)99100000000021203120121227d2003 u| 0engurnn#008mamaatxtccrAdvanced Information Systems Engineering 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings /edited by Johann Eder, Michele Missikoff1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XVI, 744 p.)Lecture Notes in Computer Science,0302-9743 ;2681Bibliographic Level Mode of Issuance: Monograph3-540-40442-2 Includes bibliographical references at the end of each chapters and index.Invited Talk -- Towards Self-Managing Large Scale Information Systems -- Autonomous Semantic Web Services -- Managing an XML Warehouse in a P2P Context -- Regular Papers -- Multivalued Dependencies and a 4NF for XML -- Query Processing and Optimization for Regular Path Expressions -- An Adaptive Document Version Management Scheme -- Integrating Security and Systems Engineering: Towards the Modelling of Secure Information Systems -- IBIS: Semantic Data Integration at Work -- Towards a Generic Model for Situational Method Engineering -- Modeling Organizational Architectural Styles in UML -- No-redundant Metrics for UML Class Diagram Structural Complexity -- Implementing UML Association, Aggregation, and Composition. A Particular Interpretation Based on a Multidimensional Framework -- Exploring Web-Based Information System Design: A Discrete-Stage Methodology and the Corresponding Model -- Analysing the Impact of Adding Integrity Constraints to Information Systems -- Introducing Custom Language Extensions to SQL:1999 -- Aligning Application Architecture to the Business Context -- A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems -- Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks -- Information Integration in Schema-Based Peer-To-Peer Networks -- Processing Queries in a Large Peer-to-Peer System -- Consistent Process Execution in Peer-to-Peer Information Systems -- Translating and Searching Service Descriptions Using Ontologies -- On the Query Refinement in the Ontology-Based Searching for Information -- An Ontology-Driven Framework for the Management of Semantic Metadata Describing Audiovisual Information -- Designing a Federated Multimedia Information System on the Semantic Web -- Embedding Metrics into Information Systems Development Methods: An Application of Method Engineering Technique -- A Value-Oriented Approach to E-business Process Design -- Derivation Rules in Object-Oriented Conceptual Modeling Languages -- Issues of Information Semantics and Granularity in Cross-Media Publishing -- Ranking Web Documents with Dynamic Evaluation by Expert Groups -- Conceptual Modeling of Web Service Conversations -- Management Applications of the Web Service Offerings Language (WSOL) -- Leveraging Web-Services and Peer-to-Peer Networks -- View Materialization vs. Indexing: Balancing Space Constraints in Data Warehouse Design -- A Framework for the Design of ETL Scenarios -- Context Comparison for Object Fusion -- A Methodology for e-Service Substitutability in a Virtual District Environment -- Coordinating Web-Service Enabled Business Transactions with Contracts -- Pro-active Monitoring of Electronic Contracts -- Goal-Oriented Requirements Engineering: A Case Study in E-government -- Organizational Patterns for Early Requirements Analysis -- Evolving Requirements through Coordination Contracts -- Fitting Business Models to System Functionality Exploring the Fitness Relationship -- Selection of Materialized Views: A Cost-Based Approach -- Quality Prediction and Assessment for Product Lines -- User Agents in E-commerce Environments: Industry vs. Consumer Perspectives on Data Exchange -- Pattern-Driven Design of Agent Systems: Approach and Case Study -- Sharing Mobile Databases in Dynamically Configurable Environments.This book constitutes the refereed proceedings of the 15th International Conference on Advanced Information Systems Engineering, CaiSE 2003, held in Klagenfurt, Austria in June 2003. The 45 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 219 submissions. The papers are organized in topical sections on XML, methods and models for information systems, UML, Internet business and social modeling, peer-to-peer systems, ontology-based methods, advanced design of information systems, knowledge, knowledge management, Web services, data warehouses, electronic agreements and workflow, requirements engineering, metrics and method engineering, and agent technologies and advanced environments.Lecture Notes in Computer Science,0302-9743 ;2681Database managementInformation storage and retrievalApplication softwareArtificial intelligenceComputers and civilizationDatabase Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Science, Humanities and Social Sciences, multidisciplinaryhttps://scigraph.springernature.com/ontologies/product-market-codes/A11007Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computers and Societyhttps://scigraph.springernature.com/ontologies/product-market-codes/I24040Database management.Information storage and retrieval.Application software.Artificial intelligence.Computers and civilization.Database Management.Science, Humanities and Social Sciences, multidisciplinary.Information Storage and Retrieval.Information Systems Applications (incl. Internet).Artificial Intelligence.Computers and Society.005.1Eder J(Johann),1958-edthttp://id.loc.gov/vocabulary/relators/edtMissikoff Micheleedthttp://id.loc.gov/vocabulary/relators/edtCAiSE 2003MiAaPQMiAaPQMiAaPQBOOK9910143869903321Advanced Information Systems Engineering772375UNINA