Cargando…

Web services, formal methods, and behavioral types: 11th international workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th international workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, revised selected papers

Detalles Bibliográficos
Autores principales:	Hildebrandt, Thomas, Ravara, António, van der Werf, Jan Martijn, Weidlich, Matthias, Antonio, Ravara
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757774

Ejemplares similares

Algorithms and models for the web graph: 12th international workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, proceedings
por: Gleich, David F, et al.
Publicado: (2015)

Computer performance engineering: 11th European workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, proceedings
por: Horváth, András, et al.
Publicado: (2014)

Security and trust management: 11th international workshop, STM 2015, Vienna, Austria, September 21-22, 2015, proceedings
por: Foresti, Sara
Publicado: (2015)

FM 2015: 20th international symposium, Oslo, Norway, June 24-26, 2015, proceedings
por: Bjørner, Nikolaj, et al.
Publicado: (2015)

Data privacy management, autonomous spontaneous security, and security assurance: 9th international workshop, DPM 2014, 7th international workshop, SETOP 2014, and 3rd international workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014 revised selected papers
por: Garcia-Alfaro, Joaquin, et al.
Publicado: (2015)

Algorithms in bioinformatics: 14th international workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014 proceedings
por: Brown, Dan, et al.
Publicado: (2014)

Lightweight cryptography for security and privacy: 4th international workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, revised selected papers
por: Güneysu, Tim, et al.
Publicado: (2016)

Artificial intelligence: 16th international conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, proceedings
por: Agre, Gennady, et al.
Publicado: (2014)

Multiple access communications: 8th international workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, proceedings
por: Jonsson, Magnus, et al.
Publicado: (2015)

Computer performance engineering: 12th European workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, proceedings
por: Beltrán, Marta, et al.
Publicado: (2015)

Information security: 18th international conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, proceedings
por: Lopez, Javier, et al.
Publicado: (2015)

Theoretical aspects of computing - ICTAC 2014: 11th international colloquium, Bucharest, Romania, September 17-19, 2014 proceedings
por: Ciobanu, Gabriel, et al.
Publicado: (2014)

Software engineering for resilient systems: 7th international workshop, SERENE 2015, Paris, France, September 7-8, 2015 proceedings
por: Fantechi, Alessandro, et al.
Publicado: (2015)

Advances in information and computer security: 11th international workshop on security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, proceedings
por: Ogawa, Kazuto, et al.
Publicado: (2016)

Business process management: 13th international conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, proceedings
por: Motahari-Nezhad, Hamid Reza, et al.
Publicado: (2015)

BE Newsletter Issue #11 September 2014
por: Billen, Ronny
Publicado: (2014)

Approximation and online algorithms: 13th international workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 revised selected papers
por: Sanità, Laura, et al.
Publicado: (2016)

Cryptographic hardware and embedded systems - CHES 2015: 17th international workshop, Saint-Malo, France, September 13-16, 2015, proceedings
por: Güneysu, Tim, et al.
Publicado: (2015)

Software engineering and formal methods: 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
por: Calinescu, Radu, et al.
Publicado: (2015)

Machines, computations, and universality: 7th international conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, proceedings
por: Nagy, Benedek, et al.
Publicado: (2015)

Languages and compilers for parallel computing: 27th international workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, revised selected papers
por: Brodman, James, et al.
Publicado: (2015)

Trust, privacy, and security in digital business: 11th international conference, TRUSTBUS 2014, Munich, Germany, September 2-3, 2014 proceedings
por: Eckert, Claudia, et al.
Publicado: (2014)

PFP-FM: An Accelerated FM-index
por: Hong, Aaron, et al.
Publicado: (2023)

Modeling decisions for artificial intelligence: 12th international conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, proceedings
por: Narukawa, Torra, et al.
Publicado: (2015)

Computer vision - ECCV 2014 workshops: Zurich, Switzerland, September 6-7 and 12, 2014, proceedings, part I
por: Agapito, Lourdes, et al.
Publicado: (2015)

Computer vision - ECCV 2014 workshops: Zurich, Switzerland, September 6-7 and 12, 2014, proceedings, part IV
por: Agapito, Lourdes, et al.
Publicado: (2015)

Computer vision - ECCV 2014 workshops: Zurich, Switzerland, September 6-7 and 12, 2014, proceedings, part III
por: Agapito, Lourdes, et al.
Publicado: (2015)

Discrete geometry for computer imagery: 18th IAPR international conference, DGCI 2014, Siena, Italy, September 10-12, 2014 proceedings
por: Barcucci, Elena, et al.
Publicado: (2014)

Formal modeling and analysis of timed systems: 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, proceedings
por: Legay, Axel, et al.
Publicado: (2014)

Parameterized and exact computation: 9th international symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014 revised selected papers
por: Cygan, Marek, et al.
Publicado: (2014)

Image analysis and processing - ICIAP 2015: 18th international conference, Genoa, Italy, September 7-11, 2015, proceedings, part II
por: Murino, Vittorio, et al.
Publicado: (2015)

Cellular automata: 11th international conference on cellular automata for research and industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, proceedings
por: Was, Jaroslaw, et al.
Publicado: (2014)

The 6th international workshop QCD@LHC 2015
Publicado: (2015)

11th International Conference FQAS 2015
por: Andreasen, Troels, et al.
Publicado: (2016)

11th International Workshop on Railway Noise
por: Nielsen, Jens, et al.
Publicado: (2015)

11th International Workshop on Accelerator Alignment
Publicado: (2010)

11th International Couette-Taylor Workshop
por: Egbers, Christoph, et al.
Publicado: (2000)

11th International Workshop on Vertex Detectors
por: Olsen, Stephen L, et al.
Publicado: (2002)

11th International Workshop on Neutrino Telescopes
por: Baldo-Ceolin, Milla
Publicado: (2005)

Cannot write session to /tmp/vufind_sessions/sess_09mgrfinhbv804nptda5pmu0q4