Cargando…

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

Detalles Bibliográficos
Autores principales:	Baier, Christel, Tinelli, Cesare
Lenguaje:	eng
Publicado:	Springer 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761143

Ejemplares similares

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)

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
por: Vitek, Jan
Publicado: (2015)

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

Information and software technologies: 21st international conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, proceedings
por: Dregvaite, Giedre, et al.
Publicado: (2015)

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)

Global security, safety and sustainability: 10th international conference, ICGS3 2015, London, UK, September 15-17, 2015 proceedings
por: Jahankhani, Hamid, et al.
Publicado: (2015)

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
por: Calinescu, Radu, et al.
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)

Enterprise, business-process and information systems modeling: 16th international conference, BPMDS 2015, 20th international conference, EMMSAD 2015, held at CAISE 2015, Stockholm, Sweden, June 8-9, 2015, proceedings
por: Gaaloul, Khaled, et al.
Publicado: (2015)

Proceedings of the International Gap Junction Conference 2015
por: Sáez, Juan C.
Publicado: (2016)

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)

Collaboration and technology: 21st international conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, proceedings
por: Baloian, Nelson, et al.
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)

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

Requirements engineering: 21st international working conference, REFSQ 2015, Essen, Germany, march 23-26, 2015 proceedings
por: Fricker, Samuel A, et al.
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)

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)

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)

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)

Database systems for advanced applications: 20th international conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, proceedings, part II
por: Renz, Matthias, et al.
Publicado: (2015)

Database systems for advanced applications: 20th international conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, proceedings, part I
por: Renz, Matthias, et al.
Publicado: (2015)

2015 Federated Conference on Software Development and Object Technologies
por: Janech, Jan, et al.
Publicado: (2017)

Proceedings of EMMJ6 Medical Journals Conference held at Shiraz Iran (February 18-20, 2015)
por: Jawaid, Shaukat Ali
Publicado: (2015)

Proceedings of Second International conference on Medical Writing held at Ajman, UAE (March 5-7, 2015)
por: Jawaid, Shaukat Ali
Publicado: (2015)

Product-focused software process improvement: 16th international conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, proceedings
por: Abrahamsson, Pekka, et al.
Publicado: (2015)

Computational linguistics and intelligent text processing: 16th international conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, proceedings, part II
por: Gelbukh, Alexander
Publicado: (2015)

Evolutionary multi-criterion optimization: 8th international conference, EMO 2015, Guimarães, Portugal, March 29 - April 1, 2015 proceedings, part I
por: Gaspar-Cunha, António, et al.
Publicado: (2015)

Social computing and social media: 7th international conference, SCSM 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings
por: Meiselwitz, Gabriele
Publicado: (2015)

2015 Autumn Conference
por: Kim, Chang-Ju
Publicado: (2015)

PRIMA 2015: 18th international conference, Bertinoro, Italy, October 26-30, 2015, proceedings
por: Chen, Qingliang, et al.
Publicado: (2015)

The 2015 Bioinformatics Open Source Conference (BOSC 2015)
por: Harris, Nomi L., et al.
Publicado: (2016)

Cryptography and coding: 15th IMA international conference, IMACC 2015, Oxford, UK, December 15-17, 2015 proceedings
por: Groth, Jens
Publicado: (2015)

Digital human modeling: 6th international conference, DHM 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings, part II
por: Duffy, Vincent G
Publicado: (2015)

Cross-cultural design: 7th international conference, CCD 2015, held as part of HCI international 2015, Los Angeles, CA, USA, August 2-7, 2015, proceedings, part II
por: Rau, P L Patrick
Publicado: (2015)

Advances in swarm and computational intelligence: 6th international conference, ICSI 2015 held in conjunction with the second BRICS congress, CCI 2015, Beijing, June 25-28, 2015, proceedings, part II
por: Tan, Ying, et al.
Publicado: (2015)

Reliable software technologies - ADA-Europe 2015: 20th ADA-Europe international conference on reliable software technologies, Madrid Spain, June 22-26, 2015, proceedings
por: de la Puente, Juan Antonio, et al.
Publicado: (2015)

Software reuse for dynamic systems in the cloud and beyond: 14th international conference on software reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015 proceedings
por: Schaefer, Ina, et al.
Publicado: (2014)

Entertainment computing - ICEC 2015: 14th international conference, ICEC 2015, Trondheim, Norway, September 29 - October 2, 2015, proceedings
por: Chorianopoulos, Konstantinos, et al.
Publicado: (2015)

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

Cannot write session to /tmp/vufind_sessions/sess_d5e3bkiv4gomn4b4p9fcf35k4i