LEADER 01056nam a2200289 i 4500
001 991001082229707536
005 20020507182932.0
008 990118s1968    us            ||| | eng  
035   $ab10798444-39ule_inst
035   $aLE01306753$9ExL
040   $aDip.to Matematica$beng
082 0 $a512.55
084   $aAMS 22E43
100 1 $aMiller, Willard$049332
245 10$aLie theory and special functions /$cWillard Miller jr
260   $aNew York :$bAcademic Press,$c1968
300   $axv, 338 p. ;$c24 cm.
490 0 $aMathematics in science and engineering.$pA series of  monographs and textbooks,$x0076-5392 ;$v43
500   $aBibliography: p. [330]-335
650  0$aLie groups
650  0$aSpecial functions
907   $a.b10798444$b23-02-17$c28-06-02
912   $a991001082229707536
945   $aLE013 22E MIL11 (1968)$g1$i2013000107431$lle013$o-$pE0.00$q-$rl$s-  $t0$u1$v0$w1$x0$y.i10902119$z28-06-02
996   $aLie theory and special functions$9188254
997   $aUNISALENTO
998   $ale013$b01-01-99$cm$da  $e-$feng$gus $h0$i1

LEADER 04187nam  22008415  450 
001 9910483508103321
005 20251226202226.0
010   $a3-540-33691-5
024 7 $a10.1007/11741060
035   $a(CKB)1000000000232943
035   $a(SSID)ssj0000316991
035   $a(PQKBManifestationID)11225859
035   $a(PQKBTitleCode)TC0000316991
035   $a(PQKBWorkID)10286977
035   $a(PQKB)10383515
035   $a(DE-He213)978-3-540-33691-4
035   $a(MiAaPQ)EBC3068001
035   $a(PPN)123133904
035   $a(BIP)32372863
035   $a(BIP)13365075
035   $a(EXLCZ)991000000000232943
100   $a20100301d2006      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices $eSecond International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /$fedited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (X, 173 p.)
225 1 $aSecurity and Cryptology,$x2946-1863 ;$v3956
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-33689-3 
320   $aIncludes bibliographical references and index.
327   $aThe Architecture of a Privacy-Aware Access Control Decision Component -- Mobile Resource Guarantees and Policies -- Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks -- Romization: Early Deployment and Customization of Java Systems for Constrained Devices -- Typed Compilation Against Non-manifest Base Classes -- The Design of Application-Tailorable Operating System Product Lines -- Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach -- Modular Proof Principles for Parameterised Concretizations -- Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.
330   $aThis book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.
410  0$aSecurity and Cryptology,$x2946-1863 ;$v3956
606   $aSoftware engineering
606   $aComputers, Special purpose
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aOperating systems (Computers)
606   $aComputer science
606   $aSoftware Engineering
606   $aSpecial Purpose and Application-Based Systems
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aOperating Systems
606   $aComputer Science Logic and Foundations of Programming
615  0$aSoftware engineering.
615  0$aComputers, Special purpose.
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aOperating systems (Computers).
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aOperating Systems.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.1
701   $aBarthe$b Gilles$f1967-$0180568
712 02$aInstitut national de recherche en informatique et en automatique (France)
712 12$aCASSIS (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483508103321
996   $aConstruction and analysis of safe, secure, and interoperable smart devices$94186448
997   $aUNINA