Cargando…

Model-based safety and assessment: 5th international symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Bozzano, Marco, Papadopoulos, Yiannis
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2757892

Ejemplares similares

Model-based safety and assessment: 6th international symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, proceedings
por: Papadopoulos, Yiannis, et al.
Publicado: (2019)

Research in attacks, intrusions, and defenses: 20th international symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, proceedings
por: Dacier, Marc, et al.
Publicado: (2017)

Discrete geometry for computer imagery: 20th IAPR international conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, proceedings
por: Kropatsch, Walter G, et al.
Publicado: (2017)

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

Machine learning in medical imaging: 8th international workshop, MLMI 2017, held in conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, proceedings
por: Wang, Qian, et al.
Publicado: (2017)

Advances in information and computer security: 12th international workshop on security, IWSEC 2017, Hiroshima, Japan, August 30 - September 1, 2017, proceedings
por: Obana, Satoshi, et al.
Publicado: (2017)

Number-theoretic methods in cryptology: first international conference, NUTMIC 2017, Warsaw, Poland, September 11-13, 2017, revised selected papers
por: Kaczorowski, Jerzy, et al.
Publicado: (2018)

Computer safety, reliability, and security: SAFECOMP 2017 workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, proceedings
por: Tonetta, Stefano, et al.
Publicado: (2017)

Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings
por: Madeira, Alexandre, et al.
Publicado: (2018)

Web information systems engineering - WISE 2017: 18th international conference, Puschino, Russia, October 7-11, 2017, proceedings, part II
por: Bouguettaya, Athman, et al.
Publicado: (2017)

Artificial intelligence: 16th international conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, proceedings
por: Agre, Gennady, et al.
Publicado: (2014)

Informatics in schools: 10th international conference on informatics in schools situation, evolution, and perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, proceedings
por: Dagienė, Valentina, et al.
Publicado: (2017)

Combinatorial image analysis: 18th international workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, proceedings
por: Brimkov, Valentin E, et al.
Publicado: (2017)

Comparative genomics: 15th international workshop, RECOMB CG 2017, Barcelona, Spain, October 4-6, 2017, proceedings
por: Meidanis, Joao, et al.
Publicado: (2017)

Pattern recognition and machine intelligence: 7th international conference, PREMI 2017, Kolkata, India, December 5-8, 2017, proceedings
por: Shankar, B Uma, et al.
Publicado: (2017)

Passive and active measurement: 18th international conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, proceedings
por: Kaafar, Mohamed Ali, et al.
Publicado: (2017)

Multimedia communications, services and security: 9th international conference, MCSS 2017, Kraków, Poland, November 16-17, 2017, proceedings
por: Dziech, Andrzej, et al.
Publicado: (2017)

Fundamentals of computation theory: 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, proceedings
por: Klasing, Ralf, et al.
Publicado: (2017)

String processing and information retrieval: 24th international symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, proceedings
por: Fici, Gabriele, et al.
Publicado: (2017)

Security in computing and communications: 5th international symposium, SSCC 2017, Manipal, India, september 13-16, 2017, proceedings
por: Thampi, Sabu M, et al.
Publicado: (2017)

Mathematical aspects of computer and information sciences: 7th international conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, proceedings
por: Blömer, Johannes, et al.
Publicado: (2017)

Decision and game theory for security: 8th international conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, proceedings
por: Rass, Stefan, et al.
Publicado: (2017)

Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
por: Polikarpova, Nadia, et al.
Publicado: (2017)

Engineering psychology and cognitive ergonomics: 14th international conference, EPCE 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Harris, Don
Publicado: (2017)

Static analysis: 22nd international symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings
por: Blazy, Sandrine, et al.
Publicado: (2015)

Learning and collaboration technologies technology in education: 4th international conference, LCT 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Zaphiris, Panayiotis, et al.
Publicado: (2017)

Search based software engineering: 9th international symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, proceedings
por: Menzies, Tim, et al.
Publicado: (2017)

Learning and collaboration technologies novel learning ecosystems: 4th international conference, LCT 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part I
por: Zaphiris, Panayiotis, et al.
Publicado: (2017)

DNA computing and molecular programming: 23rd international conference, DNA 23, Austin, TX, USA, September 24-28, 2017, proceedings
por: Brijder, Robert, et al.
Publicado: (2017)

Advances in production management systems the path to intelligent, collaborative and sustainable manufacturing: IFIP WG 5. 7 international conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, proceedings, part II
por: Lödding, Hermann, 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)

Mathematics and computing: third international conference, ICMC 2017, Haldia, iIndia, January 17-21, 2017, proceedings
por: Giri, Debasis, et al.
Publicado: (2017)

New frontiers in quantitative methods in informatics: 7th workshop, INFQ 2017, Venice, Italy, December 4, 2017, revised selected papers
por: Balsamo, Simonetta, et al.
Publicado: (2018)

Image analysis and processing - ICIAP 2017: 19th international conference, Catania, Italy, September 11-15, 2017, proceedings, part II
por: Battiato, Sebastiano, et al.
Publicado: (2017)

Image analysis and processing - ICIAP 2017: 19th international conference, Catania, Italy, September 11-15, 2017, proceedings, part I
por: Battiato, Sebastiano, et al.
Publicado: (2017)

Topics in cryptology - CT-RSA 2017: the cryptographers' track at the RSA conference 2017, San Francisco, CA, USA, February 14-17, 2017, proceedings
por: Handschuh, Helena
Publicado: (2017)

13th Symposium on the Interface
por: Eddy, William F
Publicado: (1981)

Computer network security: 7th international conference on mathematical methods, models, and architectures for computer network security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, proceedings
por: Rak, Jacek, et al.
Publicado: (2017)

Bioinformatics research and applications: 11th international symposium, ISBRA 2015 Norfolk, USA, June 7-10, 2015 proceedings
por: Harrison, Robert, et al.
Publicado: (2015)

Combinatorics on words: 11th international conference, words 2017, montréal, QC, Canada, September 11-15, 2017, proceedings
por: Brlek, Srečko, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_meldtuc0a0e1ukiiecfufm0hup