LEADER 00925nam0-22003251i-450-
001 990001361810403321
010   $a981-02-0606-0
035   $a000136181
035   $aFED01000136181
035   $a(Aleph)000136181FED01
035   $a000136181
100   $a20000920d1992----km-y0itay50------ba
101 0 $aeng
200 1 $aLattice Gauge Theories$ean introduction$fHeinz J. Rothe
210   $aSingapore [etc.]$cWorld Scientific$d1992
215   $axiii, 381 p.$d22 cm
225 1 $aWorld scientific lecture notes in physics$v43
610 0 $aTeoria dei campi
610 0 $aTeoria dello scattering
610 0 $aTeoria dei molti corpi
676   $a530.143
700  1$aRothe,$bHeinz J.$061576
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001361810403321
952   $a22A-489$b5629$fFI1
959   $aFI1
996   $aLattice gauge theories$9188116
997   $aUNINA
DB    $aING01

LEADER 02007nam  2200385   450 
001 9910684570503321
005 20230515101441.0
035   $a(CKB)5600000000596256
035   $a(NjHacI)995600000000596256
035   $a(EXLCZ)995600000000596256
100   $a20230515d2021      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDigisprudence $ecode as law rebooted /$fLaurence E. Diver
210  1$aEdinburgh :$cEdinburgh University Press,$d2021.
215   $a1 online resource (xii, 264 pages) $cillustrations (some color)
225 1 $aFuture law
311   $a1-4744-8535-9 
330   $a"Laurence Diver combines insight from legal theory, philosophy of technology and programming practice to develop a new theoretical and practical approach to the design of legitimate software. The book critically engages with the rule(s) of code, arguing that, like laws, these should exhibit certain formal characteristics if they are to be acceptable in a democracy. The resulting digisprudential affordances translate ideas of legitimacy from legal philosophy into the world of code design, to be realised through the 'constitutional' role played by programming languages, integrated development environments (IDEs), and agile development practice. The text interweaves theory and practice throughout, including many insights into real-world technologies, as well as case studies on blockchain applications and the Internet of Things (IoT)"--$cProvided by publisher.
410  0$aFuture law.
606   $aComputer networks$xLaw and legislation
606   $aComputer programming
615  0$aComputer networks$xLaw and legislation.
615  0$aComputer programming.
676   $a343.09944
700   $aDiver$b Laurence E.$01357709
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910684570503321
996   $aDigisprudence$93364270
997   $aUNINA