Cargando…

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

Detalles Bibliográficos
Autor principal:	Hasuo, Ichiro
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764239

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

Rewriting logic and its applications: 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers
por: Lucanu, Dorel
Publicado: (2016)

Programming languages and systems: 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, proceedings
por: Thiemann, Peter
Publicado: (2016)

Network and parallel computing: 13th IFIP WG 10. 3 international conference, NPC 2016, Xi'an, China, October 28-29, 2016, proceedings
por: Gao, Guang R, et al.
Publicado: (2016)

Computational history and data-driven humanities: second IFIP WG 12. 7 international workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, revised selected papers
por: Bozic, Bojan, et al.
Publicado: (2016)

Testing software and systems: 28th IFIP WG 6. 1 international conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, proceedings
por: Wotawa, Franz, et al.
Publicado: (2016)

Trust management X: 10th IFIP WG 11. 11 international conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, proceedings
por: Habib, Sheikh Mahbub, et al.
Publicado: (2016)

Advances in production management systems initiatives for a sustainable world: IFIP WG 5. 7 international conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, revised selected papers
por: Nääs, Irenilza, et al.
Publicado: (2017)

Information processing and management of uncertainty in knowledge-based systems: 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, proceedings, part I
por: Carvalho, Joao Paulo, et al.
Publicado: (2016)

Information processing and management of uncertainty in knowledge-based systems: 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, proceedings, part II
por: Carvalho, Joao Paulo, et al.
Publicado: (2016)

Collaboration in a hyperconnected world: 17th IFIP WG 5. 5 working conference on virtual enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, proceedings
por: Afsarmanesh, Hamideh, et al.
Publicado: (2016)

Artificial intelligence for knowledge management: 4th IFIP WG 12. 6 international workshop, AI4KM 2016, held at IJCAI 2016, New York, NY, USA, July 9, 2016, revised selected papers
por: Mercier-Laurent, Eunika, et al.
Publicado: (2018)

Service-oriented and cloud computing: 5th IFIP WG 2. 14 European conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, proceedings
por: Aiello, Marco, et al.
Publicado: (2016)

Open source systems: 12th IFIP WG 2. 13 international conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, proceedings
por: Crowston, Kevin, et al.
Publicado: (2016)

Information security theory and practice: 10th IFIP WG 11. 2 international conference, WISTP 2016, Heraklion, Crete, Greece, September 26-27, 2016, proceedings
por: Foresti, Sara, et al.
Publicado: (2016)

Computer and computing technologies in agriculture X: 10th IFIP WG 5. 14 international conference, CCTA 2016, Dongying, China, October 19-21, 2016, proceedings
por: Li, Daoliang
Publicado: (2019)

Cellular automata and discrete complex systems: 22nd IFIP WG 1. 5 international workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, proceedings
por: Cook, Matthew, et al.
Publicado: (2016)

In this issue (April 2016)
Publicado: (2016)

Socially aware organisations and technologies impact and challenges: 17th IFIP WG 8. 1 international conference on informatics and semiotics in organisations, ICISO 2016, Campinas, Brazil, August 1-3, 2016, proceedings
por: Baranauskas, Maria Cecilia Calani, et al.
Publicado: (2016)

Technological innovation for cyber-physical systems: 7th IFIP WG 5 5SOCOLNET advanced doctoral conference on computing, electrical and industrial systems, DOCEIS 2016, Costa de Caparica, Portugal, April 11-13, 2016, proceedings
por: Camarinha-Matos, Luis M, et al.
Publicado: (2016)

Culture, technology, communication common world, different futures: 10th IFIP WG 13. 8 international conference, CATAC 2016, London, UK, June 15-17, 2016, revised selected papers
por: Abdelnour-Nocera, José, et al.
Publicado: (2016)

Research and practical issues of enterprise information systems: 10th IFIP WG 8. 9 working conference, CONFENIS 2016, Vienna, Austria, December 13-14, 2016, proceedings
por: Tjoa, A Min, et al.
Publicado: (2016)

VLSI-SOC: 24th IFIP WG 10 5IEEE international conference on very large scale integration, VLSI-SOC 2016, Tallinn, Estonia, September 26-28, 2016, revised selected papers
por: Hollstein, Thomas, et al.
Publicado: (2017)

Beyond interpretivism? new encounters with technology and organization: IFIP WG 8. 2 working conference on information systems and organizations, IS&O 2016, Dublin, Ireland, December 9-10, 2016, proceedings
por: Introna, Lucas, et al.
Publicado: (2016)

Workshop on research methodology for Ayurveda, April 2 and 3, 2016
por: Nakanekar, Amit
Publicado: (2016)

Graph-theoretic concepts in computer science: 43rd international workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, revised selected papers
por: Bodlaender, Hans L, et al.
Publicado: (2017)

Coordination models and languages: 18th IFIP WG 6. 1 international conference, coordination 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings
por: Lluch Lafuente, Alberto, et al.
Publicado: (2016)

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

Distributed applications and interoperable systems: 16th ifip wg 6 1 international conference, DAIS 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, proceedings
por: Jelasity, Márk, et al.
Publicado: (2016)

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

Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, june 6-9, 2016, proceedings
por: Albert, Elvira, et al.
Publicado: (2016)

Availability, reliability, and security in information systems: IFIP WG 8. 4, 8. 9, TC 5 international cross-domain conference, CD-ARES 2016, and workshop on privacy aware machine learning for health data science, PAML 2016, Salzburg, Austria, August 31 - September 2, 2016, proceedings
por: Buccafurri, Francesco, et al.
Publicado: (2016)

37th Max Born Symposium hosting 2016 WG3 Meeting of COST Action MP 1405
Publicado: (2016)

The Fifth International Meeting of ISEV, ISEV2016, Rotterdam, The Netherlands, 4 – 7 May, 2016
Publicado: (2016)

Upsurge of Enterovirus D68, the Netherlands, 2016
por: Knoester, Marjolein, et al.
Publicado: (2017)

Phenomenological and Experimental Developments in Charm Physics: The WG7 Report from CKM 2016
por: Casarosa, Giulia, et al.
Publicado: (2017)

Sustainable ICT, education and learning: IFIP WG 3. 4 international conference, SUZA 2019, Zanzibar, Tanzania, April 25-27, 2019, revised selected papers
por: Tatnall, Arthur, et al.
Publicado: (2019)

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

Improving Detection and Response to Respiratory Events — Kenya, April 2016–April 2020
por: Idubor, Osatohamwen I., et al.
Publicado: (2020)

BNAIC 2016: 28th Benelux conference on artificial intelligence, Amsterdam, The Netherlands, November 10-11, 2016, revised selected papers
por: Bosse, Tibor, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_hnqi5tm7vcf79dr7n4j2na1b6j