LEADER 01020nam0-22003131i-450- 001 990007787550403321 010 $a88-14-08792-x 035 $a000778755 035 $aFED01000778755 035 $a(Aleph)000778755FED01 035 $a000778755 100 $a20021010d--------km-y0itay50------ba 101 0 $aita 200 1 $a<>statuti delle S.R.L.$eModelli di clausole e di statuti. Orientamenti dei tribunali - dottrina. La riformadell'omologa. Il progetto di riforma delle societą di capitali. Soluzioni pratiche e suggerimenti$fGiuseppe Rebecca , Massimo Simoni 210 $aMilano$cCosa & Come$d2001 215 $a422 p.$d24 cm 225 1 $aSocietą 610 0 $aSOCIETA' per azioni 676 $a346.07 700 1$aRebecca,$bGiuseppe$0253004 702 1$aSimoni,$bMassimo 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007787550403321 952 $a13-CB-703$b12115$fDDCP 959 $aDDCP 996 $aStatuti delle s.r.l.$9145308 997 $aUNINA DB $aGEN01 LEADER 05104nam 22008055 450 001 996465688403316 005 20220813004050.0 010 $a3-642-15576-6 024 7 $a10.1007/978-3-642-15576-5 035 $a(CKB)2670000000045074 035 $a(SSID)ssj0000446248 035 $a(PQKBManifestationID)11314594 035 $a(PQKBTitleCode)TC0000446248 035 $a(PQKBWorkID)10491306 035 $a(PQKB)11621227 035 $a(DE-He213)978-3-642-15576-5 035 $a(MiAaPQ)EBC3065888 035 $a(PPN)149031785 035 $a(EXLCZ)992670000000045074 100 $a20100915d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAdvances in Databases and Information Systems$b[electronic resource] $e14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010, Proceedings /$fedited by Barbara Catania, Mirjana Ivanovic, Bernhard Thalheim 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XV, 600 p. 230 illus.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v6295 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-15575-8 320 $aIncludes bibliographical references and index. 330 $aThis volume contains the best papers presented at the 14th East-European Conference on Advances in Databases and Information Systems (ADBIS 2010), held during September 20-24, 2010, in Novi Sad, Serbia. ADBIS 2010 continued the ADBIS series held in St. Petersburg (1997), Poznan (1998), Maribor (1999), Prague (2000), Vilnius (2001), Bratislava (2002), Dresden (2003), Budapest (2004), Tallinn (2005), Thessaloniki (2006), Varna (2007), Pori (2008), and Riga (2009). The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information systems research communities from Central and East European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. ADBIS 2010 spans a wide area of interests, covering all major aspects related to theory and applications of database technology and information systems. Two different submission lines were considered for ADBIS 2010, one within the classic track and another one within a special track organisation. ADBIS comprised five tracks: 1. Conceptual Modeling in Systems Engineering (CMSE) 2. Data Mining and Information Extraction (DMIE) 3. Business Processes in E-Commerce Systems (e-commerce) 4. Personal Identifiable Information: Privacy, Ethics, and Security (PIIPES) 5. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v6295 606 $aDatabase management 606 $aApplication software 606 $aInformation storage and retrieval 606 $aComputer communication systems 606 $aData mining 606 $aManagement information systems 606 $aComputer science 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aDatabase management. 615 0$aApplication software. 615 0$aInformation storage and retrieval. 615 0$aComputer communication systems. 615 0$aData mining. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aDatabase Management. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aInformation Storage and Retrieval. 615 24$aComputer Communication Networks. 615 24$aData Mining and Knowledge Discovery. 615 24$aManagement of Computing and Information Systems. 676 $a004 702 $aCatania$b Barbara$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aIvanovic$b Mirjana$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aThalheim$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aADBIS 2010 906 $aBOOK 912 $a996465688403316 996 $aAdvances in Databases and Information Systems$9771912 997 $aUNISA LEADER 00996nam a2200277 i 4500 001 991000692419707536 008 100419s1996 ilu| b |001 0 eng d 020 $a0875802095 020 $a087580571X 035 $ab13896520-39ule_inst 040 $aDip.to Lingue$bita 082 04$a418.02 100 1 $aRobinson, Douglas$029979 245 10$aTranslation & taboo /$cDouglas Robinson 246 3 $aTranslation and taboo 260 $aDeKalb, Ill. :$bNorthern Illinois University Press,$cc1996 300 $axix, 232 p. ;$c24 cm 504 $aContiene riferimenti bibliografici ed indice 650 4$aTraduzione ed interpretazione$xAspetti sociali 650 4$aTaboo (Linguistica) 907 $a.b13896520$b28-01-14$c19-04-10 912 $a991000692419707536 945 $aLE012 418.02 ROB$g1$i2012000365568$lle012$o-$pE0.00$q-$rl$s- $t0$u4$v1$w4$x0$y.i1511336x$z19-04-10 996 $aTranslation & taboo$9225295 997 $aUNISALENTO 998 $ale012$b19-04-10$cm$da $e-$feng$gilu$h0$i0 LEADER 04603nam 22007815 450 001 9910349282703321 005 20251225193617.0 010 $a3-030-30806-5 024 7 $a10.1007/978-3-030-30806-3 035 $a(CKB)4100000009191139 035 $a(DE-He213)978-3-030-30806-3 035 $a(MiAaPQ)EBC5924422 035 $a(PPN)255547315 035 $a(EXLCZ)994100000009191139 100 $a20190905d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aReachability Problems $e13th International Conference, RP 2019, Brussels, Belgium, September 11?13, 2019, Proceedings /$fedited by Emmanuel Filiot, Raphaėl Jungers, Igor Potapov 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XX, 233 p. 275 illus., 14 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11674 311 08$a3-030-30805-7 320 $aIncludes bibliographical references and index. 327 $aBidding Games on Markov Decision Processes -- Primitivity and synchronizing automata: a functional analytic approach -- Reaching Out Towards Fully Veri?ed Autonomous Systems -- On the m-eternal Domination Number of Cactus Graphs -- On Relevant Equilibria in Reachability Games -- Partial Solvers for Generalized Parity Games -- Reachability in Augmented Interval Markov Chains -- On Solving Word Equations Using SAT -- Parameterised Veri?cation of Publish/Subscribe Networks with Exception Handling -- Cellular automata for the self-stabilisation of colourings and tilings -- On the termination problem for counter machines with incrementing errors -- Reachability Problems on Partially Lossy Queue Automata -- On the computation of the minimal coverability set of Petri nets -- Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds -- Coverability is undecidable in one-dimensional pushdown vector addition systems with resets -- Synthesisof structurally restricted b-bounded Petri nets: complexity results -- Reachability of Five Gossip Protocols. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019. The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11674 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aElectronic digital computers$xEvaluation 606 $aComputers 606 $aProfessions 606 $aComputer science$xMathematics 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aSystem Performance and Evaluation 606 $aThe Computing Profession 606 $aMathematics of Computing 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputers. 615 0$aProfessions. 615 0$aComputer science$xMathematics. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aSystem Performance and Evaluation. 615 24$aThe Computing Profession. 615 24$aMathematics of Computing. 676 $a004.0151 676 $a005.14 702 $aFiliot$b Emmanuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJungers$b Raphaėl$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPotapov$b Igor$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349282703321 996 $aReachability Problems$93573647 997 $aUNINA