Cargando…

Algebra and coalgebra in computer science: 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, proceedings

Detalles Bibliográficos
Autores principales:	Corradini, Andrea, Klin, Bartek, Cîrstea, Corina
Lenguaje:	eng
Publicado:	Springer 2011
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757156

Ejemplares similares

Calco manías
por: Montessoro, Flavio, 1972-
Publicado: (2008)

Report on ECFA Activities September 2010 - August 2011
Publicado: (2011)

Report on ECFA activities September 2011-August 2012
Publicado: (2012)

On natural coalgebra decompositions of tensor algebras and loop suspensions
por: Selick, Paul, et al.
Publicado: (2000)

Formal methods: 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011, proceedings
por: Simao, Adenilso, et al.
Publicado: (2011)

International Surgical Week ISW 2011: Yokohama, Japan, August 28–September 1, 2011
Publicado: (2011)

Web reasoning and rule systems: 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011, proceedings
por: Rudolph, Sebastian, et al.
Publicado: (2011)

Database and expert systems applications: 22nd international conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, proceedings, part I
por: Hameurlain, Abdelkader, et al.
Publicado: (2011)

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
por: Keizer, Alex C., et al.
Publicado: (2021)

Stochastic coalgebraic logic
por: Doberkat, Ernst-Erich
Publicado: (2009)

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
por: Cîrstea, Corina
Publicado: (2018)

Information and communication on technology for the fight against global warming: first international conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011, proceedings
por: Kranzlmüller, Dieter, et al.
Publicado: (2011)

CONCUR 2011 - concurrency theory: 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, proceedings
por: Katoen, Joost-Pieter, et al.
Publicado: (2011)

In the September 2011 issue
por: Nitrini, Ricardo
Publicado: (2011)

The “Winchester Goose”
por: Silvette, Herbert
Publicado: (1938)

On Well-Founded and Recursive Coalgebras
por: Adámek, Jiří, et al.
Publicado: (2020)

Search based software engineering: third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,proceedings
por: Cohen, Myra B, et al.
Publicado: (2011)

Serious games development and applications: second international conference, SGDA 2011, Lisbon, Portugal, September 19-20, 2011, proceedings
por: Ma, Minhua, et al.
Publicado: (2011)

Supplement 2 September 2011
Publicado: (2011)

Winchester disks in microcomputers
por: MacLeod, Jonah
Publicado: (1983)

Winchester County Hospital
Publicado: (1830)

Winchester County Hospital
Publicado: (1829)

Winchester Nurses' Home
por: Weston,, et al.
Publicado: (1911)

War Memories at Winchester
Publicado: (1920)

Probabilistic systems coalgebraically: A survey
por: Sokolova, Ana
Publicado: (2011)

BE Newsletter Issue #2 August 2011
por: Billen, Ronny
Publicado: (2011)

Cryptography and coding: 13th IMA international conference, IMACC 2011, Oxford, UK, December 2011, proceedings
por: Chen, Liqun
Publicado: (2011)

Computer Science and Convergence : CSA 2011 & WCC 2011 Proceedings
por: Park, James, et al.
Publicado: (2012)

Introduction to coalgebra: towards mathematics of states and observation
por: Jacobs, Bart
Publicado: (2017)

A Quantified Coalgebraic van Benthem Theorem
por: Wild, Paul, et al.
Publicado: (2021)

El Winchester de Durero /
por: Zequeira Ramírez, Rafael, 1950-
Publicado: (1999)

El Winchester de Durero
por: Zequeira Ramírez, Rafael
Publicado: (2019)

Lines Written in Winchester Hospital
Publicado: (1888)

Anaesthesia management for Winchester syndrome
por: Sharma, Ankita, et al.
Publicado: (2021)

Proceedings of 2011 Stillbirth Summit
por: Mitchell, Edwin A
Publicado: (2015)

Recent advances in intrusion detection: 14th international symposium, RAID 2011, Menlo Park, CA, USA, September 20-21, 2011, proceedings
por: Sommer, Robin, et al.
Publicado: (2011)

BI MD studies on August 25th 2011
por: Belohrad, D, et al.
Publicado: (2011)

The Royal Hants County Hospital, Winchester
Publicado: (1892)

Royal Hants County Hospital, Winchester
por: Warner, J. Charles
Publicado: (1909)

Sensors and Microsystems : AISEM 2011 Proceedings
por: D’Amico, Arnaldo, et al.
Publicado: (2012)

Cannot write session to /tmp/vufind_sessions/sess_pso2udc464u0o43ek97p9f3b14