Cargando…

Trends in functional programming: 18th international symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers

Detalles Bibliográficos
Autores principales:	Wang, Meng, Owens, Scott
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761133

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)

VLSI design and test: 21st international symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, revised selected papers
por: Kaushik, Brajesh Kumar, et al.
Publicado: (2017)

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)

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)

Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers
por: Proietti, Maurizio, et al.
Publicado: (2015)

Language, logic, and computation: 12th international Tbilisi symposium, TBiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, revised selected papers
por: Silva, Alexandra, et al.
Publicado: (2019)

Computational intelligence and intelligent systems: 9th international symposium, ISICA 2017, Guangzhou, China, November 18-19, 2017, revised selected papers, part II
por: Li, Kangshun, et al.
Publicado: (2018)

Computational intelligence and intelligent systems: 9th international symposium, ISICA 2017, Guangzhou, China, November 18-19, 2017, revised selected papers, part I
por: Li, Kangshun, et al.
Publicado: (2018)

Combinatorial image analysis: 18th international workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, proceedings
por: Brimkov, Valentin E, et al.
Publicado: (2017)

Cloud computing and security: third international conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, revised selected papers, part II
por: Sun, Xingming, et al.
Publicado: (2017)

Privacy technologies and policy: 5th annual privacy forum, APF 2017, Vienna, Austria, June 7-8, 2017, revised selected papers
por: Schweighofer, Erich, et al.
Publicado: (2017)

Graph-theoretic concepts in computer science: 43rd international workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, revised selected papers
por: Bodlaender, Hans L, et al.
Publicado: (2017)

Foundations and practice of security: 10th international symposium, FPS 2017, Nancy, France, October 23-25, 2017, revised selected papers
por: Imine, Abdessamad, et al.
Publicado: (2018)

Advances in neural networks - ISNN 2017: 14th international symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, proceedings, part I
por: Cong, Fengyu, et al.
Publicado: (2017)

Advances in neural networks - ISNN 2017: 14th international symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, proceedings, part II
por: Cong, Fengyu, et al.
Publicado: (2017)

Symbiotic interaction: 6th international workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18-19, 2017, revised selected papers
por: Ham, Jaap, et al.
Publicado: (2018)

Computer engineering and technology: 21st CCF conference, NCCET 2017, Xiamen, China, August 16-18, 2017, revised selected papers
por: Xu, Weixia, et al.
Publicado: (2018)

The semantic web: ESWC 2017 satellite events, Portoroz, Slovenia, May 28 - June 1, 2017, revised selected papers
por: Blomqvist, Eva, et al.
Publicado: (2017)

Combinatorial algorithms: 28th international workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, revised selected papers
por: Brankovic, Ljiljana, et al.
Publicado: (2018)

Semantic web challenges: 4th SemWebEval challenge at ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017, revised selected papers
por: Dragoni, Mauro, et al.
Publicado: (2017)

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

Agents and multi-agent systems for health care: 10th international workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and international workshop, a-HEALTH 2017, Porto, Portugal, June 21, 2017, revised and extended selected papers
por: Montagna, Sara, et al.
Publicado: (2017)

Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
por: Fioravanti, Fabio, et al.
Publicado: (2018)

ICARUS report to the 126th Meeting of SPSC, June 20-21, 2017
por: Antonello, M, et al.
Publicado: (2017)

Artificial life and evolutionary computation: 12th Italian workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, revised selected papers
por: Pelillo, Marcello, et al.
Publicado: (2018)

Risks and security of internet and systems: 12th international conference, CRISIS 2017, Dinard, France, September 19-21, 2017, revised selected papers
por: Cuppens, Nora, et al.
Publicado: (2018)

Software technologies: STAF 2017 collocated workshops, Marburg, Germany, July 17-21, 2017, revised selected papers
por: Seidl, Martina, et al.
Publicado: (2018)

Mobile, secure, and programmable networking: third international conference, MSPN 2017, Paris, France, June 29-30, 2017, revised selected papers
por: Bouzefrane, Samia, et al.
Publicado: (2017)

Graph structures for knowledge representation and reasoning: 5th international workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, revised selected papers
por: Croitoru, Madalina, et al.
Publicado: (2018)

Model-driven engineering and software development: 5th international conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, revised selected papers
por: Pires, Luís Ferreira, et al.
Publicado: (2018)

Agenda of the 126th Meeting of the SPSC, Tuesday and Wednesday, 20-21 June, 2017
por: CERN. Geneva. SPS and PS Experiments Committee, et al.
Publicado: (2017)

Minutes of the 126th Meeting of the SPSC, Tuesday and Wednesday, 20-21 June 2017
por: CERN. Geneva. SPS and PS Experiments Committee, et al.
Publicado: (2017)

Languages, applications and technologies: 4th international symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, revised selected papers
por: Sierra-Rodríguez, José-Luis, et al.
Publicado: (2015)

New frontiers in mining complex patterns: 6th international workshop, NFMCP 2017, held in conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, revised selected papers
por: Appice, Annalisa, et al.
Publicado: (2018)

Security protocols XXV: 25th international workshop, Cambridge, UK, March 20-22, 2017, revised selected papers
por: Stajano, Frank, et al.
Publicado: (2017)

Algorithms for sensor systems: 13th international symposium on algorithms and experiments for wireless sensor networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, revised selected papers
por: Fernández Anta, Antonio, et al.
Publicado: (2018)

The canterbury tales
por: Chaucer, Geoffrey
Publicado: (1977)

Communication systems and networks: 9th international conference, COMSNETS 2017, Bengaluru, India, January 4-8, 2017, revised selected papers and invited papers
por: Sastry, Nishanth, et al.
Publicado: (2017)

Computational linguistics and intelligent text processing: 18th international conference, CICLING 2017, Budapest, Hungary, April 17-23, 2017, revised selected papers, part II
por: Gelbukh, Alexander
Publicado: (2018)

Data-driven process discovery and analysis: 7th IFIP WG 2. 6 international symposium, SIMPDA 2017, Neuchatel, Switzerland, December 6-8, 2017, revised selected papers
por: Ceravolo, Paolo, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_r1f327rueurgbgferthcr6e6f2