Cargando…

Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 revised selected papers

Detalles Bibliográficos
Autores principales:	Liu, Shaoying, Duan, Zhenhua
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761365

Ejemplares similares

Structured object-oriented formal language and method: 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, revised selected papers
por: Liu, Shaoying, et al.
Publicado: (2015)

Structured object-oriented formal language and method: 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, revised selected papers
por: Liu, Shaoying, et al.
Publicado: (2017)

Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers
por: Miao, Huaikou, et al.
Publicado: (2020)

Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
por: Tian, Cong, et al.
Publicado: (2018)

Structured object-oriented formal language and method: 8th international workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, revised selected papers
por: Duan, Zhenhua, et al.
Publicado: (2019)

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)

Service-oriented computing - ICSOC 2015 workshops: WESOA, RMSOC, ISC, DISCO, WESE, BSCI, for-MOVES, Goa, India, November 16-19, 2015, revised selected papers
por: Norta, Alex, 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)

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)

Mobile, secure, and programmable networking: first international conference, MSPN 2015, Paris, France, June 15-17, 2015, selected papers
por: Boumerdassi, Selma, et al.
Publicado: (2015)

Software engineering for resilient systems: 7th international workshop, SERENE 2015, Paris, France, September 7-8, 2015 proceedings
por: Fantechi, Alessandro, et al.
Publicado: (2015)

Graphic recognition current trends and challenges: 11th international workshop, GREC 2015, Nancy, France, August 22-23, 2015, revised selected papers
por: Lamiroy, Bart, et al.
Publicado: (2017)

French Ministry of Health’s response to Paris attacks of 13 November 2015
por: Philippe, Jean-Marc, et al.
Publicado: (2016)

Forensic odontology identification response to terrorist attacks in Paris November 2015
por: Toupenay, Steve, et al.
Publicado: (2020)

Business information systems workshops: BIS 2015 international workshops, Poznań, Poland, June 24-26, 2015, revised papers
por: Abramowicz, Witold
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)

Experience with postmortem computed tomography in the forensic analysis of the November 2015 Paris attacks
por: de Jong, Laura W., et al.
Publicado: (2020)

Brainlesion: first international workshop, Brainles 2015, held in conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, revised selected papers
por: Crimi, Alessandro, et al.
Publicado: (2016)

Machine learning for networking: first international conference, MLN 2018, Paris, France, November 27-29, 2018, revised selected papers
por: Renault, Éric, et al.
Publicado: (2019)

Media Exposure and Post-traumatic Stress Symptoms in the Wake of the November 2015 Paris Terrorist Attacks: A Population-Based Study in France
por: Robert, Maëlle, et al.
Publicado: (2021)

Use of mental health supports by civilians exposed to the November 2015 terrorist attacks in Paris
por: Pirard, Philippe, et al.
Publicado: (2020)

An overview of forensic operations performed following the terrorist attacks on November 13, 2015, in Paris
por: Tracqui, Antoine, et al.
Publicado: (2020)

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)

Moment of reflection in solidarity with France after terrorists attacks in Paris nov 2015
por: Bennett, Sophia Elizabeth, et al.
Publicado: (2015)

AtSOFL1 and AtSOFL2 Act Redundantly as Positive Modulators of the Endogenous Content of Specific Cytokinins in Arabidopsis
por: Zhang, Jingyu, et al.
Publicado: (2009)

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

Algorithms and complexity: 9th international conference, CIAC 2015, Paris, France, May 20-22, 2015 proceedings
por: Paschos, Vangelis Th, et al.
Publicado: (2015)

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

Web technologies and applications: APWeb 2015 workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, revised selected papers
por: Ruichu, Cai, et al.
Publicado: (2015)

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

Synopsis of the SOFL Plant-Specific Gene Family
por: Tayengwa, Reuben, et al.
Publicado: (2018)

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)

Context-aware systems and applications: 4th international conference, ICCASA 2015, Vung Tau, Vietnam, November 26-27, 2015, revised selected papers
por: Vinh, Phan Cong, et al.
Publicado: (2016)

The attack on November 13, 2015: organisation of the medico-judicial unit of the Hôtel-Dieu Hospital in Paris
por: Soussy, Nicolas, et al.
Publicado: (2020)

Initiation of multiple-session psychological care in civilians exposed to the November 2015 Paris terrorist attacks
por: Pirard, Philippe, et al.
Publicado: (2023)

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)

Model-driven engineering and software development: third international conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, revised selected papers
por: Desfray, Philippe, 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)

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)

Cannot write session to /tmp/vufind_sessions/sess_33d11v9criumkl9iekf54931ll