Cargando…

Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers

Detalles Bibliográficos
Autores principales:	Proietti, Maurizio, Seki, Hirohisa
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761315

Ejemplares similares

Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers
por: Mesnard, Fred, et al.
Publicado: (2019)

Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers
por: Falaschi, Moreno
Publicado: (2015)

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)

Inductive logic programming: 24th international conference, ILP 2014, Nancy, France, September 14-16, 2014, revised selected papers
por: Davis, Jesse, et al.
Publicado: (2015)

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

Advances in service-oriented and cloud computing: workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, revised selected papers
por: Ortiz, Guadalupe, 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)

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)

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)

Economics of grids, clouds, systems, and services: 11th international conference, GECON 2014, Cardiff, UK, September 16-18, 2014 revised selected papers
por: Altmann, Jö, et al.
Publicado: (2015)

Intelligent software methodologies, tools and techniques: 13th international conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 revised selected papers
por: Fujita, Hamido, et al.
Publicado: (2015)

Augmented and virtual reality: first international conference, AVR 2014, Lecce, Italy, September 17-20, 2014, revised selected papers
por: De Paolis, Lucio Tommaso, et al.
Publicado: (2014)

UK Pulsed Power Symposium 2014
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)

New frontiers in mining complex patterns: third international workshop, NFMCP 2014, held in conjunction with ECML-PKDD 2014, Nancy, France, September 19, 2014, revised selected papers
por: Appice, Annalisa, 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)

Languages and compilers for parallel computing: 27th international workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, revised selected papers
por: Brodman, James, et al.
Publicado: (2015)

International conference on security and privacy in communication networks: 10th international ICST conference, SecureComm 2014, Beijing, China, September 24-26, 2014, revised selected papers, part I
por: Tian, Jing, et al.
Publicado: (2015)

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)

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)

Recent trends in algebraic development techniques: 22nd international workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers
por: Codescu, Mihai, et al.
Publicado: (2015)

Induction September 2014
por: Photo Service, CERN
Publicado: (2014)

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)

Numerical methods and applications: 8th international conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, revised selected papers
por: Dimov, Ivan, et al.
Publicado: (2015)

Fast software encryption: 21st international workshop, FSE 2014, London, UK, March 3-5, 2014 revised selected papers
por: Cid, Carlos, et al.
Publicado: (2015)

Progress in cryptology - LATINCRYPT 2014: third international conference on cryptology and information security in Latin America Florianópolis, Brazil, September 17-19, 2014 revised selected papers
por: Aranha, Diego F, et al.
Publicado: (2015)

Static analysis: 21st international symposium, SAS 2014, Munich, Germany, September 11-13, 2014 proceedings
por: Müller-Olm, Markus, et al.
Publicado: (2014)

Algorithms - ESA 2014: 22th annual european symposium, Wrocław, Poland, September 8-10, 2014 proceedings
por: Schulz, Andreas S, et al.
Publicado: (2014)

Clinical image-based procedures translational research in medical imaging: third international workshop, CLIP 2014, held in conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, revised selected papers
por: Linguraru, Marius George, et al.
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)

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

Energy efficient data centers: third international workshop, E2DC 2014, Cambridge, UK, June 10, 2014, revised selected papers
por: Klingert, Sonja, et al.
Publicado: (2015)

JDM update September 2014
por: Pilkington, Clarissa
Publicado: (2014)

4–7 September 2014
Publicado: (2014)

4–7 September 2014
Publicado: (2014)

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)

Cryptography and security systems: third international conference, CSS 2014, Lublin, Poland, September 22-24, 2014 proceedings
por: Kotulski, Zbigniew, et al.
Publicado: (2014)

Logic, language, and computation: 11th international Tbilisi symposium on logic, language, and computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, revised selected papers
por: Hansen, Helle Hvid, et al.
Publicado: (2017)

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)

Adaptive and intelligent systems: third international conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014 proceedings
por: Bouchachia, Abdelhamid
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_811bminnttjg205mn7bcc6uesl