LEADER 04160nam 22006132 450 001 9910462958903321 005 20160523115008.0 010 $a1-107-23815-3 010 $a1-107-30187-4 010 $a1-107-30592-6 010 $a1-107-30696-5 010 $a1-139-51928-X 010 $a1-107-30916-6 010 $a1-107-31471-2 035 $a(CKB)2670000000333414 035 $a(EBL)1113110 035 $a(OCoLC)828302503 035 $a(SSID)ssj0000878055 035 $a(PQKBManifestationID)11535905 035 $a(PQKBTitleCode)TC0000878055 035 $a(PQKBWorkID)10812330 035 $a(PQKB)10668397 035 $a(UkCbUP)CR9781139519281 035 $a(MiAaPQ)EBC1113110 035 $a(EXLCZ)992670000000333414 100 $a20120523d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aFreedom and the construction of Europe$hVolume 1$iReligious and constitutional liberties /$fedited by Quentin Skinner and Martin van Gelderen$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2013. 215 $a1 online resource (xv, 411 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a1-107-03306-3 327 $aContents of Volume I; Contents of Volume II; Acknowledgements; Notes on contributors; Introduction; Part I Religious freedom and civil liberty; 1 Freedom and apocalyptic thinking in early modern Lutheranism; 2 Arminian trouble: Calvinist debates on freedom; i; ii; iii; iv; v; vi; vii; 3 Libertas ecclesiae in post-tridentine debates on church and state; I; II; III; IV; V; 4 Ecclesiastical independence and the freedom of consent; I; II; III; IV; 5 Freedom, virtue and Socinian heterodoxy; I; II; III; 6 From Selden to Mendelssohn: Hebraism and religious freedom; II 327 $a7 Natural religion: Pufendorf and Locke on the edge of freedom and reasonI; II; III; IV; V; 8 Freedom of conscience, political liberty and the foundations of liberalism; I; II; III; IV; V; Part II Liberty and liberties in constitutional thought; 9 The liberty of Italian city-states; I; II; III; IV; V; 10 Free and unfree states in Machiavelli's political philosophy; I; II; 11 Discourses on liberty in early modern Ragusa; I; II; III; IV; V; 12 Liberty and liberties in early modern Poland-Lithuania; I; II; III; IV; V; VI; VII; VIII; IX; X; 13 Liberty and liberties in Europe's federal republics 327 $a14 Roman law, German liberties and the constitution of the Holy Roman EmpireI; II; III; IV; V; VI; 15 The language of liberty in early modern Hungarian political debate; I; II; III; IV; V; VI; VII; VIII; 16 The language of liberty in Calvinist political thought; I; II; III; IV; Bibliography; Index of names; Index of subjects 330 $aFreedom, today perceived simply as a human right, was a continually contested idea in the early modern period. In Freedom and the Construction of Europe an international group of scholars explore the richness, diversity and complexity of thinking about freedom in the shaping of modernity. Volume 1 examines debates about religious and constitutional liberties, as well as exploring the tensions between free will and divine omnipotence across a continent of proliferating religious denominations. Debates about freedom have been fundamental to the construction of modern Europe, but represent a part of our intellectual heritage that is rarely examined in depth. These volumes provide materials for thinking in fresh ways not merely about the concept of freedom, but how it has come to be understood in our own time. 517 3 $aFreedom and the construction of Europe. 606 $aLiberty 606 $aCivil rights$zEurope 615 0$aLiberty. 615 0$aCivil rights 676 $a323.094 702 $aSkinner$b Quentin 702 $aGelderen$b Martin van 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910462958903321 996 $aFreedom and the construction of Europe$92443616 997 $aUNINA LEADER 01682oam 2200409 450 001 9910704348603321 005 20130517145644.0 035 $a(CKB)5470000002440199 035 $a(OCoLC)826032855 035 $a(EXLCZ)995470000002440199 100 $a20130130d2013 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSecurity clearance reform $esustaining progress for the future : hearing before the Oversight of Government Management, the Federal Workforce, and the District of Columbia Subcommittee of the Committee on Homeland Security and Governmental Affairs, United States Senate, One Hundred Twelfth Congress, second session, June 21, 2012 210 1$aWashington :$cU.S. Government Printing Office,$d2013. 215 $a1 online resource (iii, 85 pages) 225 1 $aS. hrg. ;$v112-681 300 $aTitle from title screen (viewed on January 30, 2013). 300 $aPaper version available for sale by the Superintendent of Documents, United States Government Printing Office. 320 $aIncludes bibliographical references. 517 $aSecurity clearance reform 606 $aSecurity clearances$zUnited States 606 $aAdministrative agencies$zUnited States$xPersonnel management 606 $aNational security$zUnited States 615 0$aSecurity clearances 615 0$aAdministrative agencies$xPersonnel management. 615 0$aNational security 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910704348603321 996 $aSecurity clearance reform$93442703 997 $aUNINA LEADER 04092nam 22006735 450 001 9910438059003321 005 20250618111557.0 010 $a9781461448945 010 $a1461448948 024 7 $a10.1007/978-1-4614-4894-5 035 $a(OCoLC)844349040 035 $a(MiFhGG)GVRL6VCJ 035 $a(CKB)2670000000370502 035 $a(MiAaPQ)EBC1316963 035 $a(MiFhGG)9781461448945 035 $a(DE-He213)978-1-4614-4894-5 035 $a(EXLCZ)992670000000370502 100 $a20130517d2013 u| 0 101 0 $aeng 135 $aurun|---uuuua 181 $ctxt 182 $cc 183 $acr 200 10$aCompilation and Synthesis for Embedded Reconfigurable Systems $eAn Aspect-Oriented Approach /$fedited by João Manuel Paiva Cardoso, Pedro C. Diniz, José Gabriel de Figueiredo Coutinho, Zlatko Marinov Petrov 205 $a1st ed. 2013. 210 1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d2013. 215 $a1 online resource (xii, 203 pages) $cillustrations (some color) 225 0 $aGale eBooks 300 $aDescription based upon print version of record. 311 08$a9781489988348 311 08$a1489988343 311 08$a9781461448938 311 08$a146144893X 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- The REFLECT Design-Flow -- The LARA Language -- Aspect-Based Source to Source Transformations -- Hardware/Software Compilation -- LARA Experiments -- Related Work -- Conclusions. 330 $aThis book provides techniques to tackle the design challenges raised by the increasing diversity and complexity of emerging, heterogeneous architectures for embedded systems. It describes an approach based on techniques from software engineering called aspect-oriented programming, which allow designers to control today?s sophisticated design tool chains, while maintaining a single application source code.  Readers are introduced to the basic concepts of an aspect-oriented, domain specific language that enables control of a wide range of compilation and synthesis tools in the partitioning and mapping of an application to a heterogeneous (and possibly multi-core) target architecture.  Several examples are presented that illustrate the benefits of the approach developed for applications from avionics and digital signal processing. Using the aspect-oriented programming techniques presented in this book, developers can reuse extensive sections of their designs, while preserving the original application source-code, thus promoting developer productivity as well as architecture and performance portability.   ·         Describes an aspect-oriented approach for the compilation and synthesis of applications targeting heterogeneous embedded computing architectures; ·         Includes examples using an integrated tool chain for compilation and synthesis; ·         Provides validation and evaluation for targeted reconfigurable heterogeneous architectures; ·         Enables design portability, given changing target devices; ·         Allows developers to maintain a single application source code whentargeting  multiple architectures. 606 $aElectronic circuits 606 $aMicroprocessors 606 $aComputer architecture 606 $aElectronics 606 $aElectronic Circuits and Systems 606 $aProcessor Architectures 606 $aElectronics and Microelectronics, Instrumentation 615 0$aElectronic circuits. 615 0$aMicroprocessors. 615 0$aComputer architecture. 615 0$aElectronics. 615 14$aElectronic Circuits and Systems. 615 24$aProcessor Architectures. 615 24$aElectronics and Microelectronics, Instrumentation. 676 $a005.1 701 $aCardoso$b Joa?o M. P$00 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910438059003321 996 $aCompilation and synthesis for embedded reconfigurable systems$94187482 997 $aUNINA