LEADER 00836nam  2200265   450 
001 9910468357103321
005 20210503174551.0
010   $a9788835108849
100   $a20210503d2020----u  y0engy50    ba
101 0 $aita
102   $aIT
105 0 $a        00   
200 1 $aGenerare tra la vita e la morte$eaborto e morte perinatale in una prospettiva multidisciplinare$fa cura di Claudia Mattalucci, Roberta Raffaetą
210   $aMilano$cFrancoAngeli$d2020
215   $a160 p.$d22 cm
225   $aScienze e salute$v54
610 0 $aAborto$aAspetti sociali
676   $a306.4$v22$zita
700  1$aMattalucci,$bClaudia$0793080
701  1$aRaffaetą,$bRoberta$0793081
912   $a9910468357103321
952   $a306.4 MAT 1$b8177$fbfs
959   $aBFS
996   $aGenerare tra la vita e la morte$91773588
997   $aUNINA

LEADER 04074nam  22006855  450 
001 996418286703316
005 20200703101738.0
010   $a3-030-50029-2
024 7 $a10.1007/978-3-030-50029-0
035   $a(CKB)5280000000218501
035   $a(MiAaPQ)EBC6225112
035   $a(DE-He213)978-3-030-50029-0
035   $a(PPN)248595172
035   $a(EXLCZ)995280000000218501
100   $a20200609d2020      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCoordination Models and Languages$b[electronic resource] $e22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15?19, 2020, Proceedings /$fedited by Simon Bliudze, Laura Bocchi
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (407 pages)
225 1 $aProgramming and Software Engineering ;$v12134
300   $aIncludes index.
311   $a3-030-50028-4 
327   $aTutorials -- Coordination Languages -- Message-based Communication -- Communications: Types & Implementations -- Service-oriented Computing -- Large-scale Decentralized Systems -- Smart Contracts -- Modelling -- Verification & Analysis.
330   $aThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.
410  0$aProgramming and Software Engineering ;$v12134
606   $aSoftware engineering
606   $aComputer organization
606   $aComputers
606   $aArtificial intelligence
606   $aProgramming languages (Electronic computers)
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006
606   $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aSoftware engineering.
615  0$aComputer organization.
615  0$aComputers.
615  0$aArtificial intelligence.
615  0$aProgramming languages (Electronic computers).
615 14$aSoftware Engineering.
615 24$aComputer Systems Organization and Communication Networks.
615 24$aInformation Systems and Communication Service.
615 24$aArtificial Intelligence.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a004.36
702   $aBliudze$b Simon$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBocchi$b Laura$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418286703316
996   $aCoordination Models and Languages$9772324
997   $aUNISA