Cargando…

FM 2015: 20th international symposium, Oslo, Norway, June 24-26, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Bjørner, Nikolaj, de Boer, Frank
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756790

Ejemplares similares

Formal methods for industrial critical systems: 20th international workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 proceedings
por: Güdemann, Matthias, et al.
Publicado: (2015)

Combinatorial pattern matching: 26th annual symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015, proceedings
por: Cicalese, Ferdinando, et al.
Publicado: (2015)

Proceedings of the 7th Biannual International Symposium on Nasopharyngeal Carcinoma 2015: Yogyakarta, Indonesia. 4-6 June 2015
por: Tan, IB, et al.
Publicado: (2016)

Experimental algorithms: 14th international symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, proceedings
por: Bampis, Evripidis
Publicado: (2015)

Bioinformatics research and applications: 11th international symposium, ISBRA 2015 Norfolk, USA, June 7-10, 2015 proceedings
por: Harrison, Robert, et al.
Publicado: (2015)

47th Nordic Lung Congress - Oslo 2015
Publicado: (2015)

Algorithms and computation: 26th international symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, proceedings
por: Elbassioni, Khaled, et al.
Publicado: (2015)

Pattern recognition: 7th Mexican conference, MCPR 2015, Mexico City, Mexico, June 24-27, 2015, proceedings
por: Carrasco-Ochoa, Jesús Ariel, et al.
Publicado: (2015)

Perspectives of system informatics: 12th international Andrei P. Ershov informatics conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, revised selected papers
por: Bjørner, Nikolaj, et al.
Publicado: (2019)

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)

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

End-user development: 5th international symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015 proceedings
por: Díaz, Paloma, 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)

Stochastics of environmental and financial economics: Centre of Advanced Study, Oslo, Norway, 2014-2015
por: Benth, Fred, et al.
Publicado: (2016)

Hybrid artificial intelligent systems: 10th international conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, proceedings
por: Onieva, Enrique, et al.
Publicado: (2015)

Engineering the web in the big data era: 15th international conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, proceedings
por: Cimiano, Philipp, et al.
Publicado: (2015)

Speech and computer: 17th international conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, proceedings
por: Ronzhin, Andrey, et al.
Publicado: (2015)

Fundamentals of computation theory: 20th international symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, proceedings
por: Kosowski, Adrian, et al.
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)

Advances in spatial and temporal databases: 14th international symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015 proceedings
por: Claramunt, Christophe, 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)

Software engineering and formal methods: 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings
por: Ölveczky, Peter Csaba, et al.
Publicado: (2019)

LHeC Workshop | 24-26 June 2015 | CERN and Chavannes-de-Bogis
Publicado: (2015)

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

Entertainment computing - ICEC 2015: 14th international conference, ICEC 2015, Trondheim, Norway, September 29 - October 2, 2015, proceedings
por: Chorianopoulos, Konstantinos, 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)

Proceedings of the 6th Oslo—Silivri Workshop
por: Decreusefond, Laurent, et al.
Publicado: (1998)

Image analysis: 19th Scandinavian conference, SCIA 2015, Copenhagen, Denmark, June 15-17, 2015 proceedings
por: Paulsen, Rasmus R, et al.
Publicado: (2015)

Business information systems workshops: BIS 2015 international workshops, Poznań, Poland, June 24-26, 2015, revised papers
por: Abramowicz, Witold
Publicado: (2015)

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

An Engaging Serious Game Aiming at Awareness of Therapy Skills Associated with Social Anxiety Disorder
por: Báldy, Imre Dániel, et al.
Publicado: (2021)

WALCOM: 9th international workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, proceedings
por: Rahman, M Sohel, et al.
Publicado: (2015)

Proceedings from the 26th Annual Symposium of the International Cannabinoid Research Society: June 26–July 1, 2016
por: Maccarrone, Mauro
Publicado: (2017)

Minutes of the 118th meeting of the SPSC, Tuesday 23 and Wednesday 24 June 2015
por: CERN. Geneva. SPS and PS Experiments Committee, et al.
Publicado: (2015)

Agenda of the 118th Meeting of the SPSC, Tuesday and Wednesday, 23-24 June 2015
por: CERN. Geneva. SPS and PS Experiments Committee, et al.
Publicado: (2015)

Web-age information management: 16th international conference, WAIM 2015, Qingdao, China, June 8-10, 2015 proceedings
por: Dong, Xin Luna, et al.
Publicado: (2015)

Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings
por: Hinze, Ralf, et al.
Publicado: (2015)

Multiple classifier systems: 12th international workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, proceedings
por: Schwenker, Friedhelm, et al.
Publicado: (2015)

Proceedings 26th Symposium ESVN‐ECVN
Publicado: (2014)

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

Cannot write session to /tmp/vufind_sessions/sess_qqjdbuke8rg16elqne813o8kf5