Cargando…

Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers

Detalles Bibliográficos
Autor principal:	Falaschi, Moreno
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761413

Ejemplares similares

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)

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)

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)

Graphical models for security: second international workshop, GraMSec 2015, Verona, Italy, July 13, 2015, revised selected papers
por: Mauw, Sjouke, et al.
Publicado: (2016)

Quantum interaction: 9th international conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, revised selected papers
por: Atmanspacher, Harald, et al.
Publicado: (2016)

Saturday 25 July 2015
Publicado: (2015)

Inductive logic programming: 25th international conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, revised selected papers
por: Inoue, Katsumi, et al.
Publicado: (2016)

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)

Linguistic linked open data: 12th EUROLAN 2015 summer school and RUMOUR 2015 workshop, Sibiu, Romania, July 13-25, 2015, revised selected papers
por: Trandabăţ, Diana, et al.
Publicado: (2016)

Theory and applications of formal argumentation: third international workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, revised selected papers
por: Black, Elizabeth, et al.
Publicado: (2016)

Advances in service-oriented and cloud computing: workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, revised selected papers
por: Celesti, Antonio, et al.
Publicado: (2016)

Graph structures for knowledge representation and reasoning: 4th international workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, revised selected papers
por: Croitoru, Madalina, et al.
Publicado: (2016)

Image and video technology: 7th Pacific-rim symposium, PSIVT 2015, Auckland, New Zealand, November 25-27, 2015, revised selected papers
por: Bräunl, Thomas, et al.
Publicado: (2016)

Euro-Par 2015: euro-Par 2015 international workshops, Vienna, Austria, August 24-25, 2015, revised selected papers
por: Hunold, Sascha, et al.
Publicado: (2015)

Combinatorial pattern matching: 26th annual symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015, proceedings
por: Cicalese, Ferdinando, et al.
Publicado: (2015)

Pervasive computing paradigms for mental health: 5th international conference, MindCare 2015, Milan, Italy, September 24-25, 2015, revised selected papers
por: Serino, Silvia, et al.
Publicado: (2016)

High performance computing and applications: third international conference, HPCA 2015, Shanghai, China, July 26-30, 2015, revised selected papers
por: Xie, Jiang, et al.
Publicado: (2016)

Software technologies: 10th international joint conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, revised selected papers
por: Lorenz, Pascal, et al.
Publicado: (2016)

Wireless and satellite systems: 7th international conference, WISATS 2015, Bradford, UK, July 6-7, 2015 revised selected papers
por: Pillai, Prashant, et al.
Publicado: (2015)

Machine learning meets medical imaging: first international workshop, MLMMI 2015, held in conjunction with ICML 2015, Lille, France, July 11, 2015, revised selected papers
por: Lombaert, Herve, et al.
Publicado: (2015)

Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
por: Gurfinkel, Arie, et al.
Publicado: (2016)

E-business and telecommunications: 12th international joint conference, ICETE 2015, Colmar, France, July 20-22, 2015, revised selected papers
por: Obaidat, Mohammad S, et al.
Publicado: (2016)

History and philosophy of computing: third international conference, HAPOC 2015, Pisa, Italy, October 8-11, 2015, revised selected papers
por: Gadducci, Fabio, et al.
Publicado: (2016)

Combinatorial algorithms: 26th international workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, revised selected papers
por: Lipták, Zsuzsanna, et al.
Publicado: (2016)

Networked systems: third international conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, revised selected papers
por: Bouajjani, Ahmed, et al.
Publicado: (2016)

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)

25th Anniversary of the Americans with Disabilities Act — July 2015
Publicado: (2015)

Highlights from the 11th ISCB Student Council Symposium 2015: Dublin, Ireland. 10 July 2015
por: Wilkins, Katie, et al.
Publicado: (2016)

Mission to Siena/
por: Chase, James Hadley, 1906-1985
Publicado: (1977)

Foundations and practice of security: 8th international symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, revised selected papers
por: Garcia-Alfaro, Joaquin, et al.
Publicado: (2016)

Risk assessment and risk-driven testing: third international workshop, RISK 2015, Berlin, Germany, June 15, 2015 revised selected papers
por: Seehusen, Fredrik, et al.
Publicado: (2015)

Algorithmic aspects of cloud computing: first international workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 revised selected papers
por: Karydis, Ioannis, et al.
Publicado: (2016)

Louseborne Relapsing Fever in Young Migrants, Sicily, Italy, July–September 2015
por: Ciervo, Alessandra, et al.
Publicado: (2016)

Friday 24 July 2015
Publicado: (2015)

Sunday 26 July 2015
Publicado: (2015)

Wired/wireless internet communications: 13th international conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, revised selected papers
por: Aguayo-Torres, Mari Carmen, et al.
Publicado: (2015)

Information security and cryptology - ICISC 2015: 18th international conference, Seoul, South Korea, November 25-27, 2015, revised selected papers
por: Kwon, Soonhak, et al.
Publicado: (2016)

Experimental algorithms: 14th international symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, proceedings
por: Bampis, Evripidis
Publicado: (2015)

Graph drawing and network visualization: 23rd international symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, revised selected papers
por: Di Giacomo, Emilio, et al.
Publicado: (2015)

Vision di Siena
Publicado: (1959)

Cannot write session to /tmp/vufind_sessions/sess_cg7pcg8266pmpruu67lgqlb4gs