Cargando…

Formal ontologies meet industry: 7th international workshop, FOMI 2015, Berlin, Germany, August 5, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Cuel, Roberta, Young, Robert
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757562

Ejemplares similares

Web reasoning and rule systems: 9th international conference, RR 2015, Berlin, Germany, August 4-5, 2015, proceedings
por: ten Cate, Balder, et al.
Publicado: (2015)

SDL 2015: 17th international SDL forum, Berlin, Germany, October 12-14, 2015, proceedings
por: Fischer, Joachim, et al.
Publicado: (2015)

Automated deduction - CADE-25: 25th international conference on automated deduction, Berlin, Germany, August 1-7, 2015, proceedings
por: Felty, Amy P, et al.
Publicado: (2015)

Formal methods for industrial critical systems: 20th international workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 proceedings
por: Güdemann, Matthias, et al.
Publicado: (2015)

iBridge Berlin 2015, City Cube Convention Center, Berlin, Germany, 4–6 June 2015
por: Sarrafzadeh, Omid, et al.
Publicado: (2016)

Computer performance engineering: 12th European workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, proceedings
por: Beltrán, Marta, et al.
Publicado: (2015)

Proceedings of the International Workshop ‘From Global Burden of Disease Studies to National Burden of Disease Surveillance': Berlin, Germany. 1-2 December 2015
por: Scheidt-Nave, Christa, 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)

Advances in data mining: 15th industrial conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015 proceedings
por: Perner, Petra
Publicado: (2015)

Constructive side-channel analysis and secure design: 6th international workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015 revised selected papers
por: Mangard, Stefan, et al.
Publicado: (2015)

Multiple classifier systems: 12th international workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, proceedings
por: Schwenker, Friedhelm, et al.
Publicado: (2015)

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
por: Butler, Michael, et al.
Publicado: (2015)

Formal methods: 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, proceedings
por: Cornélio, Márcio, et al.
Publicado: (2016)

Fundamentals of computation theory: 20th international symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, proceedings
por: Kosowski, Adrian, et al.
Publicado: (2015)

Interactive theorem proving: 6th international conference, ITP 2015, Nanjing, China, August 24-27, 2015, proceedings
por: Urban, Christian, et al.
Publicado: (2015)

Intelligent virtual agents: 15th international conference, IVA 2015, Delft, The Netherlands, August 26-28, 2015, proceedings
por: Brinkman, Willem-Paul, et al.
Publicado: (2015)

Knowledge management in organizations: 10th international conference, KMO 2015, Maribor, Slovenia, August 24-28, 2015, proceedings
por: Uden, Lorna, et al.
Publicado: (2015)

Computational social networks: 4th international conference, CSONET 2015, Beijing, China, August 4-6, 2015, proceedings
por: Thai, My T, et al.
Publicado: (2015)

Mathematical foundations of computer science 2015: 40th international symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, proceedings, part II
por: Italiano, Giuseppe F, et al.
Publicado: (2015)

In this issue (August 2015)
Publicado: (2015)

Critical information infrastructures security: 10th international conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, revised selected papers
por: Rome, Erich, et al.
Publicado: (2016)

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
por: Calinescu, Radu, et al.
Publicado: (2015)

NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
por: Havelund, Klaus, et al.
Publicado: (2015)

Wireless algorithms, systems, and applications: 10th international conference, WASA 2015, Qufu, China, August 10-12, 2015, proceedings
por: Xu, Kuai, et al.
Publicado: (2015)

Algorithms and data structures: 14th international symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 proceedings
por: Dehne, Frank, et al.
Publicado: (2015)

Perspectives in business informatics research: 14th international conference, BIR 2015, Tartu, Estonia, August 26-28, 2015, proceedings
por: Matulevičius, Raimundas, et al.
Publicado: (2015)

Business process management: 13th international conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, proceedings
por: Motahari-Nezhad, Hamid Reza, et al.
Publicado: (2015)

Parallel computing technologies: 13th international conference, PACT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, proceedings
por: Malyshkin, Victor, et al.
Publicado: (2015)

WALCOM: 9th international workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, proceedings
por: Rahman, M Sohel, et al.
Publicado: (2015)

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

KI 2015: 38th annual German conference on AI, Dresden, Germany, September 21-25, 2015, proceedings
por: Hölldobler, Steffen, et al.
Publicado: (2015)

Combinatorics on words: 10th international conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, proceedings
por: Manea, Florin, et al.
Publicado: (2015)

Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings
por: Sankaranarayanan, Sriram, et al.
Publicado: (2015)

Advances in spatial and temporal databases: 14th international symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015 proceedings
por: Claramunt, Christophe, et al.
Publicado: (2015)

Frontiers in algorithmics: 9th international workshop, FAW 2015, Guilin, China, July 3-5, 2015, proceedings
por: Wang, Jianxin, et al.
Publicado: (2015)

Computer performance engineering: 14th European workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, proceedings
por: Reinecke, Philipp, et al.
Publicado: (2017)

High performance computing: second Latin American conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, proceedings
por: Osthoff, Carla, et al.
Publicado: (2015)

Applied reconfigurable computing: 11th international symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, proceedings
por: Sano, Kentaro, et al.
Publicado: (2015)

Intelligent computing theories and methodologies: 11th international conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, proceedings, part I
por: Huang, De-Shuang, et al.
Publicado: (2015)

Unconventional computation and natural computation: 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, proceedings
por: Calude, Cristian S, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_uteb3knds031vinipv3oc7ugvk