LEADER 01027nam a22002655i 4500 001 991001749179707536 008 030520s1994 it 000 0 ita d 020 $a8881140012 035 $ab12191565-39ule_inst 040 $aDip.to Studi Giuridici$bita 082 0$a320.00 245 00$aTecnica politica e democrazia /$ca cura di Giuseppe Cantarano ; scritti di Pietro Barcellona ... [et al.] 260 $aNapoli :$bEdizioni scientifiche italiane,$cc1994 300 $a137 p. ;$c22 cm 440 0$aProblemi della transizione ;$v2 440 0$aCollana di studi e ricerche / Fondazione Giacomo Matteotti 650 4$aDemocrazia$xSaggi 650 4$aPolitica$xSaggi 700 1 $aCantarano, Giuseppe 907 $a.b12191565$b21-09-06$c29-07-03 912 $a991001749179707536 945 $aLE027 320.00 CAN01.01$g0$iLE027-11718$lle027$o-$pE10.33$q-$rl$s- $t0$u0$v0$w0$x0$y.i12558096$z31-07-03 996 $aTecnica politica e democrazia$9157286 997 $aUNISALENTO 998 $ale027$b29-07-03$cm$da $e-$fita$git $h0$i1 LEADER 04127nam 22007692 450 001 9910786131903321 005 20151005020622.0 010 $a1-139-88777-7 010 $a1-107-06466-X 010 $a1-107-05628-4 010 $a1-107-05737-X 010 $a1-107-05416-8 010 $a1-107-05863-5 010 $a1-107-05516-4 010 $a1-139-01794-2 035 $a(CKB)2670000000338674 035 $a(EBL)1182918 035 $a(SSID)ssj0000834722 035 $a(PQKBManifestationID)11460261 035 $a(PQKBTitleCode)TC0000834722 035 $a(PQKBWorkID)10982230 035 $a(PQKB)11280060 035 $a(UkCbUP)CR9781139017947 035 $a(MiAaPQ)EBC1182918 035 $a(Au-PeEL)EBL1182918 035 $a(CaPaEBR)ebr10695285 035 $a(CaONFJC)MIL494683 035 $a(OCoLC)833300205 035 $a(EXLCZ)992670000000338674 100 $a20110216d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDisability and information technology $ea comparative study in media regulation /$fEliza Varney, School of Law, Keele University$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2013. 215 $a1 online resource (xxiii, 288 pages) $cdigital, PDF file(s) 225 1 $aCambridge disability law and policy series 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a1-107-50289-6 311 $a0-521-19161-0 320 $aIncludes bibliographical references (p. 263-282) and index. 327 $a1. The regulation of ICTs for the pursuit of citizenship rights -- 2. Case study: Canada -- 3. Case study: the European Union -- 4. Case study: the United Kingdom -- 5. Case study: the United States of America -- 6. Lessons to be learnt? : Reflection on the case studies. 330 $aDisability and Information Technology examines the extent to which regulatory frameworks for information and communication technologies (ICTs) safeguard the rights of persons with disabilities as citizenship rights. It adopts a comparative approach focused on four case studies: Canada, the European Union, the United Kingdom and the United States. It focuses on the tension between social and economic values in the regulation of ICTs and calls for a regulatory approach based on a framework of principles that reflects citizenship values. The analysis identifies challenges encountered in the jurisdictions examined and points toward the rights-based approach advanced by the UN Convention on the Rights of Persons with Disabilities as a benchmark in protecting the rights of persons with disabilities to have equal access to information. The research draws on a wealth of resources, including legislation, cases, interviews, consultation documents and responses from organisations representing persons with disabilities. 410 0$aCambridge disability law and policy series. 517 3 $aDisability & Information Technology 606 $aPeople with disabilities$xInformation techology$vCase studies 606 $aPeople with disabilities$xServices for$xData processing$vCase studies 606 $aComputers and people with disabilities$vCase studies 606 $aPeople with disabilities$xLegal status, laws, etc$vCase studies 606 $aMass media$xLaw and legislation$vCase studies 606 $aLibraries and people with disabilities$vCase studies 615 0$aPeople with disabilities$xInformation techology 615 0$aPeople with disabilities$xServices for$xData processing 615 0$aComputers and people with disabilities 615 0$aPeople with disabilities$xLegal status, laws, etc. 615 0$aMass media$xLaw and legislation 615 0$aLibraries and people with disabilities 676 $a004.087 700 $aVarney$b Eliza$f1978-$01537441 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910786131903321 996 $aDisability and information technology$93786743 997 $aUNINA LEADER 04110nam 22008055 450 001 9910484960003321 005 20250703113241.0 010 $a3-319-56841-8 024 7 $a10.1007/978-3-319-56841-6 035 $a(CKB)3850000000027391 035 $a(DE-He213)978-3-319-56841-6 035 $a(MiAaPQ)EBC6312539 035 $a(MiAaPQ)EBC5595044 035 $a(Au-PeEL)EBL5595044 035 $a(OCoLC)983835113 035 $a(PPN)200512501 035 $a(EXLCZ)993850000000027391 100 $a20170405d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEngineering Trustworthy Software Systems $eSecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /$fedited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XV, 259 p. 64 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10215 311 08$a3-319-56840-X 320 $aIncludes bibliographical references and index. 327 $aAlan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. 330 $aThis volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy softwaresystems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v10215 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aComputers 606 $aProfessions 606 $aComputer science 606 $aElectronic digital computers$xEvaluation 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aThe Computing Profession 606 $aComputer Science Logic and Foundations of Programming 606 $aSystem Performance and Evaluation 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs) 615 0$aComputers. 615 0$aProfessions. 615 0$aComputer science. 615 0$aElectronic digital computers$xEvaluation. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aThe Computing Profession. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSystem Performance and Evaluation. 676 $a005.1 702 $aBowen$b Jonathan P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhang$b Zili$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484960003321 996 $aEngineering Trustworthy Software Systems$91889268 997 $aUNINA