LEADER 01327nam0 22003133i 450 001 VAN00270223 005 20240806101529.559 017 70$2N$a9789400720794 100 $a20240126d2011 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $aNeuroscience, Consciousness and Spirituality$fHarald Walach, Stefan Schmidt, Wayne B. Jonas editors 210 $aDordrecht$cSpringer$d2011 215 $aVIII, 300 p.$d24 cm 410 1$1001VAN00123205$12001 $aStudies in Neuroscience, Consciousness and Spirituality$1210 $aCham$cSpringer$v1 620 $aNL$dDordrecht$3VANL000068 702 1$aJonas$bWayne B.$3VANV221774 702 1$aSchmidt$bStefan$cpsychologia$3VANV221773 702 1$aWalach$bHarald$3VANV221772 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttps://doi.org/10.1007/978-94-007-2079-4$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN00270223 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 11865 $e15EB 11865 20240126 996 $aNeuroscience, Consciousness and Spirituality$93870302 997 $aUNICAMPANIA LEADER 02088nam0 2200421 i 450 001 VAN00115473 005 20240806100754.167 017 70$2N$a978-94-6239-204-5 100 $a20180309d2016 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 200 1 $aType systems for distributed programs: components and sessions$fOrnela Dardha 210 $a[Amsterdam]$cAtlantis$d2016 215 $aXXII, 192 p.$cill.$d24 cm 410 1$1001VAN00104364$12001 $aAtlantis Studies in Computing$1210 $aParis [etc.]$cAtlantis$v7 500 1$3VAN00242816$aType systems for distributed programs: components and sessions$92785166 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68M14$xDistributed systems [MSC 2020]$3VANC027695$2MF 606 $a68N19$xOther programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020]$3VANC028606$2MF 606 $a68Q60$xSpecification and verification (program logics, model checking, etc.) [MSC 2020]$3VANC024550$2MF 606 $a68Q85$xModels and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]$3VANC031034$2MF 610 $aComplex Distributed Systems$9KW:K 610 $aDynamic Reconfiguration$9KW:K 610 $aPi-calculus$9KW:K 610 $aSession Types$9KW:K 610 $aStatic Analysis$9KW:K 620 $dAmsterdam$3VANL001716 700 1$aDardha$bOrnela$3VANV089395$0756122 712 $aAtlantis $3VANV113618$4650 801 $aIT$bSOL$c20260130$gRICA 856 4 $uhttp://dx.doi.org/10.2991/978-94-6239-204-5$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN00115473 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 2577 $e15EB 2577 20180309 996 $aType systems for distributed programs: components and sessions$92785166 997 $aUNICAMPANIA