LEADER 02499oam 2200637I 450 001 9910452322803321 005 20200520144314.0 010 $a0-203-04448-7 010 $a1-299-45843-2 010 $a1-136-31375-3 024 7 $a10.4324/9780203044483 035 $a(CKB)2550000001018818 035 $a(EBL)1166347 035 $a(SSID)ssj0000855990 035 $a(PQKBManifestationID)11471342 035 $a(PQKBTitleCode)TC0000855990 035 $a(PQKBWorkID)10805489 035 $a(PQKB)10523424 035 $a(MiAaPQ)EBC1166347 035 $a(Au-PeEL)EBL1166347 035 $a(CaPaEBR)ebr10684778 035 $a(CaONFJC)MIL477093 035 $a(OCoLC)839304437 035 $a(EXLCZ)992550000001018818 100 $a20180706d1998 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aDemise of the British empire in the Middle East $eBritain's responses to nationalist movements, 1943-55 /$fedited by Michael J. Cohen and Martin Kolinsky 210 1$aLondon ;$aPortland, Or. :$cFrank Cass,$d1998. 215 $a1 online resource (473 p.) 300 $aDescription based upon print version of record. 311 $a0-7146-4477-3 311 $a0-7146-4804-3 320 $aIncludes bibliographical references and index. 327 $apt. 1. The effect of war on the Middle East -- pt. 2. Aspects of Arab nationalism -- pt. 3. Egypt in conflict with Britain -- pt. 4. Degrees of accommodation with Britain. 330 $aBritain emerged from World War II dependent economically and militarily upon the US. Egypt was the hub of Britain's imperial interests in the Middle East, but her inability to maintain a large garrison there was clear to the indigenous peoples. These essays track the decline of the empire. 606 $aNationalism$zMiddle East 607 $aGreat Britain$xForeign relations$zMiddle East 607 $aMiddle East$xForeign relations$zGreat Britain 607 $aGreat Britain$xPolitics and government$y1945- 607 $aMiddle East$xPolitics and government$y1945- 608 $aElectronic books. 615 0$aNationalism 676 $a327.41056 701 $aCohen$b Michael Joseph$f1940-$0927459 701 $aKolinsky$b Martin$0247364 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910452322803321 996 $aDemise of the British empire in the Middle East$92083880 997 $aUNINA LEADER 05945nam 22007215 450 001 996466151903316 005 20230406033527.0 010 $a3-540-48816-2 024 7 $a10.1007/11921240 035 $a(CKB)1000000000284030 035 $a(SSID)ssj0000320361 035 $a(PQKBManifestationID)11937781 035 $a(PQKBTitleCode)TC0000320361 035 $a(PQKBWorkID)10249390 035 $a(PQKB)11069507 035 $a(DE-He213)978-3-540-48816-3 035 $a(MiAaPQ)EBC3068576 035 $a(PPN)123139538 035 $a(EXLCZ)991000000000284030 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheoretical Aspects of Computing - ICTAC 2006$b[electronic resource] $eThird International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings /$fedited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XVI, 376 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4281 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-48815-4 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Verifying a Hotel Key Card System -- Z/Eves and the Mondex Electronic Purse -- Verification Constraint Problems with Strengthening -- Semantics -- Quantitative ?-Calculus Analysis of Power Management in Wireless Networks -- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa -- A Topological Approach of the Web Classification -- Concurrency -- Bisimulation Congruences in the Calculus of Looping Sequences -- Stronger Reduction Criteria for Local First Search -- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes -- A Petri Net Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis of Security Protocols -- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems -- Thread-Modular Verification Is Cartesian Abstract Interpretation -- Formal Languages -- Capture-Avoiding Substitution as a Nominal Algebra -- Prime Decomposition Problem for Several Kinds of Regular Codes -- A New Approach to Determinisation Using Bit-Parallelism -- Logic and Type Theory -- Proving ATL* Properties of Infinite-State Systems -- Type Safety for FJ and FGJ -- Partizan Games in Isabelle/HOLZF -- Proof-Producing Program Analysis -- Real-Time and Mobility -- Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting -- Interesting Properties of the Real-Time Conformance Relation tioco -- Model Checking Duration Calculus: A Practical Approach -- Spatio-temporal Model Checking for Mobile Real-Time Systems -- Tutorials: Extended Abstracts -- Tutorial on Formal Methods for Distributed and Cooperative Systems -- Decision Procedures for the Formal Analysis of Software. 330 $aThe International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from academia, - dustry, and governmentto present their results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. The previous events were held in Guiyang, China (2004), and Hanoi, Vi- nam (2005). Beyond its scholarly goals, another main purpose of ICTAC is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. These proceedings record the contributions from the invited speakers and from the technical sessions. We present four invited papers, 21 technical papers, selected out of 78 submissions from 24 countries, and two extended abstracts of tutorials. The Programme Committee includes researchers from 27 countries. Each of the 78 papers was evaluated by at least three reviewers. After the evaluation, reports were returned to the Programme Committee for discussion and reso- tion of con?icts. Based on their recommendations, we concluded the consensus process, and selected the 21 papers that we present here. For the evaluation of the submitted tutorials, this year we had the help of a separate Programme Committee especially invited for that purpose. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4281 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 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$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 676 $a004 702 $aBarkaoui$b Kamel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCavalcanti$b Ana$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCerone$b Antonio$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aICTAC 2006 906 $aBOOK 912 $a996466151903316 996 $aTheoretical Aspects of Computing - ICTAC 2006$9772807 997 $aUNISA LEADER 01159nam a2200325 i 4500 001 991000729349707536 005 20020507172838.0 008 991124s1998 uk ||| | eng 020 $a0521642035 035 $ab10749287-39ule_inst 035 $aLE01301403$9ExL 040 $aDip.to Matematica$beng 082 0 $a515.64 084 $aAMS 49-XX 084 $aAMS 49J05 084 $aLC QA315.J67 100 1 $aJost, Jürgen$054734 245 10$aCalculus of variations /$cJürgen Jost and Xianqing Li-Jost 260 $aCambridge :$bCambridge University Press,$cc1998 300 $axvi, 323 p. ;$c24 cm 490 0 $aCambridge studies in advanced mathematics ;$v64 500 $aIncludes index 650 0$aCalculus of variations 700 1 $aLi-Jost, Xianqing$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0725396 907 $a.b10749287$b23-02-17$c28-06-02 912 $a991000729349707536 945 $aLE013 49-XX JOS11 (1998)$g1$i2013000118277$lle013$o-$pE0.00$q-$rl$s- $t0$u9$v5$w9$x0$y.i10842056$z28-06-02 996 $aCalculus of variations$91415614 997 $aUNISALENTO 998 $ale013$b01-01-99$cm$da $e-$feng$guk $h0$i1