Cargando…

Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2763992

Ejemplares similares

Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
por: Galmiche, Didier, et al.
Publicado: (2018)

Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
por: Avigad, Jeremy, et al.
Publicado: (2018)

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
por: Beyersdorff, Olaf, et al.
Publicado: (2018)

Highlights from the 22nd International AIDS Conference (AIDS 2018), 22–27 July 2018, Amsterdam, the Netherlands
por: Psomas, Christina K, et al.
Publicado: (2018)

Graphical models for security: 5th international workshop, GraMSec 2018, Oxford, UK, July 8, 2018, revised selected papers
por: Cybenko, George, et al.
Publicado: (2019)

Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
por: Johnsen, Einar Broch, et al.
Publicado: (2018)

Cognitive computing - ICCC 2018: second international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Xiao, Jing, et al.
Publicado: (2018)

Internet of things - ICIOT 2018: third international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Georgakopoulos, Dimitrios, et al.
Publicado: (2018)

Edge computing - EDGE 2018: second international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Liu, Shijun, et al.
Publicado: (2018)

Services - SERVICES 2018: 14th world congress, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Yang, Alvin, et al.
Publicado: (2018)

HCI in business, government, and organizations: 5th international conference, HCIBGO 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings
por: Nah, Fiona Fui-Hoon, et al.
Publicado: (2018)

Augmented cognition: 12th international conference, AC 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part II
por: Schmorrow, Dylan D, et al.
Publicado: (2018)

Web services - ICWS 2018: 25th international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Jin, Hai, et al.
Publicado: (2018)

World Hepatitis Day — July 28, 2018
Publicado: (2018)

Virtual, augmented and mixed reality: 10th international conference, VAMR 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part II
por: Chen, Jessie Y C, et al.
Publicado: (2018)

Virtual, augmented and mixed reality: 10th international conference, VAMR 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part I
por: Chen, Jessie Y C, et al.
Publicado: (2018)

Distributed, ambient and pervasive interactions: 6th international conference, DAPI 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part II
por: Streitz, Norbert, et al.
Publicado: (2018)

Distributed, ambient and pervasive interactions: 6th international conference, DAPI 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part I
por: Streitz, Norbert, et al.
Publicado: (2018)

Design, user experience, and usability: 7th international conference, DUXU 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part I
por: Marcus, Aaron, et al.
Publicado: (2018)

Design, user experience, and usability: 7th international conference, DUXU 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part III
por: Marcus, Aaron, et al.
Publicado: (2018)

Design, user experience, and usability: 7th international conference, DUXU 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part II
por: Marcus, Aaron, et al.
Publicado: (2018)

Computer and information sciences: 32nd international symposium, ISCIS 2018, held at the 24th IFIP world computer congress, WCC 2018, Poznan, Poland, September 20-21, 2018, proceedings
por: Czachórski, Tadeusz, et al.
Publicado: (2018)

Smart health: international conference, ICSH 2018, Wuhan, China, July 1-3, 2018, proceedings
por: Chen, Hsinchun, et al.
Publicado: (2018)

Abstracts of the Total Body PET conference 2018: Ghent, Belgium. 30 June - 2 July 2018
Publicado: (2018)

Formal techniques for distributed objects, components, and systems: 38th IFIP WG 6. 1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings
por: Baier, Christel, et al.
Publicado: (2018)

Cross-cultural design methods, tools, and users: 10th international conference, CCD 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part I
por: Rau, Pei-Luen Patrick
Publicado: (2018)

Digital human modeling applications in health, safety, ergonomics, and risk management: 9th international conference, DHM 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings
por: Duffy, Vincent G
Publicado: (2018)

Learning and collaboration technologies design, development and technological innovation: 5th international conference, LCT 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part I
por: Zaphiris, Panayiotis, et al.
Publicado: (2018)

Human interface and the management of information interaction, visualization, and analytics: 20th international conference, HIMI 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part I
por: Yamamoto, Sakae, et al.
Publicado: (2018)

Rewriting logic and its applications: 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, proceedings
por: Rusu, Vlad
Publicado: (2018)

Combinatorial algorithms: 29th international workshop, IWOCA 2018, Singapore, July 16-19, 2018, proceedings
por: Iliopoulos, Costas, et al.
Publicado: (2018)

Web and internet economics: 14th international conference, WINE 2018, Oxford, UK, December 15-17, 2018, proceedings
por: Christodoulou, George, et al.
Publicado: (2018)

Computer vision applications: third workshop, WCVA 2018, held in conjunction with ICVGIP 2018, Hyderabad, India, December 18, 2018, revised selected papers
por: Arora, Chetan, et al.
Publicado: (2019)

Universal access in human-computer interaction methods, technologies, and users: 12th international conference, UAHCI 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part I
por: Antona, Margherita, et al.
Publicado: (2018)

Advisory Committee of CERN Users (ACCU): Minutes of the 122nd Meeting held on 4th December 2018
por: Hauschild, Michael
Publicado: (2018)

Editorial: Proceedings of the 2nd ISESSAH Conference 2018
por: Raboisson, Didier, et al.
Publicado: (2020)

Award Winners and Abstracts of the 32nd Annual Symposium of The Protein Society; Boston, MA, July 9–12, 2018
Publicado: (2018)

CAS Core Teaching meeting_3 July 2018_CERN
por: Hermann, Schmickler
Publicado: (2018)

Measles outbreak, Montenegro January–July 2018: Lessons learned
por: Mugoša, Boban, et al.
Publicado: (2021)

Cross-cultural design applications in cultural heritage, creativity and social development: 10th international conference, CCD 2018, held as part of HCI international 2018, Las Vegas, NV, USA, July 15-20, 2018, proceedings, part II
por: Rau, Pei-Luen Patrick
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_u23r5t7c7u5fgot0sgi5ts3o31