Cargando…

Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers

Detalles Bibliográficos
Autores principales:	Botana, Francisco, Quaresma, Pedro
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757570

Ejemplares similares

Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
por: Schreck, Pascal, et al.
Publicado: (2011)

Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
por: Olivetti, Nicola, et al.
Publicado: (2016)

Cellular automata and discrete complex systems: 20th international workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, revised selected papers
por: Isokawa, Teijiro, et al.
Publicado: (2015)

Exploratory study of air quality in elementary schools, Coimbra, Portugal
por: Ferreira, Ana Maria Conceição, et al.
Publicado: (2013)

Wireless internet: 8th international conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, revised selected papers
por: Mumtaz, Shahid, et al.
Publicado: (2015)

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)

Games and learning alliance: third international conference, GALA 2014, Bucharest, Romania, July 2-4, 2014, revised selected papers
por: De Gloria, Alessandro
Publicado: (2015)

Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

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)

Enterprise information systems: 16th international conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014, revised selected papers
por: Cordeiro, José, et al.
Publicado: (2015)

Quantum interaction: 8th international conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014 revised selected papers
por: Atmanspacher, Harald, et al.
Publicado: (2015)

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)

High performance computing for computational science - VECPAR 2014: 11th international conference, Eugene, OR, USA, June 30 - July 3, 2014, revised selected papers
por: Daydé, Michel, et al.
Publicado: (2015)

Adaptive resource management and scheduling for cloud computing: first international workshop, ARMS-CC 2014, held in conjunction with ACM symposium on principles of distributed computing, PODC 2014, Paris, France, July 15, 2014, revised selected papers
por: Pop, Florin, et al.
Publicado: (2014)

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)

Automated deduction - CADE-21: 21st international conference on automated deduction, Bremen, Germany, July 17-20, 2007, proceedings
por: Pfenning, Frank
Publicado: (2007)

Evaluation of novel approaches to software engineering: 9th international conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 revised selected papers
por: Maciaszek, Leszek A, et al.
Publicado: (2015)

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)

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)

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)

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)

Ambient intelligence: European conference, AMI 2014, Eindhoven, The Netherlands, November 11-13, 2014 revised selected papers
por: Aarts, Emile, et al.
Publicado: (2014)

Behavior modeling - foundations and applications: international workshops, BM-FA 2009-2014, revised selected papers
por: Roubtsova, Ella, 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)

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

Agents and data mining interaction: 10th international workshop, ADMI 2014, Paris, France, May 5-9, 2014, revised selected papers
por: Cao, Longbing, 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)

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)

ICTs for improving patients rehabilitation research techniques: second international workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014, revised selected papers
por: Fardoun, Habib M, et al.
Publicado: (2015)

Job scheduling strategies for parallel processing: 18th international workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 revised selected papers
por: Cirne, Walfredo, et al.
Publicado: (2015)

Information search, integration and personalization: 9th international workshop, ISIP 2014, Kuala Lumpur, Malaysia, October 9-10, 2014, revised selected papers
por: Kotzinos, Dimitrios, et al.
Publicado: (2016)

Music from Renaissance Coimbra
Publicado: (1994)

Agent technology for intelligent mobile services and smart societies: workshop on collaborative agents, research and development, CARE 2014, and workshop on agents, virtual societies and analytics, AVSA 2014, held as part of AAMAS 2014, Paris, France, May 5-9, 2014 revised selected papers
por: Koch, Fernando, et al.
Publicado: (2015)

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)

Semantic keyword-based search on structured data sources: first cost action IC1302 international keystone conference, IKC 2015, Coimbra, Portugal, September 8-9, 2015 revised selected papers
por: Cardoso, Jorge, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_6g6g6gnhuq7ldejln3sp5la2kt