LEADER 01252nam0-2200457---450 001 990006507790403321 005 20250611104151.0 035 $a000650779 035 $aFED01000650779 035 $a(Aleph)000650779FED01 100 $a20010426d1971----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aSociologia dei partiti politici$fa cura di Giordano Sivini 210 $aBologna$cil Mulino$dİ 1971 215 $a320 p.$d22 cm 225 1 $aProblemi e prospettive$iSerie di sociologia 676 $a324.2$v23$zita 676 $a301$v23$zita 702 1$aSivini,$bGiordano$f<1936- > 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006507790403321 952 $a324.2 SIVI 01$b2025/1272$fFLFBC 952 $aXIV H 84$b15003$fFSPBC 952 $aXII A 264$b10135$fFSPBC 952 $a19510 SIV$b9965/I$fSES 952 $aA-XII-46$b2146$fDDRC 952 $aXI G S 31$bs.i.$fDFD 952 $aI M 74$b102245$fFGBC 952 $aXXVIII 1001$b5$fDDCIC 959 $aFLFBC 959 $aFSPBC 959 $aDDCIC 959 $aSES 959 $aDDRC 959 $aDFD 959 $aFGBC 996 $aSOCIOLOGIA dei partiti politici$9648497 997 $aUNINA LEADER 06856nam 22008415 450 001 9910483811003321 005 20251226195911.0 010 $a1-280-38925-7 010 $a9786613567178 010 $a3-642-15928-1 024 7 $a10.1007/978-3-642-15928-2 035 $a(CKB)2670000000045124 035 $a(SSID)ssj0000446501 035 $a(PQKBManifestationID)11318130 035 $a(PQKBTitleCode)TC0000446501 035 $a(PQKBWorkID)10496167 035 $a(PQKB)11191624 035 $a(DE-He213)978-3-642-15928-2 035 $a(MiAaPQ)EBC3065910 035 $a(PPN)149024940 035 $a(EXLCZ)992670000000045124 100 $a20100920d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGraph Transformations $e5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /$fedited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 419 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6372 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-15927-3 320 $aIncludes bibliographical references and index. 327 $aInvited Speakers -- A False History of True Concurrency: From Petri to Tools -- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? -- Session 1. Graphs and Logic -- Graph Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A Dynamic Logic for Termgraph Rewriting -- Session 2. Behavioural Analysis -- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan?s Prefix for Contextual Nets and Graph Grammars -- Verification of Graph Transformation Systems with Context-Free Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars -- Conflict Detection for Model Versioning Based on Graph Modifications -- A Component Concept for Typed Graphs with Inheritance and Containment Structures -- Combining Termination Criteria by Isolating Deletion -- Session 4. Algebraic Foundations -- Graph Rewriting in Span-Categories -- Finitary -Adhesive Categories -- Hereditary Pushouts Reconsidered -- Session 5. Applications -- Graph Transformation for Domain-Specific Discrete Event Time Simulation -- Counterpart Semantics for a Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model for Distribution and Revocation of Certificates -- Session 6. Rule Composition -- Local Confluence for Rules with Nested Application Conditions -- Multi-Amalgamation in Adhesive Categories -- Amalgamating Pushout and Pullback Graph Transformation in Collagories -- Doctoral Symposium -- ICGT 2010 Doctoral Symposium -- EMF Model Transformation Based on GraphTransformation: Formal Foundation and Tool Environment -- Recognizable Graph Languages for the Verification of Dynamic Systems -- Stochastic Modelling and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures -- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems -- LTS Semantics for Process Calculi from Their Graphical Encodings -- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems -- Correctness of Graph Programs Relative to HR?+? Conditions -- Static Type Checking of Model Transformation Programs -- Using Graph Transformations and Graph Abstractions for Software Verification. 330 $aGraphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6372 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aArtificial intelligence$xData processing 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 606 $aData Science 606 $aComputer Science Logic and Foundations of Programming 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 0$aArtificial intelligence$xData processing. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 14$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 615 24$aData Science. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 676 $a004 712 12$aICGT 2010 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483811003321 996 $aGraph Transformations$9772411 997 $aUNINA