00837cam0-22002531i-450-99000678025040332120080610112540.0000678025FED01000678025(Aleph)000678025FED0100067802520010426d1970----km-y0itay50------baengExplanatory report on the Convention relating to stops on bearer securities in international circulationStrasbourgCouncil of Europe197056 p.23 cmConsiglio d'Europa24561ITUNINARICAUNIMARCBK990006780250403321III Q1 11 (12)10722FSPBCFSPBCExplanatory report on the Convention relating to stops on bearer securities in international circulation634728UNINA02471nam0 22005533i 450 VAN0024877220240806101415.551N978303057201320220729d2020 |0itac50 baengCH|||| |||||Coalgebraic Methods in Computer Science15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, ProceedingsDaniela Petrişan, Jurriaan Rot editorsChamSpringer2020xv, 201 p.ill.24 cm001VAN000294382001 Lecture notes in computer science210 Berlin [etc.]Springer12094VAN00248774Coalgebraic Methods in Computer Science290283500B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF68-XXComputer science [MSC 2020]VANC019670MF68Q65Abstract data types; algebraic specification [MSC 2020]VANC037098MFArtificial IntelligenceKW:KBoolean algebraKW:KBoolean functionsKW:KCoalgebraKW:KComputer programmingKW:KComputer visionKW:KDatabasesKW:KDynamical systemsKW:KFormal logicKW:KFunctorsKW:KGame TheoryKW:KImage processingKW:KMathematicsKW:KMatrix algebraKW:KSemantical modelsKW:KSemanticsKW:KCHChamVANL001889PetrişanDanielaVANV203579RotJurriaanVANV203580International Workshop on Coalgebraic Methods in Computer Science15.2020Dublin, IrelandVANV203581Springer <editore>VANV108073650ITSOL20250314RICAhttp://doi.org/10.1007/978-3-030-57201-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00248772BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 4588 08eMF4588 20220729 Coalgebraic Methods in Computer Science2902835UNICAMPANIA