LEADER 01689nam 2200361Ia 450 001 996385698903316 005 20200824132019.0 035 $a(CKB)4940000000078627 035 $a(EEBO)2248572791 035 $a(OCoLC)ocm12715502e 035 $a(OCoLC)12715502 035 $a(EXLCZ)994940000000078627 100 $a19851024d1700 uy | 101 0 $alat 135 $aurbn||||a|bb| 200 00$aExaminis, & examinantis examen, sive, Reformationis & reformatorum defensio adversus calumnias Francisci Foris Otrokocsi$b[electronic resource] $ein libro, quem inscribit examen reformationis Lutheri, & sociorum ejus ab. an. d. 1517. factæ, justum, modestum pacificum, animæque in salutem necessarium : quo asserit, Lutherum, ejusque socios non suisse veros reformatores, a? deo specialiter missos, ac proinde, nec eorum reformationem esse dei verbo, & fidei veteris ecclesiæ orthodoxæ conformem : quo?dve hac ratione viam pacis, & unionis cum ecclesia? romana? salutarem aperuit /$fauthore B. Woodroffe 210 $aOxoniæ $cE theatro Sheldoniano$d1700 215 $a16, [10], 116 p 300 $aReproduction of original in Huntington Library. 330 $aeebo-0113 606 $aProtestantism$vEarly works to 1800 606 $aReformation$vEarly works to 1800 615 0$aProtestantism 615 0$aReformation 700 $aWoodroffe$b Benjamin$f1638-1711.$01005079 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996385698903316 996 $aExaminis, & examinantis examen, sive, Reformationis & reformatorum defensio adversus calumnias Francisci Foris Otrokocsi$92387413 997 $aUNISA LEADER 05462nam 2200601 a 450 001 9910483040603321 005 20200520144314.0 010 $a3-540-33312-6 024 7 $a10.1007/11733447 035 $a(CKB)1000000000232912 035 $a(SSID)ssj0000320061 035 $a(PQKBManifestationID)11937764 035 $a(PQKBTitleCode)TC0000320061 035 $a(PQKBWorkID)10360913 035 $a(PQKB)11574254 035 $a(DE-He213)978-3-540-33312-8 035 $a(MiAaPQ)EBC3067681 035 $a(PPN)123133297 035 $a(EXLCZ)991000000000232912 100 $a20060221d2006 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSmart card research and advanced applications $e7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006 : proceedings /$fJosep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling (eds.) 205 $a1st ed. 2006. 210 $aBerlin $cSpringer$dc2006 215 $a1 online resource (XII, 360 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3928 225 1 $aLNCS sublibrary. SL 4, Security and cryptology 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-33311-8 320 $aIncludes bibliographical references and index. 327 $aSmart Card Applications -- Design, Installation and Execution of a Security Agent for Mobile Stations -- Towards a Secure and Practical Multifunctional Smart Card -- Implementing Cryptography on TFT Technology for Secure Display Applications -- A Smart Card-Based Mental Poker System -- A Smart Card Solution for Access Control and Trust Management for Nomadic Users -- Smart Cards and Residential Gateways: Improving OSGi Services with Java Cards -- Zero Footprint Secure Internet Authentication Using Network Smart Card -- An Optimistic NBAC-Based Fair Exchange Method for Arbitrary Items -- Side Channel Attacks -- Generic Cryptanalysis of Combined Countermeasures with Randomized BSD Representations -- Amplifying Side-Channel Attacks with Techniques from Block Cipher Cryptanalysis -- Power Analysis to ECC Using Differential Power Between Multiplication and Squaring -- Smart Card Networking -- Designing Smartcards for Emerging Wireless Networks -- Smartcard Firewalls Revisited -- Multi-stage Packet Filtering in Network Smart Cards -- Cryptographic Protocols -- Anonymous Authentication with Optional Shared Anonymity Revocation and Linkability -- SEA: A Scalable Encryption Algorithm for Small Embedded Applications -- Low-Cost Cryptography for Privacy in RFID Systems -- Optimal Use of Montgomery Multiplication on Smart Cards -- Off-Line Group Signatures with Smart Cards -- RFID Security -- Analysis of Power Constraints for Cryptographic Algorithms in Mid-Cost RFID Tags -- Noisy Tags: A Pretty Good Key Exchange Protocol for RFID Tags -- MARP: Mobile Agent for RFID Privacy Protection -- Formal Methods -- Certifying Native Java Card API by Formal Refinement -- A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods -- Automatic Test Generation on a (U)SIM Smart Card. 330 $aSmart cards are an established security research area with a very unique pr- erty: it integrates numerous sub?elds of IT Security, which often appear sc- tered and only loosely connected. Smart card research unites them by providing a common goal: advancing the state of the art of designing and deploying small tokens to increase the security in Information Technology. CARDIS has a tradition of more than one decade, and has established itself asthepremier conferencefor researchresultsinsmartcardtechnology.As smart card research is unique, so is CARDIS; the conference successfully attracts a- demic and industrial researchers without compromising in either way. CARDIS accommodates applied research results as well as theoretical contributions that might or might not become practically relevant. The key to making such a m- ture attractive to both academia and industry is simple: quality of contributions and relevance to the overall subject. This year?s CARDIS made it easy to continue this tradition: we received 76 papers, nearly all of them relevant to the focus of CARDIS and presenting high-quality researchresults. The ProgramCommittee workedhard on selecting the best 25 papers to be presented at the conference. We are very grateful to the members of the Program Committee and the additional referees for generously spending their time on the di?cult task of assessing the value of submitted papers. Daniel Schreckling provided invaluable assistance in handling submissions, managing review reports and editing the proceedings. The assistance of Jordi Castell` a in handling practical aspects of the conference preparation is also greatly appreciated. 410 0$aLecture notes in computer science ;$v3928. 410 0$aLNCS sublibrary.$nSL 4,$pSecurity and cryptology. 517 3 $aCARDIS 2006 606 $aSmart cards$vCongresses 615 0$aSmart cards 676 $a005.82 701 $aDomingo-Ferrer$b Josep$01751715 701 $aPosegga$b Joachim$01751716 701 $aSchreckling$b Daniel$01751717 712 12$aCARDIS 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483040603321 996 $aSmart card research and advanced applications$94186801 997 $aUNINA LEADER 00760nam a2200241 i 4500 001 991004357337607536 005 20241211103208.0 008 241211s1993 gw a fr 001 0 eng d 020 $a0387526811 020 $a3540526811 040 $aBibl. Dip.le Aggr. Ingegneria Innovazione - Sez. IngegneriaInnovazione$beng$cSocioculturale Scs 041 0 $aeng 082 04$a530.4$223 100 1 $aLüth, Hans$0340554 245 10$aSurfaces and interfaces of solids /$cHans Luth 250 $a2nd ed. 260 $aBerlin ;$aNew York :$bSpringer Verlag,$cc1993 300 $aX, 487 p. ;$c24 cm 650 4$aSurfaces (Physics) 650 4$aSolids$xSurfaces 912 $a991004357337607536 996 $aSurfaces and Interfaces of Solids$92572923 997 $aUNISALENTO LEADER 03031nam 22005771 450 001 9910961818803321 005 20200514202323.0 010 $a9781472553782 010 $a1472553780 024 7 $a10.5040/9781472553782 035 $a(CKB)3710000001095424 035 $a(MiAaPQ)EBC4427664 035 $a(OCoLC)895073255 035 $a(UtOrBLW)bpp09257095 035 $a(UtOrBLW)BP9781472553782BC 035 $a(EXLCZ)993710000001095424 100 $a20140929d2013 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aLong-run economics $ean evolutionary approach to economic growth /$fNorman Clark and Calestous Juma 210 1$aLondon :$cBloomsbury,$d2013. 215 $a1 online resource (232 pages) $cillustrations, tables 225 1 $aBloomsbury Academic collections : economics 300 $aReprint. Originally published in 1987 by Pinter Publishing. 311 08$a9781472514462 311 08$a1472514467 311 08$a9781472511621 311 08$a147251162X 320 $aIncludes bibliographical references and index. 327 $apt. I. Introduction -- pt. II. New approaches to technical change -- pt. III. Case studies of technological systems -- pt. IV. Conclusions. 330 $a"A major problem of conventional economic theory as applied to long-run economic change is its unduly narrow and static character, which compromises its capacity to handle conceptually a social process inherently systemic, complex and dynamic. At the same time there is a growing realization in relevant government and industrial circles (reinforced by the example of Japan) that effective economic policy-making needs a strategic, and therefore a technological, content. Long-Run Economics suggests a more realistic conceptual framework for the analysis of economic and technological change. Borrowing from other disciplines, such as sociology, psychology and biology, the authors develop a model that is evolutionary and systemic in character. Special emphasis is given to the role of information flows in the innovative process, while the overall argument is illustrated by two case studies, photovoltaics and fuel ethanol. Finally, the book stresses the strategic importance of science and technology policy and the role of appropriate institutions in facilitating long-run economic change."--Bloomsbury Publishing. 410 0$aBloomsbury Academic collections : economics. 606 $aEconomic development 606 $aTechnological innovations$xEconomic aspects 606 $2Business studies: general 615 0$aEconomic development. 615 0$aTechnological innovations$xEconomic aspects. 676 $a338.9 676 $a339.5 700 $aClark$b Norman$0375629 702 $aJuma$b Calestous 801 0$bUtOrBLW 801 1$bUtOrBLW 801 2$bUkLoBP 906 $aBOOK 912 $a9910961818803321 996 $aLong-run economics$94342328 997 $aUNINA