01529nas 2200373 n 450 99000896582040332120240229084436.01591-5964000896582FED01000896582(Aleph)000896582FED01000896582CNRP 0023025020161109b19021917km-y0itaa50------baitaITauu--------<<Il >>Gaz1902-1917Venezia[s.n.]0010008965832001Gaz ed elettricità<<Il >>Gaz662.7ITACNP20090723http://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=1096165&person=false&language=ITALIANO&libr=&libr_th=unina1Biblioteche che possiedono il periodicoSE990008965820403321Biblioteca Centrale "F. Gasparini". Facoltà di Ingegneria. Università degli Studi di Napoli "Federico II"1902-1917.1917.dVIId4FINBC FINAGFINBCFINAGGaz795520UNINA866-01NA104 Biblioteca Centrale "F. Gasparini". Facoltà di Ingegneria. Università degli Studi di Napoli "Federico II"dVIId4p.le Tecchio,80, 80125 Napoli (NA)0817682190;08176821950817682188itacnp.cib.unibo.itACNP Italian Union Catalogue of Serialshttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=1096165&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO02470nam0 22005533i 450 VAN0024877220251031094212.379N978303057201320220729d2020 |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:KDatabaseKW: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>VANV108073650ITSOL20251121RICAhttp://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