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

QR Code

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

Bibliographic Details
Format:	Book
Language:	English
Published:	c2012.
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 : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, april 25-26, 2020, proceedings /
Published: (2020)

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.

Business process management workshops : BPM 2012 International Workshops, Tallinn, Estonia, september 3, 2012. Revised papers /
Published: (2013)

Cloud computing and services science : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised selected papers /
Published: (2013)

Compiler construction : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /
Published: (2012)

Computational intelligence methods for bioinformatics and biostatistics : 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012. Revised Selected Papers /
Published: (2013)

Advances in computational environment science : Selected papers from 2012 International Conference on Environment Science (ICES 2012), Australia, Melbourne, 15-16 January, 2012.

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

Computer vision - ACCV 2012 workshops : ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012. Revised Selected Papers /
Published: (2013)

Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Published: (2012)

Advances in computer science and engineering : 13th international CSI computer conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 revised selected papers /
Published: (2008)

Computer performance engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers /
Published: (2013)

Applied parallel and scientific computing : 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers.

Computer vision -ACCV 2012 : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, revised selected papers /
Published: (2013)

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

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

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

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

Business process management : 10th International Conference, BPM 2012, Tallinn, Estonia, september 3-6, 2012. Proceedings /
Published: (2012)

Computer science - theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings /
Published: (2012)

Computer and information science 2012 /
Published: (2012)

Computational methods in systems biology : 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012, Proceedings /
Published: (2012)

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

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

Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers /
Published: (2012)

Advances in visual computing : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers.

Computational intelligence : International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers /
Published: (2015)

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

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

Advances in computational intelligence : 11th Mexican international conference on artificial intelligence, MICAI 2012 San Luis Potosí, Mexico, October 27 - November 4, 2012 Revised Selected Papers.

Artificial intelligence and soft computing : 11th International Conference, ICAISC 2012, Zakopane, Poland, april 29-may 3, 2012, proceedings,.

Augmented environments for computer-assisted interventions : 7th international workshop, AE-CAI 2012, held in conjunction with MICCAI 2012, Nice, France, october 5, 2013, revised selected papers /
Published: (2013)

Cloud computing : Third International Conference, CloudComp 2012, Vienna, Austria, september 24-26, 2012, revised selected papers /
Published: (2013)

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

Computer algebra in scientific computing : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings /
Published: (2012)