LEADER 00778nam a2200229 i 4500 001 991000018239707536 005 20020503112407.0 008 010314s1995 uk ||| | eng 020 $a0415151481 035 $ab10009851-39ule_inst 035 $aocm00008232$9ExL 040 $aDip.to Beni Culturali$bita 100 1 $aDavis, Simon J. M.$0459277 245 10$aArchaeology of animals /$cSimon J. M. Davis 260 $aLondon :$bRoutledge,$c1995 300 $a224 p. 907 $a.b10009851$b21-09-06$c31-05-02 912 $a991000018239707536 945 $aLE001 AR XXI 51$g1$i2001000017027$lle001$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10012849$z31-05-02 996 $aArchaeology of animals$9175817 997 $aUNISALENTO 998 $ale001$b01-01-01$cm$da $e-$feng$guk $h0$i1 LEADER 02928nam 2200625 a 450 001 9910484568803321 005 20200520144314.0 010 $a1-280-38689-4 010 $a9786613564818 010 $a3-642-13414-9 024 7 $a10.1007/978-3-642-13414-2 035 $a(CKB)2670000000028934 035 $a(SSID)ssj0000446394 035 $a(PQKBManifestationID)11282011 035 $a(PQKBTitleCode)TC0000446394 035 $a(PQKBWorkID)10491224 035 $a(PQKB)10473253 035 $a(DE-He213)978-3-642-13414-2 035 $a(MiAaPQ)EBC3065365 035 $a(PPN)14906361X 035 $a(EXLCZ)992670000000028934 100 $a20100423d2010 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCoordination models and languages $e12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings /$f[edited by] Dave Clarke, Gul Agha 205 $a1st ed. 210 $aNew York $cSpringer$d2010 215 $a1 online resource (XI, 183 p. 50 illus.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v6116 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-13413-0 320 $aIncludes bibliographical references and index. 327 $aObservables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request-Response Operations -- NOW: A Workflow Language for Orchestration in Nomadic Networks -- A Calculus for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow Networks -- Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks -- Simulation and Analysis of Distributed Systems in Klaim -- Modelling Railway Interlocking Tables Using Coloured Petri Nets -- Efficient Session Type Guided Distributed Interaction -- Scalable Efficient Composite Event Detection. 410 0$aLecture notes in computer science ;$v6116. 410 0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering. 517 3 $aCOORDINATION 2010 606 $aParallel processing (Electronic computers)$vCongresses 606 $aElectronic data processing$xDistributed processing$vCongresses 615 0$aParallel processing (Electronic computers) 615 0$aElectronic data processing$xDistributed processing 676 $a005.27 701 $aClarke$b Dave$f1971-$0253996 701 $aGul$b Agha$cDr.$01763668 712 12$aCOORDINATION 2010 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484568803321 996 $aCoordination models and languages$94204254 997 $aUNINA