LEADER 00997nam0-2200325---450- 001 990009639440403321 005 20121025145220.0 010 $a9979-60-468-9 035 $a000963944 035 $aFED01000963944 035 $a(Aleph)000963944FED01 035 $a000963944 100 $a20121025d1999----km-y0itay50------ba 101 0 $aeng 102 $aIS 105 $aa---a---001yy 200 1 $a29. International physics olympiad$eReykjavik, Iceland$eofficial report on proceedings$feditor Vidar Agustsson 210 $aReykjavik$c29th International physics olympiad$d1999 215 $a216 p.$cill.$d24 cm 610 0 $aP.S.S.C. 610 0 $aEsercizi di fisica 702 1$aAgustsson,$bVidar 710 12$aInternational Physics Olympiad$f<1998 ;$eReykjavik>$0518017 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009639440403321 952 $a20D-154.001$b24101$fFI1 959 $aFI1 996 $a29. International physics olympiad$9848253 997 $aUNINA LEADER 01995nam 2200553Ia 450 001 9910783134303321 005 20230124181711.0 010 $a0-309-16558-X 010 $a1-282-08416-X 010 $a9786612084164 010 $a0-309-54619-2 035 $a(CKB)1000000000017885 035 $a(EBL)3377336 035 $a(SSID)ssj0000253587 035 $a(PQKBManifestationID)11222407 035 $a(PQKBTitleCode)TC0000253587 035 $a(PQKBWorkID)10206735 035 $a(PQKB)10177577 035 $a(MiAaPQ)EBC3377336 035 $a(Au-PeEL)EBL3377336 035 $a(CaPaEBR)ebr10071361 035 $a(CaONFJC)MIL208416 035 $a(OCoLC)923269882 035 $a(EXLCZ)991000000000017885 100 $a20041026d2004 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aSummary of a workshop on software certification and dependability$b[electronic resource] /$fCommittee on Certifiably Dependable Software Systems 210 $aWashington, D.C. $cThe National Academies Press$dc2004 215 $a1 online resource (57 p.) 300 $aDescription based upon print version of record. 311 $a0-309-09429-1 320 $aIncludes bibliographical references. 327 $a""Front Matter""; ""Contents""; ""1 OVERVIEW OF WORKSHOP DISCUSSIONS""; ""2 SUMMARY OF PANEL SESSIONS AND PRESENTATIONS""; ""3 SUMMARY OF CLOSING SESSION""; ""APPENDIXES""; ""A Workshop Agenda""; ""B Panelist Biographies""; ""C Committee Member and Staff Biographies""; ""WHAT IS CSTB?"" 606 $aComputer software$xCertification 606 $aComputer science 615 0$aComputer software$xCertification. 615 0$aComputer science. 676 $a005.7136 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910783134303321 996 $aSummary of a workshop on software certification and dependability$93794969 997 $aUNINA LEADER 02747nam 2200565 450 001 9910788617203321 005 20170822144304.0 010 $a0-8218-8521-9 035 $a(CKB)3360000000464074 035 $a(EBL)3114578 035 $a(SSID)ssj0000888820 035 $a(PQKBManifestationID)11456887 035 $a(PQKBTitleCode)TC0000888820 035 $a(PQKBWorkID)10866477 035 $a(PQKB)10592419 035 $a(MiAaPQ)EBC3114578 035 $a(RPAM)17001478 035 $a(PPN)195419030 035 $a(EXLCZ)993360000000464074 100 $a20150416h20112011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aChevalley supergroups /$fR. Fioresi, F. Gavarini 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d2011. 210 4$dİ2011 215 $a1 online resource (64 p.) 225 1 $aMemoirs of the American Mathematical Society,$x0065-9266 ;$vVolume 215, Number 1014 300 $a"January 2012, Volume 215, Number 1014 (end of volume)." 311 $a0-8218-5300-7 320 $aIncludes bibliographical references. 327 $a""Contents""; ""Chapter 1. Introduction""; ""Acknowledgements""; ""Chapter 2. Preliminaries""; ""2.1. Superalgebras, superspaces, supergroups""; ""2.2. Lie superalgebras""; ""2.3. Homogeneous one-parameter supersubgroups""; ""Chapter 3. Chevalley bases and Chevalley algebras""; ""3.1. Root systems""; ""3.2. Chevalley bases and algebras""; ""3.3. Existence of Chevalley bases""; ""Chapter 4. Kostant superalgebras""; ""4.1. Kostant's Z a???form""; ""4.2. Commutation rules""; ""4.3. Kostant's PBW-like theorem""; ""Chapter 5. Chevalley supergroups""; ""5.1. Admissible lattices"" 327 $a""5.2. Construction of Chevalley supergroups""""5.3. Chevalley supergroups as algebraic supergroups""; ""5.4. Independence of Chevalley and Kostant superalgebras""; ""5.5. Lie's Third Theorem for Chevalley supergroups""; ""Chapter 6. The cases A(1,1) , P(3) and Q(n) ""; ""6.1. Chevalley bases and Chevalley superalgebras""; ""6.2. Kostant superalgebras""; ""6.3. Chevalley supergroups and their properties""; ""Appendix A. Sheafification""; ""Bibliography"" 410 0$aMemoirs of the American Mathematical Society ;$vVolume 215, Number 1014. 606 $aChevalley groups 606 $aSuperalgebras 615 0$aChevalley groups. 615 0$aSuperalgebras. 676 $a515/.55 700 $aFioresi$b Rita$f1966-$0322823 702 $aGavarini$b F$g(Fabio),$f1968- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788617203321 996 $aChevalley supergroups$93796219 997 $aUNINA