Coalgebraic methods in computer science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, april 14–15, 2018, revised selected papers /

Código QR

Coalgebraic methods in computer science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, april 14–15, 2018, revised selected papers /

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	English
Publicado:	c2018.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, april 2-3, 2016, revised selected papers /
Publicado: (2016)

Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, april 5-6, 2014, revised selected papers /
Publicado: (2012)

Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, april 25–26, 2020, proceedings /
Publicado: (2020)

Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, march 31 -- april 1, 2012, revised selected papers /
Publicado: (2012)

Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings.

Algebra and coalgebra in computer science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings.

Algebra and coalgebra in computer science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings.

Advances in computing and data sciences : second international conference, ICACDS 2018 Dehradun, India, April 20–21, 2018 Revised Selected Papers.

Computer science - CACIC 2018 : 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018, Revised Selected Papers /
Publicado: (2019)

Computational intelligence methods for bioinformatics and biostatistics : 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6–8, 2018, Revised Selected Papers /
por: Raposo, María
Publicado: (2020)

Computational intelligence methods for bioinformatics and biostatistics : 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6–8, 2018, Revised Selected Papers /
Publicado: (2020)

Computer vision- ACCV 2018 workshops : 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers /
Publicado: (2019)

Computational methods and clinical applications in musculoskeletal imaging : 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers /
Publicado: (2019)

Computational intelligence and intelligent systems : 10th International Symposium, ISICA 2018, Jiujiang, China, October 13–14, 2018, Revised Selected Papers /
Publicado: (2019)

Computational methods and clinical applications for spine imaging : 5th International Workshop and Challenge, CSI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, revised selected papers /
Publicado: (2019)

Advances in service-oriented and cloud computing : Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers.

Cloud computing and services science / : 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, march 19-21, 2018, revised selected papers /
Publicado: (2019)

Computer vision -ACCV 2018 : 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, revised selected papers /
Publicado: (2019)

Computer and information sciences : 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings /
Publicado: (2018)

Computational methods in systems biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /
Publicado: (2018)

Computer games : 7th Workshop, CGW 2018, Held in Conjunction with the 27th International Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, July 13, 2018, Revised Selected Papers /
Publicado: (2019)

Advanced informatics for computing research : Second International Conference, ICAICR 2018, Shimla, India, July 14-15, 2018, Revised Selected Papers,.

Artificial life and evolutionary computation : 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, revised selected papers.

Agile methods : 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers.

Computational science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11–13, 2018 /
Publicado: (2018)

Computational and information technologies in science, engineering and education : 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers /
Publicado: (2019)

Computer and computing technologies in agriculture IX : 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers /
Publicado: (2016)

Computer and computing technologies in agriculture VII : 7th IFIP WG 5.14 International Conference, CCTA 2013, Beijing, China, September 18-20, 2013, Revised Selected Papers /
Publicado: (2014)

Computer and computing technologies in agriculture VIII : 8th IFIP WG 5.14 International Conference, CCTA 2014, Beijing, China, September 16-19, 2014, Revised Selected Papers /
Publicado: (2015)

Computer science - theory and applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings /
Publicado: (2018)

Computer security : ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers /
Publicado: (2019)

Algorithmic aspects of cloud computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers.

Computer and computing technologies in agriculture VI : 6th IFIP TC WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers /
Publicado: (2013)

Applied computer sciences in engineering : 5th Workshop on engineering applications, WEA 2018, Medellín, Colombia, october 17-19, 2018, Proceedings.

Artificial intelligence applications and innovations : 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25–27, 2018, Proceedings.

Critical infrastructure protection XII : 12th IFIP WG 11.10 International Conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, Revised Selected Papers /
Publicado: (2018)

Computational science and technology : 5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018 /
Publicado: (2019)

Computer science - CACIC 2019 : 25th Argentine Congress of Computer Science, CACIC 2019, Río Cuarto, Argentina, October 14-18, 2019, Revised Selected Papers /
Publicado: (2020)

Computer vision applications : Third Workshop, WCVA 2018, Held in Conjunction with ICVGIP 2018, Hyderabad, India, December 18, 2018, Revised Selected Papers /
Publicado: (2019)

Computer supported cooperative work and social computing : 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18-19, 2018, Revised Selected Papers /
Publicado: (2019)