Cargando…

Trends in functional programming: 15th international symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 revised selected papers

Detalles Bibliográficos
Autores principales:	Hage, Jurriaan, McCarthy, Jay
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761291

Ejemplares similares

Graph drawing: 22nd international symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, revised selected papers
por: Duncan, Christian, et al.
Publicado: (2014)

Ambient intelligence: European conference, AMI 2014, Eindhoven, The Netherlands, November 11-13, 2014 revised selected papers
por: Aarts, Emile, et al.
Publicado: (2014)

Scientific computing, computer arithmetic, and validated numerics: 16th international symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014 revised selected papers
por: Nehmeier, Marco, et al.
Publicado: (2016)

Pervasive computing paradigms for mental health: 4th international symposium, MindCare 2014, Tokyo, Japan, May 8-9, 2014, revised selected papers
por: Cipresso, Pietro, et al.
Publicado: (2014)

Agile methods large-scale development, refactoring, testing, and estimation: XP 2014 international workshops, Rome, Italy, May 26-30, 2014, revised selected papers
por: Dingsøyr, Torgeir, et al.
Publicado: (2014)

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)

April 26–May 2, 2014
Publicado: (2014)

Intelligent cloud computing: first international conference, ICC 2014, Muscat, Oman, February 24-26, 2014, revised selected papers
por: Al-Saidi, Asma, et al.
Publicado: (2015)

Parameterized and exact computation: 9th international symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014 revised selected papers
por: Cygan, Marek, et al.
Publicado: (2014)

Mobile networks and management: 6th international conference, Monami 2014, Würzburg, Germany, September 22-26, 2014, revised selected papers
por: Agüero, Ramón, et al.
Publicado: (2015)

Foundations and practice of security: 7th international symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014 revised selected papers
por: Cuppens, édéric, et al.
Publicado: (2015)

Scalable information systems: 5th international conference, INFOSCALE 2014, Seoul, South Korea, September 25-26, 2014, revised selected papers
por: Jung, Jason J, et al.
Publicado: (2015)

Evaluation of novel approaches to software engineering: 9th international conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 revised selected papers
por: Maciaszek, Leszek A, et al.
Publicado: (2015)

Multi-agent-based simulation XV: international workshop, MABS 2014, Paris, France, May 5-6, 2014, revised selected papers
por: Grimaldo, Francisco, et al.
Publicado: (2015)

Swarm intelligence based optimization: first international conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014 revised selected papers
por: Siarry, Patrick, et al.
Publicado: (2014)

Modelling and simulation for autonomous systems: first international workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, revised selected papers
por: Hodicky, Jan
Publicado: (2014)

Data-driven process discovery and analysis: 4th international symposium, SIMPDA 2014, Milan, Italy, November 19-21, 2014, revised selected papers
por: Russo, Barbara, et al.
Publicado: (2015)

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)

Internet of things IoT infrastructures: first international summit, IoT360 2014, Rome, Italy, October 27-28, 2014, revised selected papers, part II
por: Giaffreda, Raffaele, et al.
Publicado: (2015)

New frontiers in artificial intelligence: JSAI-IsAI 2014 workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, revised selected papers
por: Murata, Tsuyoshi, et al.
Publicado: (2015)

Agents and data mining interaction: 10th international workshop, ADMI 2014, Paris, France, May 5-9, 2014, revised selected papers
por: Cao, Longbing, et al.
Publicado: (2015)

Software engineering in health care: 4th international symposium, FHIES 2014, and 6th international workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, revised selected papers
por: Huhn, Michaela, et al.
Publicado: (2017)

Robotics: joint conference on robotics, LARS 2014, SBR 2014, RoboControl 2014, São Carlos, Brazil, October 18-23, 2014 revised selected papers
por: Osório, Fernando S, et al.
Publicado: (2015)

Internet of things user-centric IoT: first international summit, IOT360 2014, Rome, Italy, October 27-28, 2014, revised selected papers, part I
por: Giaffreda, Raffaele, et al.
Publicado: (2015)

Applications and techniques in information security: international conference, ATIS 2014, Melbourne, Australia, November 26-28, 2014 proceedings
por: Batten, Lynn, et al.
Publicado: (2014)

Phenomenology 2014 Symposium
Publicado: (2014)

ICTs for improving patients rehabilitation research techniques: second international workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014, revised selected papers
por: Fardoun, Habib M, et al.
Publicado: (2015)

Job scheduling strategies for parallel processing: 18th international workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 revised selected papers
por: Cirne, Walfredo, et al.
Publicado: (2015)

Distributed computing: 28th international symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, proceedings
por: Kuhn, Fabian
Publicado: (2014)

21th European Congress on Obesity (ECO2014), Sofia, Bulgaria, May 28-31, 2014: Abstracts
Publicado: (2014)

Financial cryptography and data security: FC 2014 workshops, Bitcoin and WAHC 2014, Christ Church, Barbados, March 7, 2014, revised selected papers
por: Böhme, Rainer, et al.
Publicado: (2014)

Cyber security and privacy: third cyber security and privacy EU forum, CSP forum 2014, Athens, Greece, May 21-22, 2014, revised selected papers
por: Cleary, Frances, et al.
Publicado: (2014)

Web information systems engineering - WISE 2014 workshops: 15th international workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, revised selected papers
por: Benatallah, Boualem, et al.
Publicado: (2015)

Adaptive resource management and scheduling for cloud computing: first international workshop, ARMS-CC 2014, held in conjunction with ACM symposium on principles of distributed computing, PODC 2014, Paris, France, July 15, 2014, revised selected papers
por: Pop, Florin, et al.
Publicado: (2014)

Large measles epidemic in the Netherlands, May 2013 to March 2014: changing epidemiology
por: Woudenberg, Tom, et al.
Publicado: (2017)

Abstracts from the Third International Meeting of ISEV 2014 Rotterdam, The Netherlands, April 30(th) – May 3(rd), 2014
Publicado: (2014)

Automated Vehicles Symposium 2014
por: Meyer, Gereon, et al.
Publicado: (2015)

Computer vision - ACCV 2014 workshops: Singapore, Singapore, November 1-2, 2014, revised selected papers, part II
por: Jawahar, C V, et al.
Publicado: (2015)

Computer vision - ACCV 2014 workshops: Singapore, Singapore, November 1-2, 2014, revised selected papers, part I
por: Jawahar, C V, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_5qq45hkdbdakug2qqh7665jjkn