LEADER 01625nam2-2200445li-450 001 990000209850203316 005 20180312154650.0 010 $a3-540-64987-5 035 $a0020985 035 $aUSA010020985 035 $a(ALEPH)000020985USA01 035 $a0020985 100 $a20001109d1998----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aTheorem proving in higher order logics$e11th International conference, TPHOLs'98 Canberra, Australia September 27 - October 1, 1998 proceedings$fJim Grundy , Malcolm Newey (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1998 215 $aVIII, 496 p.$cill.$d20 cm 225 2 $aLecture notes in computer science$v1479 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$acanberra$a1998 610 1 $alogica matematica$acongressi$a1998 610 1 $alogica simbolica$acongressi$a1998 610 1 $amatematica applicata agli elaboratori$acongressi$a1998 676 $a0040151$9. 702 1$aGrundy,$bJim 702 1$aNewey,$bMalcolm 710 12$aInternational conference TPHOLs'98$d11.$eCanberra$f1998$0746199 801 $aSistema bibliotecario di Ateneo dell' Universit� di Salerno$gRICA 912 $a990000209850203316 951 $a001 LNCS (1479)$b0022784$c001$d00104168 959 $aBK 969 $aSCI 979 $c19990318 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010207$lUSA01$h1506 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aTheorem proving in higher order logics$91489178 997 $aUNISA LEADER 03640nam 22006732 450 001 9910449743903321 005 20151005020621.0 010 $a1-107-11921-9 010 $a1-280-42940-2 010 $a9786610429400 010 $a0-511-17682-1 010 $a0-511-01647-6 010 $a0-511-15772-X 010 $a0-511-30464-1 010 $a1-60119-755-1 010 $a0-511-75464-7 010 $a0-511-04947-1 035 $a(CKB)1000000000005785 035 $a(EBL)201661 035 $a(SSID)ssj0000072658 035 $a(PQKBManifestationID)11123341 035 $a(PQKBTitleCode)TC0000072658 035 $a(PQKBWorkID)10102492 035 $a(PQKB)11068906 035 $a(UkCbUP)CR9780511754647 035 $a(MiAaPQ)EBC201661 035 $a(Au-PeEL)EBL201661 035 $a(CaPaEBR)ebr10019057 035 $a(CaONFJC)MIL42940 035 $a(OCoLC)56408560 035 $a(EXLCZ)991000000000005785 100 $a20100422d2002|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aOptoelectronics /$fEmmanuel Rosencher, Borge Vinter$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2002. 215 $a1 online resource (xvi, 725 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a0-521-77813-1 311 $a0-521-77129-3 320 $aIncludes bibliographical references and index. 327 $aCover; Half-title; Title; Copyright; Dedication; Contents; Preface; 1 Quantum mechanics of the electron; 2 Quantum mechanics of the photon; 3 Quantum mechanics of electron...photon interaction; 4 Laser oscillations; 5 Semiconductor band structure; 6 Electronic properties of semiconductors; 7 Optical properties of semiconductors; 8 Semiconductor heterostructures and quantum wells; 9 Waveguides; 10 Elements of device physics; 11 Semiconductor photodetectors; 12 Optical frequency conversion; 13 Light emitting diodes and laser diodes; Index 330 $aOptoelectronics, first published in 2002, is a practical and self-contained graduate-level textbook on the subject, which will be of great value to both advanced engineering students and practising engineers. Sophisticated concepts are introduced in a practical and coherent way, including such topics as quantum mechanics of electron-photon interaction, quantisation of the electro-magnetic field, semiconductor properties, quantum theory of heterostructures and nonlinear optics. The book builds on these concepts to describe the physics, properties and performances of the main optoelectronic devices: light emitting diodes, quantum well lasers, photodetectors, optical parametric oscillators and waveguides. Emphasis is placed on the unifying theoretical analogies of optoelectronics, such as equivalence of quantisation in heterostructure wells and waveguide modes, entanglement of blackbody radiation and semiconductor statistics. The book concludes by presenting devices including vertical surface emitting lasers, quantum well infrared photodetectors, quantum cascade lasers and optical frequency converters. 606 $aOptoelectronics 606 $aOptoelectronic devices 615 0$aOptoelectronics. 615 0$aOptoelectronic devices. 676 $a621.381/045 700 $aRosencher$b Emmanuel$f1952-$0451767 702 $aVinter$b Borge 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910449743903321 996 $aOptoelectronics$92460328 997 $aUNINA LEADER 00915cam 2200217 i 4500 001 991004336333107536 008 240730s1982 sz a e b 001 0 fre d 020 $a282710220X 040 $aBibl. Interfacoltà T. Pellegrino$bita 082 0 $a736.20932 100 1 $aJaeger, Bertrand$01749017 245 10$aEssai de classification et datation des scarabées Menkhéperrê :$bprix de la Confederation Internationale des negociants en oeuvres d'art 1979 /$cBertrand Jaeger 260 $aFribourg; Gottingen :$bEditions universitaires ; Vandenhoeck & Ruprecht ;$c1982 300 $a455 p., [13] c. di tav. :$bill. ;$c33 cm 504 $aBibliogr. p. 373-388. 650 4$aScarabei 651 4$aEgitto$yAntichità 830 0$aOrbis biblicus et orientalis. Series Archaeologica ;$v2 912 $a991004336333107536 996 $aEssai de classification et datation des scarabées Menkhéperrê$94182648 997 $aUNISALENTO