Cargando…

Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers

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

Ejemplares similares

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: 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: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers
por: Mesnard, Fred, et al.
Publicado: (2019)

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)

Decision support systems vii data, information and knowledge visualization in decision support systems: third international conference, ICDSST 2017, Namur, Belgium, May 29-31, 2017, proceedings
por: Linden, Isabelle, et al.
Publicado: (2017)

Artificial evolution: 13th international conference, Évolution artificielle, EA 2017, Paris, France, October 25-27, 2017, revised selected papers
por: Lutton, Evelyne, et al.
Publicado: (2018)

Computing, analytics and networks: first international conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, revised selected papers
por: Sharma, Rajnish, et al.
Publicado: (2018)

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)

Military Hospital of Namur
Publicado: (1829)

Applications and usability of interactive television: 6th Iberoamerican conference, JAUTI 2017, Aveiro, Portugal, October 12-13, 2017, revised selected papers
por: Abásolo, María José, et al.
Publicado: (2018)

Information technology in disaster risk reduction: second IFIP TC 5 DCITDRR international conference, ITDRR 2017, Sofia, Bulgaria, October 25-27, 2017, revised selected papers
por: Murayama, Yuko, 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)

Languages and compilers for parallel computing: 30th international workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, revised selected papers
por: Rauchwerger, Lawrence
Publicado: (2019)

Wireless sensor networks: 11th China wireless sensor network conference, CWSN 2017, Tianjin, China, October 12-14, 2017, revised selected papers
por: Li, Jianzhong, et al.
Publicado: (2018)

Advances in service-oriented and cloud computing: workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, revised selected papers
por: Mann, Zoltán Ádám, et al.
Publicado: (2018)

Cyberspace safety and security: 9th international symposium, CSS 2017, Xi'an China, October 23-25, 2017, proceedings
por: Wen, Sheng, et al.
Publicado: (2017)

Theoretical aspects of computing - ICTAC 2017: 14th international colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings
por: Hung, Dang Van, et al.
Publicado: (2017)

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)

Data science and analytics: 4th international conference on recent developments in science, engineering and technology, REDSET 2017, Gurgaon, India, October 13-14, 2017, revised selected papers
por: Panda, Brajendra, et al.
Publicado: (2018)

The information society: proceedings of the conference information society governance, ethics and social consequences , University of Namur, Belgium, 22-23 May 2006
por: Goujon, Philippe, et al.
Publicado: (2007)

Technologies and innovation: third international conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, proceedings
por: Valencia-García, Rafael, et al.
Publicado: (2017)

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)

Data analytics and management in data intensive domains: XIX international conference, DAMDID/RCDL 2017, Moscow, Russia, October 10-13, 2017, revised selected papers
por: Kalinichenko, Leonid, et al.
Publicado: (2018)

Computer-human interaction research and applications: first international conference, CHIRA 2017, Funchal, Madeira, Portugal, October 31 - November 2, 2017, revised selected papers
por: Holzinger, Andreas, et al.
Publicado: (2019)

Global thoughts, local designs: INTERACT 2017 IFIP TC 13 workshops, Mumbai, India, September 25-27, 2017, revised selected papers
por: Clemmensen, Torkil, et al.
Publicado: (2018)

Phenomenology 2017 Symposium (PHENO 2017)
Publicado: (2017)

Programming languages and systems: 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, proceedings
por: Chang, Bor-Yuh Evan
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)

Geographical information systems theory, applications and management: third international conference, GISTAM 2017, Porto, Portugal, April 27-28, 2017, revised selected papers
por: Ragia, Lemonia, et al.
Publicado: (2018)

Highlights from the HIV Cure and Reservoir Symposium, 11–12 September 2017, Ghent, Belgium
por: Kint, Sam, et al.
Publicado: (2018)

Research and practical issues of enterprise information systems: 11th IFIP WG 8. 9 working conference, CONFENIS 2017, Shanghai, China, October 18-20, 2017, revised selected papers
por: Tjoa, A Min, et al.
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)

Computer security: ESORICS 2017 international workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers
por: Katsikas, Sokratis K, et al.
Publicado: (2017)

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)

On the move to meaningful internet systems OTM 2017 workshops: confederated international workshops, EI2N, FBM, ICSP, META4ES, OTMA 2017 and ODBASE posters 2017, Rhodes, Greece, October 23-28, 2017, revised selected papers
por: Debruyne, Christophe, et al.
Publicado: (2018)

Computer vision, imaging and computer graphics - theory and applications: 12th international joint conference, VISIGRAPP 2017, Porto, Portugal, February 27 - March 1, 2017, revised selected papers
por: Bechmann, Dominique, et al.
Publicado: (2019)

The burden of legionnaires’ disease in Belgium, 2013 to 2017
por: Fastl, Christina, et al.
Publicado: (2020)

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

Diversity Office newsletter - October 2017
por: Guinot, Genevieve, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_6tfpkr8qj94mghtgre1fp8ivfv