Cargando…

FM 2016: 21st international symposium, Limassol, Cyprus, November 9-11, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761700

Ejemplares similares

Software reuse: 15th international conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, proceedings
por: Kapitsaki, Georgia M, et al.
Publicado: (2016)

Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
por: Colombo, Christian, et al.
Publicado: (2018)

Logics in artificial intelligence: 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, proceedings
por: Michael, Loizos, et al.
Publicado: (2016)

Foundations of intelligent systems: 24th international symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, proceedings
por: Ceci, Michelangelo, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation modeling: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part I
por: Margaria, Tiziana, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation verification: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part II
por: Margaria, Tiziana, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation distributed systems: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part III
por: Margaria, Tiziana, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation industrial practice: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part IV
por: Margaria, Tiziana, et al.
Publicado: (2018)

Secure IT systems: 21st Nordic conference, NORDSEC 2016, Oulu, Finland, November 2-4, 2016 proceedings
por: Brumley, Billy Bob, et al.
Publicado: (2016)

Programming languages and systems: 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, proceedings
por: Igarashi, Atsushi
Publicado: (2016)

(18) Anniversary Conference 20 Years Cyprus Society Of Nuclear Medicine (CYSNM20) Limassol Cyprus, 6(th)– 10(th) November 2019
Publicado: (2019)

Dependable software engineering: second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016, proceedings
por: änzle, Martin, et al.
Publicado: (2016)

Social gradient in quality of life according to microscale neighbourhood features, Limassol, Cyprus
por: Middleton, N, et al.
Publicado: (2023)

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016)

ECU convention 2017 research presentations: Limassol, Cyprus. 25-27 May 2017
por: Kongsted, Alice, et al.
Publicado: (2017)

Information systems: 15th European, Mediterranean, and Middle Eastern conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, proceedings
por: Themistocleous, Marinos, et al.
Publicado: (2019)

Multiple access communications: 9th international workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, proceedings
por: Madsen, Tatiana K, et al.
Publicado: (2016)

Computer security - ESORICS 2016: 21st European symposium on research in computer security, Heraklion, Greece, September 26-30, 2016, proceedings, part II
por: Askoxylakis, Ioannis, et al.
Publicado: (2016)

Provable security: 10th international conference, PROVSEC 2016, Nanjing, China, November 10-11, 2016, proceedings
por: Chen, Liqun, et al.
Publicado: (2016)

Sofsem 2020: 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, proceedings
por: Chatzigeorgiou, Alexander, et al.
Publicado: (2020)

Algorithmic game theory: 9th international symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, proceedings
por: Gairing, Martin, et al.
Publicado: (2016)

Security in computing and communications: 4th international symposium, SSCC 2016, Jaipur, India, September 21-24, 2016, proceedings
por: Mueller, Peter, et al.
Publicado: (2016)

Mortality in Cyprus Over the Period 2016-2021
por: Avraam, Demetris, et al.
Publicado: (2022)

Latin 2016: 12th Latin American symposium, Ensenada, Mexico, April 11-15, 2016, proceedings
por: Kranakis, Evangelos, et al.
Publicado: (2016)

Collaborate computing: 12th international conference, CollaborateCom 2016, Beijing, China, November 10-11, 2016, proceedings
por: Wang, Shangguang, et al.
Publicado: (2017)

Research in attacks, intrusions, and defenses: 19th international symposium, RAID 2016, Paris, France, September 19-21, 2016, proceedings
por: Monrose, Fabian, et al.
Publicado: (2016)

Advances in neural networks - ISNN 2016: 13th international symposium on neural networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, proceedings
por: Cheng, Long, et al.
Publicado: (2016)

Social gradient in health-related quality of life among urban middle-age residents in Limassol, Cyprus: research article
por: Ellina, P., et al.
Publicado: (2021)

Technologies and innovation: second international conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, proceedings
por: Valencia-García, Rafael, et al.
Publicado: (2016)

Implementation and application of automata: 21st international conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, proceedings
por: Han, Yo-Sub, et al.
Publicado: (2016)

Application of the urban exposome framework using drinking water and quality of life indicators: a proof-of-concept study in Limassol, Cyprus
por: Andrianou, Xanthi D., et al.
Publicado: (2019)

Social informatics: 8th international conference, SOCINFO 2016, Bellevue, WA, USA, November 11-14, 2016, proceedings, part II
por: Spiro, Emma, et al.
Publicado: (2016)

Intelligent information processing VIII: 9th IFIP TC 12 international conference, IIP 2016, Melbourne, VIC, Australia, November 18-21, 2016, proceedings
por: Shi, Zhongzhi, et al.
Publicado: (2016)

Autonomic computing and communications systems: third international icst conference, AUTONOMICS 2009, Limassol, Cyprus, September 9-11, 2009, revised selected papers
por: Vasilakos, Athanasios V, et al.
Publicado: (2010)

Conceptual modeling: 35th international conference, ER 2016, Gifu, Japan, November 14-17, 2016, proceedings
por: Comyn-Wattiau, Isabelle, et al.
Publicado: (2016)

Health information science: 5th international conference, HIS 2016, Shanghai, China, November 5-7, 2016, proceedings
por: Yin, Xiaoxia, et al.
Publicado: (2016)

Future network systems and security: second international conference, FNSS 2016, Paris, France, November 23-25, 2016, proceedings
por: Doss, Robin, et al.
Publicado: (2016)

Metadata and semantics research: 10th international conference, MTSR 2016, Göttingen, Germany, November 22-25, 2016, proceedings
por: Garoufallou, Emmanouel, et al.
Publicado: (2016)

Cryptology and network security: 15th international conference, CANS 2016, Milan, Italy, November 14-16, 2016, proceedings
por: Foresti, Sara, et al.
Publicado: (2016)

Information security and privacy: 21st australasian conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, proceedings, part II
por: Liu, Joseph K, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_aq1enma86rd0bugsnqdsaqa933