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 /

Código QR

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 /

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	English
Publicado:	c2012.
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 : 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 : 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.

Cloud computing and services sciences : International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3–5, 2014 revised selected papers /
Publicado: (2015)

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 supported education : 6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014, Revised Selected Papers /
Publicado: (2020)

Computational intelligence methods for bioinformatics and biostatistics : 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers /
Publicado: (2015)

Advances in computing and data sciences : third international conference, ICACDS 2019 Ghaziabad, India, April 12–13, 2019 revised selected papers.

Applications of evolutionary computation : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers.

Computer vision -ACCV 2014 workshops : Singapore, Singapore, November 1-2, 2014, Revised Selected Papers /
Publicado: (2015)

Computational forensics : 5th International Workshop, IWCF 2012, Tsukuba, Japan, November 11, 2012 and 6th International Workshop, IWCF 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers /
Publicado: (2015)

Cloud computing and services science : 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers /
Publicado: (2017)

Cloud Computing and Services Science : 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers /
Publicado: (2017)

Compiler construction : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014)

Computer vision -- ACCV 2014 : 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers /
Publicado: (2015)

Computer vision -- ACCV 2014 : 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers /
Publicado: (2015)

Computational methods in systems biology : 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings /
Publicado: (2014)

Artificial intelligence for knowledge management : Second IFIP WG 12.6 International Workshop, AI4KM 2014, Warsaw, Poland, September 7-10, 2014, revised selected papers.

Constructive side-channel analysis and secure design : 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers /
Publicado: (2014)

Graph-Theoretic Concepts in Computer Science : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers /
Publicado: (2017)

Computational management science : State of the Art 2014 /
Publicado: (2016)

Computer vision - ECCV 2014 : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings /
Publicado: (2014)

Cloud computing and service science : 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, revised selected papers /
Publicado: (2018)

Advances in computing and data sciences : 4th international conference, ICACDS 2020 Valletta, Malta, April 24–25, 2020 revised selected papers.

Computer algebra in scientific computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings /
Publicado: (2014)

Advances in service-oriented and cloud computing : Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers.

Cloud computing : 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, revised selected papers /
Publicado: (2014)

Algorithms and computation : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings.

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 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)

Computational linguistics and intelligent text processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings /
Publicado: (2014)

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)

Computer-assisted and robotic endoscopy : First International Workshop, CARE 2014, held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014. Revised Selected Papers /
Publicado: (2014)

Computing and philosophy : Selected Papers from IACAP 2014 /
Publicado: (2016)

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

Computer games : Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers /
Publicado: (2014)