LEADER 05894nam 22006615 450 001 996465678103316 005 20230222193328.0 024 7 $a10.1007/b106850 035 $a(CKB)1000000000212871 035 $a(SSID)ssj0000317778 035 $a(PQKBManifestationID)11212465 035 $a(PQKBTitleCode)TC0000317778 035 $a(PQKBWorkID)10295588 035 $a(PQKB)11505374 035 $a(DE-He213)978-3-540-31982-5 035 $a(MiAaPQ)EBC3067940 035 $a(PPN)12309352X 035 $a(EXLCZ)991000000000212871 100 $a20110116d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Software Science and Computational Structures$b[electronic resource] $e8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /$fedited by Vladimiro Sassone 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XIV, 530 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3441 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540253884 327 $aInvited Talks -- Model Checking for Nominal Calculi -- Mathematical Models of Computational and Combinatorial Structures -- Rule Formats and Bisimulation -- Congruence for Structural Congruences -- Probabilistic Congruence for Semistochastic Generative Processes -- Bisimulation on Speed: A Unified Approach -- Probabilistic Models -- Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications -- Axiomatizations for Probabilistic Finite-State Behaviors -- Stochastic Transition Systems for Continuous State Spaces and Non-determinism -- Model Checking Durational Probabilistic Systems -- Algebraic Models -- Free-Algebra Models for the ?-Calculus -- A Unifying Model of Variables and Names -- A Category of Higher-Dimensional Automata -- Games and Automata -- Third-Order Idealized Algol with Iteration Is Decidable -- Fault Diagnosis Using Timed Automata -- Optimal Conditional Reachability for Multi-priced Timed Automata -- Alternating Timed Automata -- Language Analysis -- Full Abstraction for Polymorphic Pi-Calculus -- Foundations of Web Transactions -- Bridging Language-Based and Process Calculi Security -- History-Based Access Control with Local Policies -- Partial Order Models -- Composition and Decomposition in True-Concurrency -- Component Refinement and CSC Solving for STG Decomposition -- The Complexity of Live Sequence Charts -- Logics -- A Simpler Proof Theory for Nominal Logic -- From Separation Logic to First-Order Logic -- Justifying Algorithms for ??-Conversion -- On Decidability Within the Arithmetic of Addition and Divisibility -- Coalgebraic Modal Logics -- Expressivity of Coalgebraic Modal Logic: The Limits and Beyond -- Duality for Logics of Transition Systems -- Computational Models -- Confluence of Right Ground Term Rewriting Systems Is Decidable -- Safety Is not a Restriction at Level 2 for String Languages -- A Computational Model for Multi-variable Differential Calculus. 330 $aETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We - ceived over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3441 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aCompilers and Interpreters 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 676 $a005.1015113 702 $aSassone$b Vladimiro$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465678103316 996 $aFoundations of Software Science and Computational Structures$9772755 997 $aUNISA LEADER 01351aam 2200385I 450 001 9910711176403321 005 20160121100811.0 024 8 $aGOVPUB-C13-5f45b4b9190124ed942d01232528a6e6 035 $a(CKB)5470000002480245 035 $a(OCoLC)935501771 035 $a(EXLCZ)995470000002480245 100 $a20160121d2002 ua 0 101 0 $aeng 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aInformation technology $ea quick-reference list of organizations and standards for digital rights management /$fGordon E. Lyon 210 1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d2002. 215 $a1 online resource 225 1 $aNIST special publication ;$v500-241 300 $a2002. 300 $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aTitle from PDF title page. 320 $aIncludes bibliographical references. 517 $aInformation technology 700 $aLyon$b Gordon$01391834 701 $aLyon$b Gordon$01391834 712 02$aNational Institute of Standards and Technology (U.S.) 801 0$bNBS 801 1$bNBS 801 2$bGPO 906 $aBOOK 912 $a9910711176403321 996 $aInformation technology$93497243 997 $aUNINA LEADER 05244nam 2200673 a 450 001 9910782741403321 005 20080227142909.0 010 $a979-84-00-67307-8 010 $a1-282-56594-X 010 $a9786612565946 010 $a0-313-35521-5 024 7 $a10.5040/9798400673078 035 $a(CKB)1000000000707798 035 $a(EBL)494856 035 $a(OCoLC)615600412 035 $a(SSID)ssj0000376757 035 $a(PQKBManifestationID)11243227 035 $a(PQKBTitleCode)TC0000376757 035 $a(PQKBWorkID)10336544 035 $a(PQKB)11070293 035 $a(Au-PeEL)EBL494856 035 $a(CaPaEBR)ebr10271246 035 $a(CaONFJC)MIL256594 035 $a(MiAaPQ)EBC494856 035 $a(DLC)BP9798400673078BC 035 $a(EXLCZ)991000000000707798 100 $a20080227e20082024 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aIsrael and Syria $ethe military balance and prospects of war /$fAnthony H. Cordesman ; with Aram Nerguizian and Ionut C. Popescu 210 1$aWestport, Conn. :$cPraeger Security International,$d2008. 210 2$aNew York :$cBloomsbury Publishing (US),$d2024. 215 $a1 online resource (xiii, 284 pages) $cillustrations, maps 300 $aDescription based upon print version of record. 311 1 $a0-313-35520-7 320 $aIncludes bibliographical references and index. 327 $aProspects for peace or war : military developments after the Israeli-Hezbollah War -- Israeli and Syrian alarms and excursions in 2007 -- The prospects for war -- Major trends in force strength -- Israeli force quality versus Syrian force quantity -- Looking at a snapshot of total forces -- Comparative manpower quantity and quality -- Comparative land force strength : active versus mobilized strength -- Comparative land force manpower -- Armor and anti-tank weapons -- Artillery weapons -- Anti-aircraft weapons -- Comparative air strength : quality over quantity -- Comparative air force strength -- Air force manpower -- Air force aircraft, weapons, and technology -- Comparative land-based air defense forces -- Comparative naval strength : peripheral missions -- Shifts in the role of seapower -- Naval manpower -- Naval ships, weapons, and technology -- Total resources : recapitalization, force modernization, and impact on effectiveness -- Comparative trends in military expenditures -- Comparative trends in arms imports -- Recent deals : the importance of the US, Russia and Iran -- The military forces of Israel -- Israel's struggle to maintain its conventional "edge" -- Adapting to asymmetric wars -- Seeking to add an asymmetric "edge" to a conventional one -- Adapting to new threats while retaining conventional military strengths -- Trends in manpower and total force strength before the 2006 Lebanon war : active versus reserve forces -- Israeli defense planning after the 2006 Lebanon war -- Israeli land forces -- Israeli air forces -- Israeli land-based air defenses -- Israeli naval forces -- Israel's counterterrorism and internal security forces -- Israeli weapons of mass destruction and missile defenses -- The military forces of Syria -- Syria's long proxy war with Israel -- Internal stability, Alawite rule, and the Shi'ite crescent -- Syria's broader regional issues -- The trends in Syrian forces -- Syrian land forces -- Syrian air and air defense forces -- Syrian land-based air defenses -- Syrian naval forces -- Syrian paramilitary, security, and intelligence forces -- Syrian weapons of mass destruction -- War on the Golan Heights -- The strategic geography of the Golan Heights -- The new dimensions of the strategic geography of the Golan -- The UN peacekeeping force on the Golan -- Israeli positions on the Golan -- Syrian positions near the Golan -- A Syrian surprise attack or "grab for the Golan -- Israeli options against Syria -- Continuing external asymmetric wars -- Israel's "haves" versus Syria's "haves not" -- The possible impact of the Israeli-Palestinian conflict -- Gaming a future Israeli-Hezbollah conflict? -- The Iranian wild card. 330 $aIsrael and Syria: The Military Balance and Prospects of War provides a detailed and current picture of the military capabilities of Israel and Syria, reflecting the changes and lessons of the Israel-Hezbollah War in 2006 and other recent conflicts. It offers extensive analysis, supported by tables and charts, on the trends in military spending, arms imports and technology transfers, military manpower, weapons, and orders of battle. 606 $aArab-Israeli conflict$y1993$xPeace 606 $aLebanon War, 2006 607 $aIsrael$xHistory, Military 607 $aIsrael$xMilitary policy 607 $aSyria$xHistory, Military 607 $aSyria$xMilitary policy 615 0$aArab-Israeli conflict$xPeace. 615 0$aLebanon War, 2006. 676 $a355/.03305694 700 $aCordesman$b Anthony H$0567761 701 $aNerguizian$b Aram$01498247 701 $aPopescu$b Ionut C$01140722 801 0$bDLC 801 1$bDLC 906 $aBOOK 912 $a9910782741403321 996 $aIsrael and Syria$93723755 997 $aUNINA LEADER 02292nam 2200517 450 001 9910807010803321 005 20230126214513.0 010 $a0-7391-9788-6 035 $a(CKB)3710000000725472 035 $a(SSID)ssj0001677809 035 $a(PQKBManifestationID)16486699 035 $a(PQKBTitleCode)TC0001677809 035 $a(PQKBWorkID)14910237 035 $a(PQKB)10861056 035 $a(PQKBManifestationID)16331961 035 $a(PQKBWorkID)14910926 035 $a(PQKB)24791521 035 $a(MiAaPQ)EBC4526886 035 $a(EXLCZ)993710000000725472 100 $a20160629h20162016 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 04$aThe fluid boundaries of suffrage and Jim Crow $estaking claims in the American heartland /$fedited by DaMaris B. Hill 210 1$aLanham, Maryland :$cLexington Books,$d2016. 210 4$dİ2016 215 $a1 online resource (148 pages) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-7391-9789-4 311 $a0-7391-9787-8 320 $aIncludes bibliographical references and index. 327 $aIntroduction / DaMaris B. Hill -- Excerpt from Delaware diaspora: memoir of my Delaware grandfather / Denise Low-Weso -- From Mexican to Mexican-American in Kansas City, 1914-1940 / Valerie Mendoza -- Singing and swinging in the heartland: Black women musicians making music in the midwest during the jazz age / Tammy L. Kernodle -- Negotiating the middle border: ambivalent rhetorics of White anti-racism in 1920s Kansas / Jason Barrett-Fox -- No place like home: Chicago's Black metropolis and the Johnson Publishing offices, 1942-1975 / James West -- From Vivi with love: studying the great migration / Chamara J. Kwakye -- Conclusion / DaMaris B. Hill. 606 $aAfrican Americans$xSocial conditions$y20th century 607 $aUnited States$xRace relations$xHistory$y20th century 615 0$aAfrican Americans$xSocial conditions 676 $a305.80097309/04 702 $aHill$b DaMaris B. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910807010803321 996 $aThe fluid boundaries of suffrage and Jim Crow$94094262 997 $aUNINA