LEADER 03812nam 22007455 450 001 996465628803316 005 20200706141845.0 010 $a3-642-21464-9 024 7 $a10.1007/978-3-642-21464-6 035 $a(CKB)2670000000083966 035 $a(SSID)ssj0000530660 035 $a(PQKBManifestationID)11348235 035 $a(PQKBTitleCode)TC0000530660 035 $a(PQKBWorkID)10567714 035 $a(PQKB)10666092 035 $a(DE-He213)978-3-642-21464-6 035 $a(MiAaPQ)EBC3066798 035 $a(PPN)153859113 035 $a(EXLCZ)992670000000083966 100 $a20110607d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCoordination Models and Languages$b[electronic resource] $e13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings /$fedited by Wolfgang De Meuter, Gruia-Catalin Roman 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (XII, 219 p. 69 illus., 18 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v6721 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-21463-0 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the  DisCoTec 2011 events. The 14 revised full papers presented were carefully reviewed and selected from 35 submissions. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verication and analysis techniques. 410 0$aProgramming and Software Engineering ;$v6721 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer communication systems 606 $aComputers 606 $aApplication software 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer communication systems. 615 0$aComputers. 615 0$aApplication software. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer Communication Networks. 615 24$aModels and Principles. 615 24$aInformation Systems Applications (incl. Internet). 676 $a005.1 702 $aDe Meuter$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoman$b Gruia-Catalin$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCOORDINATION (Conference) 906 $aBOOK 912 $a996465628803316 996 $aCoordination Models and Languages$9772324 997 $aUNISA LEADER 01747nam 22005055u 450 001 9910746500603321 005 20231127180825.0 035 $a(CKB)28450163100041 035 $a(NyNyACM)10.1145/3568813 035 $a(Association for Computing Machinery)10.1145/3568813 035 $a(EXLCZ)9928450163100041 100 $a20231101d2023 uy 101 0 $aeng 135 $aurnn#---mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProceedings of the 2023 ACM Conference on International Computing Education Research - Volume 1 /$fEdited by Kathi Fisler, Paul Denny, Diana Franklin, Margaret Hamilton 210 $aNew York,NY,United States$cAssociation for Computing Machinery$d2023 215 $a1 online resource (520 pages) 225 1 $aACM Other conferences 300 $aTitle from The ACM Digital Library. 311 $a9781450399760 410 0$aACM Other conferences 517 3 $aICER '23 606 $aComputer science 606 $aComputing education 606 $aComputer science education 606 $aK-12 education 615 0$aComputer science. 615 14$aComputing education 615 24$aComputer science education 615 24$aK-12 education 700 $aFisler$b Kathi$01435747 701 $aFisler$b Kathi$01435747 701 $aDenny$b Paul$01435748 701 $aFranklin$b Diana$01024386 701 $aHamilton$b Margaret$0879112 712 02$aACM Digital Library. 801 0$bAssociation for Computing Machinery 801 1$bACM 906 $aBOOK 912 $a9910746500603321 996 $aProceedings of the 2023 ACM Conference on International Computing Education Research - Volume 1$93593665 997 $aUNINA