LEADER 01134nam0-22003491i-450- 001 990007847960403321 005 20090305161053.0 010 $a88-15-09357-5 035 $a000784796 035 $aFED01000784796 035 $a(Aleph)000784796FED01 035 $a000784796 100 $a20040108d2003----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aCon lealtà di re e con affetto di padre$eTorino, 4 marzo 1848: la concessione dello Statuto albertino$fPaolo Colombo 210 $aBologna$cIl Mulino$dc2003 215 $a184 p.$d21 cm 225 1 $a<>grandi date della storia costituzionale$v4 327 0 $aIn app.: testo dello Statuto albertino 610 0 $aSardegna (Regno)$aStatuto albertino$aOrigini$aContesto storico-politico 676 $a342.02945$v20 700 1$aColombo,$bPaolo$f<1961- >$0313281 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007847960403321 952 $aDirez. C$b07610 ddr$fDDR 952 $aIII 216$b6495$fDDCIC 959 $aDDR 996 $aCon lealtà di re e con affetto di padre$9254754 997 $aUNINA LEADER 03896 am 2200805 n 450 001 9910136985303321 005 20160502 010 $a2-7535-4632-0 024 7 $a10.4000/books.pur.30101 035 $a(CKB)3710000000749507 035 $a(FrMaCLE)OB-pur-30101 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/45025 035 $a(PPN)267932871 035 $a(EXLCZ)993710000000749507 100 $a20160719j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 13$aLe dialogue $eou les enjeux d'un choix d'écriture (pays de langues romanes) /$fPhilippe Guérin 210 $aRennes $cPresses universitaires de Rennes$d2016 215 $a1 online resource (344 p.) 311 $a2-7535-0227-7 330 $aCe volume regroupe les textes issus du colloque organisé par l?équipe de recherche Interdisciplinaire en langues romanes (ERILAR) de l?université Rennes 2 en octobre 2003. Son titre précise l?objet propre de la rencontre : interroger une forme textuelle particulière, tout spécialement dans sa dimension alternative par rapport à d?autres stratégies d?écriture (comme par exemple le traité). La Renaissance en constituait le centre de gravité historique : le dialogue connaît en effet avec l?âge de l?humanisme un exceptionnel regain de faveur, nourri de la lecture des grands textes de l?Antiquité classique. L?hypothèse forte qu?il s?agissait dès lors de vérifier était qu?un tel choix allât de pair avec la reconfiguration des savoirs à l?aube des temps modernes et avec la remise en cause de leurs procédures d?élaboration traditionnelles. L?affichage de nouvelles modalités de production du « vrai » soulève notamment la question de l?autorité de qui prétend l?énoncer et redéfinit du même coup le statut de la vérité. Mais éclairer de tels enjeux supposait aussi de mettre en perspective cette reprise du genre. C?est pourquoi le volume, à côté du noyau central consacré aux XVe et XVIe siècles, comprend des aperçus sur son amont médiéval et son aval immédiat. C?est pourquoi encore une introduction à caractère théorique tente de mieux en cerner les contours sur le plan générique. 606 $aMedieval & Renaissance Studies 606 $aLiterature (General) 606 $adialogue 606 $alittérature 606 $ahistoire 606 $alangue romane 606 $aMoyen Âge 606 $alittérature médiévale 606 $ahumanisme 610 $alittérature médiévale 610 $aMoyen Âge 610 $ahistoire 610 $adialogue 610 $alittérature 610 $ahumanisme 610 $alangue romane 615 4$aMedieval & Renaissance Studies 615 4$aLiterature (General) 615 4$adialogue 615 4$alittérature 615 4$ahistoire 615 4$alangue romane 615 4$aMoyen Âge 615 4$alittérature médiévale 615 4$ahumanisme 700 $aDenoyelle$b Corinne$0783016 701 $aFerreras$b Jacqueline$0175463 701 $aFrémaux-Crouzet$b Annie$01283003 701 $aGodard$b Anne$01293669 701 $aGonzalez$b Christophe$0176036 701 $aGuérin$b Philippe$01233178 701 $aHüe$b Denis$01280830 701 $aL'Hopital$b Jean-Yves$01285849 701 $aLesage$b Claire$0738890 701 $aMaingueneau$b Dominique$0132287 701 $aQuint$b Anne-Marie$01284382 701 $aRinaldi$b Rinaldo$0466201 701 $aSaez$b Ricardo$01285851 701 $aZuber$b Marta Spranzi$01293670 701 $aGuérin$b Philippe$01233178 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910136985303321 996 $aLe dialogue$93022706 997 $aUNINA LEADER 06727nam 22006855 450 001 9910484370003321 005 20251226200156.0 010 $a3-319-08867-X 024 7 $a10.1007/978-3-319-08867-9 035 $a(CKB)3710000000143900 035 $a(SSID)ssj0001275068 035 $a(PQKBManifestationID)11810317 035 $a(PQKBTitleCode)TC0001275068 035 $a(PQKBWorkID)11337453 035 $a(PQKB)10551027 035 $a(DE-He213)978-3-319-08867-9 035 $a(MiAaPQ)EBC3093389 035 $a(PPN)17976666X 035 $a(EXLCZ)993710000000143900 100 $a20140628d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Aided Verification $e26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings /$fedited by Armin Biere, Roderick Bloem 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XXXIV, 877 p. 205 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8559 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-08866-1 327 $aSoftware Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive Programs -- Property-Directed Shape Analysis -- Shape Analysis via Second-Order Bi-Abduction -- ICE: A Robust Framework for Learning Invariants -- From Invariant Checking to Invariant Inference Using Randomized Search -- SMACK: Decoupling Source Language Details from Verifier Implementations -- Security -- Synthesis of Masking Countermeasures against Side Channel Attacks -- Temporal Mode-Checking for Runtime Monitoring of Privacy Policies -- String Constraints for Verification -- A Conference Management System with Verified Document Confidentiality -- VAC - Verifier of Administrative Role-Based Access Control Policies -- Automata -- From LTL to Deterministic Automata: A Safraless Compositional Approach -- Symbolic Visibly Pushdown Automata -- Model Checking and Testing -- Engineering a Static Verification Tool for GPU Kernels -- Lazy Annotation Revisited -- Interpolating Property Directed Reachability -- Verifying Relative Error Bounds Using Symbolic Simulation -- Regression Test Selection for Distributed Software Histories -- GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components -- Software Verification in the Google App-Engine Cloud -- The nuXmv Symbolic Model Checker -- Biology and Hybrid Systems Analyzing and Synthesizing Genomic Logic Functions -- Finding Instability in Biological Models -- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells -- Diamonds Are a Girl?s Best Friend: Partial Order Reduction for Timed Automata with Abstractions -- Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections -- Verifying LTL Properties of Hybrid Systems with K-Liveness -- Games and Synthesis -- Safraless Synthesis for Epistemic Temporal Specifications -- Minimizing Running Costs in Consumption Systems -- CEGAR for Qualitative Analysis of Probabilistic Systems -- Optimal Guard Synthesis for Memory Safety -- Don?t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion -- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications -- Solving Games without Controllable Predecessor -- G4LTL-ST: Automatic Generation of PLC Programs -- Concurrency -- Automatic Atomicity Verification for Clients of Concurrent Data Structures -- Regression-Free Synthesis for Concurrency -- Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization -- An SMT-Based Approach to Coverability Analysis -- LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes -- SMT and Theorem Proving -- Monadic Decomposition -- A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions -- Bit-Vector Rewriting with Automatic Rule Generation -- A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors -- AVATAR: The Architecture for First-Order Theorem Provers -- Automating Separation Logic with Trees and Data -- A Nonlinear Real Arithmetic Fragment -- Yices 2.2 -- Bounds and Termination -- A Simpleand Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT -- Termination Analysis by Learning Terminating Programs -- Causal Termination of Multi-threaded Programs -- Abstraction -- Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) -- Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction -- QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. 330 $aThis book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8559 606 $aComputer science 606 $aSoftware engineering 606 $aMachine theory 606 $aComputer engineering 606 $aComputer networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aComputer Engineering and Networks 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Engineering and Networks. 676 $a005.1015113 702 $aBiere$b Armin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBloem$b Roderick$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910484370003321 996 $aComputer Aided Verification$94409985 997 $aUNINA