Cargando…

Recent trends in algebraic development techniques: 22nd international workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers

Detalles Bibliográficos
Autores principales:	Codescu, Mihai, Țuțu, Ionuț, Diaconescu, Răzvan
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757725

Ejemplares similares

Recent trends in algebraic development techniques: 24th IFIP WG 1. 3 international workshop, WADT 218, Egham, UK, July 2-5, 218, revised selected papers
por: Fiadeiro, José Luiz, et al.
Publicado: (2019)

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

The National Congress of Surgery with international participation – the XXVII Edition, Sinaia, May 21-24th 2014
por: Constantinoiu, S
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)

Sinaia : diario de la primera expedición de republicanos españoles a México
Publicado: (1989)

Games and learning alliance: third international conference, GALA 2014, Bucharest, Romania, July 2-4, 2014, revised selected papers
por: De Gloria, Alessandro
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)

Final y comienzo, el Sinaia /
por: Ruiz Funes, Concepción
Publicado: (1982)

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)

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)

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

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)

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)

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)

Theoretical aspects of computing - ICTAC 2014: 11th international colloquium, Bucharest, Romania, September 17-19, 2014 proceedings
por: Ciobanu, Gabriel, et al.
Publicado: (2014)

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)

Data privacy management, autonomous spontaneous security, and security assurance: 9th international workshop, DPM 2014, 7th international workshop, SETOP 2014, and 3rd international workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014 revised selected papers
por: Garcia-Alfaro, Joaquin, et al.
Publicado: (2015)

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)

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)

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)

Induction September 2014
por: Photo Service, CERN
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)

Big data benchmarks, performance optimization, and emerging hardware: 4th and 5th workshops, BPOE 2014, Salt Lake City, USA, March 1, 2014 and Hangzhou, China, September 5, 2014, revised selected papers
por: Zhan, Jianfeng, et al.
Publicado: (2014)

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)

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)

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)

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)

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

4–7 September 2014
Publicado: (2014)

4–7 September 2014
Publicado: (2014)

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)

Big data benchmarking: 5th international workshop, WBDB 2014, Potsdam, Germany, August 5-6- 2014, revised selected papers
por: Rabl, Tilmann, 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)

Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
por: Artho, Cyrille, 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)

Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
por: Botana, Francisco, et al.
Publicado: (2015)

Digital-forensics and watermarking: 13th international workshop, IWDW 2014, Taipei, Taiwan, October 1-4, 2014 revised selected papers
por: Pérez-González, Fernando, et al.
Publicado: (2015)

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)

Abstracts of the 2(nd) Cancer Cachexia Conference, Montreal, Canada, 26–28 September 2014
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_4c5v1s6eegttid32eolllu220e