LEADER 03743nam 22007455 450 001 996200021203316 005 20200706025648.0 010 $a3-319-19195-0 024 7 $a10.1007/978-3-319-19195-9 035 $a(CKB)3710000000416863 035 $a(SSID)ssj0001501478 035 $a(PQKBManifestationID)11830599 035 $a(PQKBTitleCode)TC0001501478 035 $a(PQKBWorkID)11456995 035 $a(PQKB)11487952 035 $a(DE-He213)978-3-319-19195-9 035 $a(MiAaPQ)EBC6296987 035 $a(MiAaPQ)EBC5587461 035 $a(Au-PeEL)EBL5587461 035 $a(OCoLC)909024887 035 $a(PPN)186029764 035 $a(EXLCZ)993710000000416863 100 $a20150505d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques for Distributed Objects, Components, and Systems$b[electronic resource] $e35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /$fedited by Susanne Graf, Mahesh Viswanathan 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XII, 245 p. 47 illus.) 225 1 $aProgramming and Software Engineering ;$v9039 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-19194-2 320 $aIncludes bibliographical references and index. 327 $aEnsuring Properties of Distributed Systems -- Formal Models of Concurrent and Distributed Systems -- Real Time Systems -- Security -- Efficient Verification Techniques. 330 $aThis book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods. 410 0$aProgramming and Software Engineering ;$v9039 606 $aComputer logic 606 $aSoftware engineering 606 $aComputers 606 $aMathematical logic 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aMathematical logic. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aComputation by Abstract Devices. 615 24$aMathematical Logic and Formal Languages. 676 $a004.36 702 $aGraf$b Susanne$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aViswanathan$b Mahesh$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996200021203316 996 $aFormal Techniques for Distributed Objects, Components, and Systems$91905204 997 $aUNISA LEADER 02318nam 2200457 450 001 9910794545903321 005 20230629215408.0 010 $a90-04-45369-5 010 $a9789004453692$b(ebook) 010 $z9789004453685$b(hardback) 035 $a(CKB)4100000011975356 035 $a(MiAaPQ)EBC6660560 035 $a(EXLCZ)994100000011975356 100 $a20220319d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBeyond consent $erevisiting jurisdiction in investment treaty arbitration /$fRelja Radovic 210 1$aLeiden :$cBrill,$d[2021] 210 4$dİ2021 215 $a1 online resource 225 0 $aNijhoff international investment law series,$x2351-9542 ;$vvolume 18 311 $a90-04-45368-7 320 $aIncludes bibliographical references and index. 327 $aThe process of jurisdictional regulation in investment treaty arbitration -- Arbitrator-made rules and the procedural aspects of the consensual jurisdictional regulation -- Arbitrator-made rules and the substantive aspects of the consensual jurisdictional regulation -- Arbitrator-made rules imposing additional jurisdictional limits -- Towards a new jurisdictional framework of investment treaty arbitration. 330 $a"The process of jurisdictional regulation in investment treaty arbitration is governed by the principle of consensualism, which in theory confers the power to define the jurisdiction of arbitral tribunals on disputing parties exclusively. The practice of arbitral tribunals, however, has given the impression that tribunals are willing to establish jurisdiction on alternative and weaker bases than party consent. This book addresses the question to what extent party consent indeed defines the jurisdiction of arbitral tribunals"--$cProvided by publisher. 606 $aArbitration agreements, Commercial 606 $aArbitration and award 615 0$aArbitration agreements, Commercial. 615 0$aArbitration and award. 676 $a341.522 700 $aRadovic?$b Relja$01504122 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910794545903321 996 $aBeyond consent$93732949 997 $aUNINA LEADER 03550nam 2200769Ia 450 001 9910956357703321 005 20250729230130.0 010 $a1-139-36630-0 010 $a1-107-23119-1 010 $a1-280-77361-8 010 $a9786613684387 010 $a1-139-37889-9 010 $a1-139-09593-5 010 $a1-139-37603-9 010 $a1-139-37204-1 010 $a1-139-37746-9 010 $a1-139-38032-X 035 $a(CKB)2670000000205811 035 $a(EBL)880761 035 $a(OCoLC)796384230 035 $a(SSID)ssj0000688122 035 $a(PQKBManifestationID)11406100 035 $a(PQKBTitleCode)TC0000688122 035 $a(PQKBWorkID)10757637 035 $a(PQKB)11743587 035 $a(UkCbUP)CR9781139095938 035 $a(MiAaPQ)EBC880761 035 $a(PPN)26131209X 035 $a(EXLCZ)992670000000205811 100 $a20120716d2012 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe continental drift controversy$hVolume 4$iEvolution into plate tectonics /$fHenry R. Frankel 205 $a1st ed. 210 $aCambridge ;$aNew York $cCambridge University Press$d2012 215 $a1 online resource (xix, 675 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 08$a1-316-61613-4 311 08$a1-107-01994-X 320 $aIncludes bibliographical references and indexes. 327 $aCover; THE CONTINENTAL DRIFT CONTROVERSY; Dedication; Title; Copyright; Index 330 $aResolution of the sixty-year debate over continental drift, culminating in the triumph of plate tectonics, changed the very fabric of Earth science. This four-volume treatise on the continental drift controversy is the first complete history of the origin, debate and gradual acceptance of this revolutionary theory. Based on extensive interviews, archival papers and original works, Frankel weaves together the lives and work of the scientists involved, producing an accessible narrative for scientists and non-scientists alike. This fourth volume explains the discoveries in the mid 1960s which led to the rapid acceptance of seafloor spreading theory and how birth of plate tectonics followed soon after with the geometrification of geology. Although plate tectonics did not explain the cause or dynamic mechanism of drifting continents, it provided a convincing kinematic explanation that continues to inspire geodynamic research to the present day. 517 3 $aEvolution into plate tectonics 606 $aContinental drift$xResearch$xHistory$y20th century 606 $aContinental drift$xHistory$y20th century 606 $aPlate tectonics$xHistory 606 $aAcademic disputations$xHistory$y20th century 606 $aGeodynamics$xPhilosophy$xHistory$y20th century 606 $aGeology, Structural$xPhilosophy$xHistory$y20th century 615 0$aContinental drift$xResearch$xHistory 615 0$aContinental drift$xHistory 615 0$aPlate tectonics$xHistory. 615 0$aAcademic disputations$xHistory 615 0$aGeodynamics$xPhilosophy$xHistory 615 0$aGeology, Structural$xPhilosophy$xHistory 676 $a551.1/36 700 $aFrankel$b Henry R.$f1944-2019$01222620 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910956357703321 996 $aContinental drift controversy$92835804 997 $aUNINA