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 /

Código QR

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 /

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

Ejemplares similares

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 /
Publicado: (2018)

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 : 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 : 4th international conference, ICACDS 2020 Valletta, Malta, April 24–25, 2020 revised selected papers.

Computational methods in systems biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings /
Publicado: (2018)

Computer science - theory and applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29-July 3, 2020, Proceedings /
Publicado: (2020)

Computational history and data-driven humanities : Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers /
Publicado: (2016)

Algorithms for computational biology : 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings.

Applied computer sciences in engineering : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings.

Computational science – ICCS 2020 : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020 /
Publicado: (2020)

Advanced Computer Architecture : 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings.

Computational science and its applications -ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings /
Publicado: (2020)

Computational intelligence in data science : Third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20–22, 2020, revised selected papers /
Publicado: (2020)

Computer and Information Sciences : Proceedings of the 25th International Symposium on Computer and Information Sciences /
Publicado: (2010)

Computer and information sciences : Proceedings of the 25th International Symposium on Computer and Information Sciences /
Publicado: (2010)

Advances in information and computer security : 15th international workshop on security, IWSEC 2020 Fukui, Japan, September 2–4, 2020 proceedings.

Computing science, communication and security : First International Conference, COMS2 2020, Gujarat, India, March 26-27, 2020, Revised Selected Papers /
Publicado: (2020)

Computing and combinatorics : 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29-31, 2020, Proceedings /
Publicado: (2020)

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado: (2017)

Computer algebra in scientific computing : 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings /
Publicado: (2020)

Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado: (2017)

Computer security - ESORICS 2020 : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings /
Publicado: (2020)

Collaboration technologies and social computing : 26th International Conference, CollabTech 2020, Tartu, Estonia, September 8–11, 2020, Proceedings /
Publicado: (2020)

Applied reconfigurable computing. Architectures, tools, and applications : 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings.

Computer and information sciences II : 26th International Symposium on Computer and Information Sciences /
Publicado: (2012)

Advances in visual computing : 15th International Symposium, ISVC 2020, San Diego, CA, USA, October 5-7, 2020, Proceedings.

Applications of evolutionary computation : 23rd european conference, EvoApplications 2020, Held as part of evoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings.

Computer networks : 27th International Conference, CN 2020, Gdańsk, Poland, June 23–24, 2020, Proceedings /
Publicado: (2020)

Computational logistics : 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings /
Publicado: (2020)

Computing methods in applied sciences
por: International symposium
Publicado: (1976)

Cloud computing – cloud 2020 : 13th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, september 18-20, 2020, proceedings /
Publicado: (2020)

Computational data and social networks : 9th International Conference, CSoNet 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings /
Publicado: (2020)

Computer animation and social agents : 33rd International Conference on Computer Animation and Social Agents, CASA 2020, Bournemouth, UK, October 13-15, 2020, Proceedings /
Publicado: (2020)

Environmental Software Systems. Computer Science for Environmental Protection : 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings /
Publicado: (2017)

Computer and computing technologies in agriculture VII : 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017, Proceedings /
Publicado: (2019)

Computer vision - ECCV 2020 workshops : Glasgow, UK, August 23-28, 2020, Proceedings, /
Publicado: (2020)