Cargando…

Functional and logic programming: 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Gallagher, John P, Sulzmann, Martin
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761154

Ejemplares similares

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

Foundations of information and knowledge systems: 10th international symposium, FOIKS 2018, Budapest, Hungary, May 14-18, 2018, proceedings
por: Ferrarotti, Flavio, et al.
Publicado: (2018)

Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings
por: Artemov, Sergei, et al.
Publicado: (2017)

Applied reconfigurable computing architectures, tools, and applications: 14th international symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, proceedings
por: Voros, Nikolaos, et al.
Publicado: (2018)

String processing and information retrieval: 25th international symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, proceedings
por: Gagie, Travis, et al.
Publicado: (2018)

Knowledge and systems sciences: 19th international symposium, KSS 2018, Tokyo, Japan, November 25-27, 2018, proceedings
por: Chen, Jian, et al.
Publicado: (2018)

9TH SRCA SYMPOSIUM ON THE CEREBELLUM: TAIPEI, MAY 2018
Publicado: (2018)

Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
por: Galmiche, Didier, et al.
Publicado: (2018)

Internet and distributed computing systems: 11th international conference, IDCS 2018, Tokyo, Japan, October 11-13, 2018, proceedings
por: Xiang, Yang, et al.
Publicado: (2018)

Stabilization, safety, and security of distributed systems: 20th international symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, proceedings
por: Izumi, Taisuke, et al.
Publicado: (2018)

Information security practice and experience: 14th international conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, proceedings
por: Su, Chunhua, et al.
Publicado: (2018)

Theory of cryptography: 16th international conference, TCC 2018, Panaji, India, November 11-14, 2018, proceedings, part II
por: Beimel, Amos, et al.
Publicado: (2018)

Theory of cryptography: 16th international conference, TCC 2018, Panaji, India, November 11-14, 2018, proceedings, part I
por: Beimel, Amos, et al.
Publicado: (2018)

Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
por: Avigad, Jeremy, et al.
Publicado: (2018)

Search-based software engineering: 10th international symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, proceedings
por: Colanzi, Thelma Elita, et al.
Publicado: (2018)

Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings
por: Havelund, Klaus, et al.
Publicado: (2018)

Proceedings of the 4th IPLeiria’s International Health Congress: Leiria, Portugal. 11-12 May 2018
Publicado: (2018)

Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
por: Podelski, Andreas
Publicado: (2018)

Latin 2018: 13th Latin American symposium, Buenos Aires, Argentina, April 16-19, 2018, proceedings
por: Bender, Michael A, et al.
Publicado: (2018)

Rewriting logic and its applications: 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, proceedings
por: Rusu, Vlad
Publicado: (2018)

Applications and techniques in information security: 9th international conference, ATIS 2018, Nanning, China, November 9-11, 2018, proceedings
por: Chen, Qingfeng, et al.
Publicado: (2018)

Similarity search and applications: 11th international conference, SISAP 2018, Lima, Peru, October 7-9, 2018, proceedings
por: Marchand-Maillet, Stéphane, et al.
Publicado: (2018)

Foundations of intelligent systems: 24th international symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, proceedings
por: Ceci, Michelangelo, et al.
Publicado: (2018)

Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
por: Gallardo, María del Mar, et al.
Publicado: (2018)

Business process management: 16th international conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, proceedings
por: Weske, Mathias, et al.
Publicado: (2018)

AI 2018: 31st australasian joint conference, Wellington, New Zealand, December 11-14, 2018, proceedings
por: Mitrovic, Tanja, et al.
Publicado: (2018)

Advances in neural networks - ISNN 2018: 15th international symposium on neural networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, proceedings
por: Huang, Tingwen, et al.
Publicado: (2018)

Post-quantum cryptography: 9th international conference, PQCRYPTO 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, proceedings
por: Lange, Tanja, et al.
Publicado: (2018)

Developments in language theory: 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, proceedings
por: Hoshi, Mizuho, et al.
Publicado: (2018)

ECML PKDD 2018 workshops: MIDAS 2018 and PAP 2018, Dublin, Ireland, September 10-14, 2018, proceedings
por: Alzate, Carlos, et al.
Publicado: (2019)

Artificial intelligence: 18th international conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, proceedings
por: Agre, Gennady, et al.
Publicado: (2018)

Machine translation: 14th China workshop, CWMT 2018, Wuyishan, China, October 25-26, 2018, proceedings
por: Chen, Jiajun, et al.
Publicado: (2019)

Reversible computation: 10th international conference, RC 2018, Leicester, UK, September 12-14, 2018, proceedings
por: Kari, Jarkko, et al.
Publicado: (2018)

Future network systems and security: 4th international conference, FNSS 2018, Paris, France, July 9-11, 2018, proceedings
por: Doss, Robin, et al.
Publicado: (2018)

Information search, integration, and personalization: 12th international workshop, ISIP 2018, Fukuoka, Japan, May 14-15, 2018, revised selected papers
por: Kotzinos, Dimitris, et al.
Publicado: (2019)

Mobile computing, applications, and services: 9th international conference, MOBICASE 2018, Osaka, Japan, February 28 - March 2, 2018, proceedings
por: Murao, Kazuya, et al.
Publicado: (2018)

Graph drawing and network visualization: 26th international symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, proceedings
por: Biedl, Therese, et al.
Publicado: (2018)

Programming languages and systems: 16th Asian symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, proceedings
por: Ryu, Sukyoung
Publicado: (2018)

Artificial intelligence applications and innovations: 14th IFIP WG 12. 5 international conference, AIAI 2018, Rhodes, Greece, May 25-27, 2018, proceedings
por: Iliadis, Lazaros, et al.
Publicado: (2018)

Advanced computer architecture: 12th conference, ACA 2018, Yingkou, China, August 10-11, 2018, proceedings
por: Li, Chao, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_684n8vh08eciile8cindr0pk0j