Cargando…

Unifying theories of programming: 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, revised selected papers

Detalles Bibliográficos
Autores principales:	Bowen, Jonathan P, Zhu, Huibiao
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761774

Ejemplares similares

Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
por: Ábrahám, Erika, et al.
Publicado: (2016)

Vital Statistics of Iceland and Reykjavik during the Last Decennium
por: Hjaltelin, John
Publicado: (1866)

E-business and telecommunications: international joint conference, ICETE 2013, Reykjavik, Iceland, July 29-31, 2013, revised selected papers
por: Obaidat, Mohammad S, et al.
Publicado: (2014)

Artificial life and intelligent agents: second international symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, revised selected papers
por: Lewis, Peter R, et al.
Publicado: (2018)

Epidemiology and treatment of distal radius fractures in Reykjavik, Iceland, in 2004: Comparison with an Icelandic study from 1985
por: Sigurdardottir, Kristbjörg, et al.
Publicado: (2011)

Trends in functional programming: 17th international conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, revised selected papers
por: Van Horn, David, et al.
Publicado: (2019)

Numerical analysis and its applications: 6th international conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, revised selected papers
por: Dimov, Ivan, et al.
Publicado: (2017)

Combinatorial optimization: 4th international symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, revised selected papers
por: Cerulli, Raffaele, et al.
Publicado: (2016)

Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
por: Ribeiro, Pedro, et al.
Publicado: (2019)

Innovative security solutions for information technology and communications: 9th international conference, SECITC 2016, Bucharest, Romania, June 9-10, 2016, revised selected papers
por: Bica, Ion, et al.
Publicado: (2016)

Ozone is associated with cardiopulmonary and stroke emergency hospital visits in Reykjavík, Iceland 2003–2009
por: Carlsen, Hanne Krage, et al.
Publicado: (2013)

Guido Altarelli Memorial Symposium | 10 June 2016
Publicado: (2016)

Foundations and practice of security: 9th international symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, revised selected papers
por: Cuppens, édéric, et al.
Publicado: (2016)

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)

Mobile, secure, and programmable networking: second international conference, MSPN 2016, Paris, France, June 1-3, 2016, revised selected papers
por: Boumerdassi, Selma, et al.
Publicado: (2016)

Mobile internet security: first international symposium, MOBISEC 2016, Taichung, Taiwan, July 14-15, 2016, revised selected papers
por: You, Ilsun, et al.
Publicado: (2018)

NASA formal methods: 8th international symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, proceedings
por: Rayadurgam, Sanjai, et al.
Publicado: (2016)

Similar decline in mortality rate of older persons with and without type 2 diabetes between 1993 and 2004 the Icelandic population-based Reykjavik and AGES-Reykjavik cohort studies
por: Olafsdottir, Elin, et al.
Publicado: (2013)

OWL: 13th international workshop, OWLED 2016, and 5th international workshop, ORE 2016, Bologna, Italy, November 20, 2016, revised selected papers
por: Dragoni, Mauro, et al.
Publicado: (2017)

Rapid mashup development tools: second international rapid mashup challenge, RMC 2016, Lugano, Switzerland, June 6, 2016, revised selected papers
por: Daniel, Florian, et al.
Publicado: (2017)

Digital transformation and global society: first international conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016, revised selected papers
por: Chugunov, Andrei V, et al.
Publicado: (2016)

Game theory for networks: 6th international conference, GameNets 2016, Kelowna, BC, Canada, May 11-12, 2016, revised selected papers
por: Cheng, Julian, et al.
Publicado: (2016)

Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
por: Blazy, Sandrine, et al.
Publicado: (2016)

Moriond Electroweak and Unified Theories 2016 - Experimental Summary
por: Hoecker, Andreas
Publicado: (2016)

Learning and intelligent optimization: 10th international conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, revised selected papers
por: Festa, Paola, et al.
Publicado: (2016)

High-performance scientific computing: first JARA-HPC symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, revised selected papers
por: Di Napoli, Edoardo, et al.
Publicado: (2017)

In the June 2016 issue
por: Nitrini, Ricardo
Publicado: (2016)

Semantic web challenges: third SemWebEval challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, revised selected papers
por: Sack, Harald, et al.
Publicado: (2016)

Web-age information management: WAIM 2016 international workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, revised selected papers
por: Song, Shaoxu, et al.
Publicado: (2016)

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)

Culture, technology, communication common world, different futures: 10th IFIP WG 13. 8 international conference, CATAC 2016, London, UK, June 15-17, 2016, revised selected papers
por: Abdelnour-Nocera, José, et al.
Publicado: (2016)

Algorithmic game theory: 9th international symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, proceedings
por: Gairing, Martin, et al.
Publicado: (2016)

Ad hoc networks: 8th international conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, revised selected papers
por: Zhou, Yifeng, et al.
Publicado: (2016)

Semantic technology: 6th joint international conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, revised selected papers
por: Li, Yuan-Fang, et al.
Publicado: (2016)

Agents and artificial intelligence: 8th international conference, ICAART 2016, Rome, Italy, February 24-26, 2016, revised selected papers
por: van den Herik, Jaap, et al.
Publicado: (2017)

Numerical software verification: 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
por: Bogomolov, Sergiy, et al.
Publicado: (2017)

Digital forensics and watermarking: 15th international workshop, IWDW 2016, Beijing, China, September 17-19, 2016, revised selected papers
por: Shi, Yun Qing, et al.
Publicado: (2017)

Hydrogen sulfide and traffic-related air pollutants in association with increased mortality: a case-crossover study in Reykjavik, Iceland
por: Finnbjornsdottir, Ragnhildur Gudrun, et al.
Publicado: (2015)

Bio-inspired computing - theories and applications: 11th international conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, revised selected papers, part I
por: Gong, Maoguo, et al.
Publicado: (2017)

Computer vision, imaging and computer graphics theory and applications: 11th international joint conference, VISIGRAPP 2016, Rome, Italy, February 27 - 29, 2016, revised selected papers
por: Braz, José, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_3peosao9klgivsv6l518uk5d69