Cargando…

Programming languages and systems: 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings

Detalles Bibliográficos
Autor principal:	Vitek, Jan
Lenguaje:	eng
Publicado:	Springer 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761664

Ejemplares similares

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)

Programming languages and systems: 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings
por: Yang, Hongseok
Publicado: (2017)

Fundamental approaches to software engineering: 18th international conference, FASE 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings
por: Egyed, Alexander, et al.
Publicado: (2015)

Tools and algorithms for the construction and analysis of systems: 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015, proceedings
por: Baier, Christel, et al.
Publicado: (2015)

Algorithms - ESA 2015: 23rd annual European symposium, Patras, Greece, September 14-16, 2015, proceedings
por: Bansal, Nikhil, et al.
Publicado: (2015)

Evolutionary computation in combinatorial optimization: 15th European conference, EVOCOP 2015, Copenhagen, Denmark, April 8-10, 2015, proceedings
por: Ochoa, Gabriela, et al.
Publicado: (2015)

Applications of evolutionary computation: 18th European conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, proceedings
por: Mora, Antonio M, et al.
Publicado: (2015)

Software architecture: 9th European conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 proceedings
por: Weyns, Danny, et al.
Publicado: (2015)

Applied reconfigurable computing: 11th international symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, proceedings
por: Sano, Kentaro, et al.
Publicado: (2015)

Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
por: Fischer, Bernd, et al.
Publicado: (2015)

Programming languages and systems: 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, proceedings
por: Feng, Xinyu, et al.
Publicado: (2015)

Advances in information retrieval: 37th european conference on IR research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015 proceedings
por: Hanbury, Allan, et al.
Publicado: (2015)

NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
por: Havelund, Klaus, et al.
Publicado: (2015)

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

Foundations of software science and computational structures: 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, proceedings
por: Seidl, Helmut
Publicado: (2007)

Topics in cryptology - CT-RSA 2015: the cryptographer's track at the RSA conference 2015, San Francisco, CA, USA, April 20-24, 2015 proceedings
por: Nyberg, Kaisa
Publicado: (2015)

Fundamental approaches to software engineering: 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings
por: Huisman, Marieke, et al.
Publicado: (2017)

Engineering secure software and systems: 7th international symposium, ESSOS 2015, Milan, Italy, March 4-6, 2015, proceedings
por: Piessens, Frank, et al.
Publicado: (2015)

Search-based software engineering: 7th international symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, proceedings
por: Barros, Márcio, et al.
Publicado: (2015)

Systems, software and services process improvement: 22nd european conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 proceedings
por: Umay Akkaya, Mariye, et al.
Publicado: (2015)

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

Tests and proofs: 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 proceedings
por: Blanchette, Jasmin Christian, et al.
Publicado: (2015)

Principles of security and trust: 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, proceedings
por: Maffei, Matteo, et al.
Publicado: (2017)

Proceedings of the 2015 WAO Symposium on Food Allergy and the Microbiome
por: Almarales, Raúl Lázaro Castro, et al.
Publicado: (2016)

Highlights from the Keystone Symposium on HIV Persistence 2015: 26–30 April 2015, Boston, Massachusetts, USA
por: Lee, Sulggi A
Publicado: (2015)

Mathematical foundations of computer science 2015: 40th international symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, proceedings, part II
por: Italiano, Giuseppe F, et al.
Publicado: (2015)

London Trauma Conference 2015: London, UK, 8-11 December 2015
por: Avery, Pascale, et al.
Publicado: (2016)

Multimodality imaging: Bird’s eye view from The European Society of Cardiology Congress 2015 London, August 29-September 2, 2015
por: Bax, Jeroen J., et al.
Publicado: (2015)

APS April meeting 2015
Publicado: (2015)

Fundamentals of software engineering: 6th international conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 revised selected papers
por: Dastani, Mehdi, 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)

Launch of a Nationwide Hepatitis C Elimination Program — Georgia, April 2015
por: Mitruka, Kiren, et al.
Publicado: (2015)

Practical aspects of declarative languages: 17th international symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015 proceedings
por: Pontelli, Enrico, et al.
Publicado: (2015)

2015 Brainhack Proceedings
por: Craddock, R. Cameron, et al.
Publicado: (2016)

Proceedings of the 9th Annual Dubai Medical Education Symposium 2015: Dubai, UAE. 30 May 2015
por: Shersad, Fouzia, et al.
Publicado: (2016)

ESOPs
por: Miller, Scott
Publicado: (2017)

Report on Proceedings of the Eighth Annual European CME Forum, Manchester, UK, November 2015
por: Murray, Ron
Publicado: (2016)

Phenomenology 2015 Symposium
Publicado: (2015)

Abel Symposium 2015
por: Carlsen, Toke, et al.
Publicado: (2016)

Symbolic and quantitative approaches to reasoning with uncertainty: 13th European conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015 proceedings
por: Destercke, Sébastien, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_sc94gq26chgn80tv7pp56g9ei8