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 /

QR Code

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 /

Bibliographic Details
Format:	Book
Language:	English
Published:	c2020.
Online Access:	Ver documento en línea

Similar Items

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

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

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 history and data-driven humanities : Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers /
Published: (2016)

Entertainment computing ICEC 2020 : 19th IFIP TC 14 International Conference, ICEC 2020 Xi'an, China, November 10-13, 2020 Proceedings /

Cyber security and computer science : Second EAI International Conference, ICONCS 2020 Dhaka, Bangladesh, February 15-16, 2020 Proceedings /
Published: (2020)

Computational science - ICCS 2020 : 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020 /
Published: (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 /
Published: (2020)

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

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

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

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

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

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

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

Electronic government : 13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 1-3, 2014. Proceedings /
Published: (2014)

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

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

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

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

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

Data and applications security and privacy XXXIV : 34th Annual IFIP WG 11.3 Conference, DBSec 2020, Regensburg, Germany, June 25-26, 2020. Proceedings /
Published: (2020)

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

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.

Computing methods in applied sciences
by: International symposium
Published: (1976)

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

Computer networks : 27th International Conference, CN 2020, Gdańsk, Poland, June 23-24, 2020, Proceedings /
Published: (2020)

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

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 /
Published: (2020)