LEADER 00777nam0-22002891i-450-
001 990000984580403321
035   $a000098458
035   $aFED01000098458
035   $a(Aleph)000098458FED01
035   $a000098458
100   $a20000920d1975----km-y0itay50------ba
101 0 $aeng
200 1 $aGeneral Theory of Relativity$fPaul Adrien Maurice Dirac
210   $aNew York$cJohn Wiley$d1975
215   $aviii, 69 p.$d23 cm
610 0 $aRelatività
610 0 $aGravità
676   $a530.11
700  1$aDirac,$bPaul Adrien Maurice$046336
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000984580403321
952   $aS.23-012$b10263$fFI1
959   $aFI1
996   $aGeneral theory of relativity$9187293
997   $aUNINA
DB    $aING01

LEADER 03547nam  22007455  450 
001 9910349436203321
005 20251225201957.0
010   $a9783319924083
010   $a3319924087
024 7 $a10.1007/978-3-319-92408-3
035   $a(CKB)3810000000358652
035   $a(DE-He213)978-3-319-92408-3
035   $a(MiAaPQ)EBC6301820
035   $a(PPN)229494226
035   $a(EXLCZ)993810000000358652
100   $a20180526d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCoordination Models and Languages $e20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings /$fedited by Giovanna Di Marzo Serugendo, Michele Loreti
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XII, 281 p. 66 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10852
311 08$a9783319924076 
311 08$a3319924079 
327   $aSystem Coordination -- Agent-Oriented Techniques -- Software Architecture -- Formal Analysis -- Design -- Implementation of Languages -- Models -- Multicore Software Systems.
330   $aThis book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v10852
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aCompilers (Computer programs)
606   $aComputer systems
606   $aComputer networks
606   $aComputers, Special purpose
606   $aSoftware Engineering
606   $aOperating Systems
606   $aCompilers and Interpreters
606   $aComputer System Implementation
606   $aComputer Communication Networks
606   $aSpecial Purpose and Application-Based Systems
615  0$aSoftware engineering.
615  0$aOperating systems (Computers).
615  0$aCompilers (Computer programs).
615  0$aComputer systems.
615  0$aComputer networks.
615  0$aComputers, Special purpose.
615 14$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aCompilers and Interpreters.
615 24$aComputer System Implementation.
615 24$aComputer Communication Networks.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a005
702   $aDi Marzo Serugendo$b Giovanna$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLoreti$b Michele$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349436203321
996   $aCoordination Models and Languages$9772324
997   $aUNINA