Cargando…

Trends in functional programming: 17th international conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, revised selected papers

Detalles Bibliográficos
Autores principales:	Van Horn, David, Hughes, John
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755403

Ejemplares similares

Trends in functional programming: 19th international symposium, TFP 218, Gothenburg, Sweden, June 11-13, 218, revised selected papers
por: Pałka, Michał, et al.
Publicado: (2019)

Trends in functional programming: 18th international symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers
por: Wang, Meng, et al.
Publicado: (2018)

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)

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)

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)

Obituary: Jong Sub Park, M.D., 1932 to 2016
por: Tak, Min Sung
Publicado: (2016)

Quantum interaction: 10th international conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, revised selected papers
por: de Barros, Jose Acacio, et al.
Publicado: (2017)

Highlights of the Global HIV-1 CSF Escape Consortium Meeting, 9 June 2016, Bethesda, MD, USA
por: Joseph, Jeymohan, et al.
Publicado: (2016)

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)

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)

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)

Smart cities: first international conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, proceedings
por: Alba, Enrique, et al.
Publicado: (2016)

Spatial cognition X: 13th biennial conference, KOGWIS 2016, Bremen, Germany, September 26-30, 2016, and 10th international conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, revised selected papers
por: Barkowsky, Thomas, et al.
Publicado: (2017)

Abstracts from The College of Podiatry Annual Conference 2016: Glasgow, Scotland. 17-19 November 2016
por: Ingram, John, et al.
Publicado: (2017)

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)

Unifying theories of programming: 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, revised selected papers
por: Bowen, Jonathan P, et al.
Publicado: (2017)

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)

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)

Computational intelligence: international joint conference, IJCCI 2016 Porto, Portugal, November 9-11, 2016 revised selected papers
por: Merelo, Juan Julian, et al.
Publicado: (2018)

Advanced information systems engineering: 28th international conference, CAISE 2016, Ljubljana, Slovenia, June 13-17, 2016 proceedings
por: Nurcan, Selmin, et al.
Publicado: (2016)

ATS MD’s in 2016
por: Fartoukh, Stephane, et al.
Publicado: (2016)

Languages and compilers for parallel computing: 29th international workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, revised papers
por: Ding, Chen, et al.
Publicado: (2017)

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)

Reconstruction, segmentation, and analysis of medical images: first international workshops, RAMBO 2016 and HVSMR 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, revised selected papers
por: Zuluaga, Maria A, et al.
Publicado: (2017)

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)

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)

Trends in functional programming: 15th international symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 revised selected papers
por: Hage, Jurriaan, et al.
Publicado: (2015)

Current trends in web engineering: ICWE 2016 international workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016 revised selected papers
por: Casteleyn, Sven, et al.
Publicado: (2016)

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)

Interoperability, safety and security in IoT: second international conference, InterIoT 2016 and third international conference, InterIoT 2016, Paris, France, October 26-27, 2016, revised selected papers
por: Mitton, Nathalie, et al.
Publicado: (2017)

Paradigms in cryptology - MYCRYPT 2016 malicious and exploratory cryptology: second international conference, MYCRYPT 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, revised selected papers
por: Phan, Raphaël C -W, et al.
Publicado: (2017)

Knowledge graph and semantic computing: first China conference, CCKS 2016, Beijing, China, September 19-22, 2016, revised selected papers
por: Chen, Huajun, 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)

Human centered computing: second international conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, revised selected papers
por: Zu, Qiaohong, 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)

Machine learning and intelligent communications: first international conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, revised selected papers
por: Xin-lin, Huang
Publicado: (2017)

Information systems security and privacy: second international conference, ICISSP 2016, Rome, Italy, February 19-21, 2016, revised selected papers
por: Camp, Olivier, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_46bls3k5irgc6sbu9vs7gbi3j0