Cargando…

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

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

Ejemplares similares

Rewriting logic and its applications: 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, proceedings
por: Rusu, Vlad
Publicado: (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
por: Hasuo, Ichiro
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)

Ambient intelligence: European conference, AMI 2014, Eindhoven, The Netherlands, November 11-13, 2014 revised selected papers
por: Aarts, Emile, et al.
Publicado: (2014)

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)

Symbiotic interaction: 6th international workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18-19, 2017, revised selected papers
por: Ham, Jaap, et al.
Publicado: (2018)

The Shifting Picture of Rewritable Paper
por: Pandika, Melissa
Publicado: (2019)

The semantic web: ESWC 2016 satellite events, Heraklion, Crete, Greece, May 29 - June 2, 2016, revised selected papers
por: Sack, Harald, et al.
Publicado: (2016)

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

Reconstruction, segmentation, and analysis of medical images: first international workshops, RAMBO 2016 and HVSMR 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, revised selected papers
por: Zuluaga, Maria A, et al.
Publicado: (2017)

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)

The Eindhoven accelerator laboratory
por: De Voigt, M J A
Publicado: (1989)

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)

Cloud computing and services science: 6th international conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, revised selected papers
por: Helfert, Markus, et al.
Publicado: (2017)

Conflict resolution in decision making: second international workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, revised selected papers
por: Aydoğan, Reyhan, et al.
Publicado: (2017)

Graph transformation: 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, proceedings
por: Guerra, Esther, et al.
Publicado: (2019)

Analysis of images, social networks and texts: 5th international conference, AIST 2016, Yekaterinburg, Russia, April 7-9, 2016, revised selected papers
por: Ignatov, Dmitry I, et al.
Publicado: (2017)

Contract with Messrs Philips, Eindhoven
Publicado: (1955)

Fuzzy logic and soft computing applications: 11th international workshop, WILF 2016, Naples, Italy, December 19-21, 2016, revised selected papers
por: Petrosino, Alfredo, et al.
Publicado: (2017)

Knowledge engineering and knowledge management: EKAW 2016 satellite events, EKM and Drift-an-Lod, Bologna, Italy, November 19-23, 2016, revised selected papers
por: Ciancarini, Paolo, et al.
Publicado: (2017)

Constructive side-channel analysis and secure design: 7th international workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, revised selected papers
por: Standaert, François-Xavier, et al.
Publicado: (2016)

Trends and applications in knowledge discovery and data mining: PAKDD 2016 workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, revised selected papers
por: Cao, Huiping, et al.
Publicado: (2016)

The Eindhoven High-Brightness Electron Programme
por: Brussaard, G J H, et al.
Publicado: (2004)

Information technology for management: 14th conference, AITM 2016, and 11th conference, ISM 2016, held as part of FedCSIS, Gdansk, Poland, september 11-14, 2016, revised selected papers
por: Ziemba, Ewa
Publicado: (2017)

New frontiers in mining complex patterns: 5th international workshop, NFMCP 2016, held in conjunction with ECML-PKDD 2016, Riva del Garda, Italy, September 19, 2016, revised selected papers
por: Appice, Annalisa, et al.
Publicado: (2017)

Statistical atlases and computational models of the heart imaging and modelling challenges: 7th international workshop, STACOM 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, revised selected papers
por: Mansi, Tommaso, et al.
Publicado: (2017)

Service-oriented computing - ICSOC 2016 workshops: ASOCA, ISyCC, BSCI, and satellite events, Banff, AB, Canada, October 10-13, 2016, revised selected papers
por: Drira, Khalil, et al.
Publicado: (2017)

Fermi : Etapes importantes
Publicado: (1983)

Stanford : Etapes marquantes
Publicado: (1985)

Security protocols XXIV: 24th international workshop, Brno, Czech Republic, April 7-8, 2016, revised selected papers
por: Anderson, Jonathan, et al.
Publicado: (2017)

Interoperability and open-source solutions for the internet of things: second international workshop, INTEROSS-IoT 2016, held in conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, invited papers
por: Podnar Žarko, Ivana, et al.
Publicado: (2017)

Combinatorial Theory Seminar Eindhoven University of Technology
por: Lint, Jacobus H
Publicado: (1974)

The 75 MeV Racetrack Microtron Eindhoven
por: Theuws, W H C, et al.
Publicado: (1996)

Redémarrage du LHC: en route vers les collisions, étape par étape
Publicado: (2009)

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)

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

Dynamic metal-ligand coordination for multicolour and water-jet rewritable paper
por: Ma, Yun, et al.
Publicado: (2018)

Unraveling the mysteries of centriolar satellites: time to rewrite the textbooks about the centrosome/cilium complex
por: Odabasi, Ezgi, et al.
Publicado: (2020)

Machine learning for dynamic software analysis: international Dagstuhl seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, revised papers
por: Bennaceur, Amel, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_o86be9ltsmt6edfoo2tccmqqdl