Cargando…

Automated technology for verification and analysis: 12th international symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, proceedings

Detalles Bibliográficos
Autores principales:	Cassez, Franck, Raskin, Jean-Francois
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2014
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757101

Ejemplares similares

Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
por: Artho, Cyrille, et al.
Publicado: (2016)

Automated technology for verification and analysis: 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, proceedings
por: Chen, Yu-Fang, et al.
Publicado: (2019)

Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
por: Lahiri, Shuvendu K, et al.
Publicado: (2018)

Entertainment computing - ICEC 2014: 13th international conference, ICEC 2014, Sydney, Australia, October 1-3, 2014, proceedings
por: Pisan, Yusuf, et al.
Publicado: (2014)

Programming languages and systems: 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, proceedings
por: Garrigue, Jacques
Publicado: (2014)

Hardware and software: 10th international Haifa verification conference, HVC 2014, Haifa, Israel, November 18-20, 2014, proceedings
por: Yahav, Eran
Publicado: (2014)

Sequences and their applications - SETA 2014: 8th international conference, Melbourne, VIC, Australia, November 24-28, 2014, proceedings
por: Schmidt, Kai-Uwe, et al.
Publicado: (2014)

Proceedings of the second annual Queen’s University Belfast Student Research Symposium: Wednesday 12th November 2014, Riddel Hall
por: Cantley, Nathan, et al.
Publicado: (2015)

Service-oriented computing: 12th international conference, ICSOC 2014, Paris, France, November 3-6, 2014, proceedings
por: Franch, Xavier, et al.
Publicado: (2014)

Smart graphics: 12th international symposium, SG 2014, Taipei, Taiwan, August 27-29, 2014, proceedings
por: Christie, Marc, et al.
Publicado: (2014)

Proceedings, 12th European VLBI Network Symposium and Users Meeting (EVN2014)
por: Tarchi, Andrea, et al.
Publicado: (2015)

Applications and techniques in information security: international conference, ATIS 2014, Melbourne, Australia, November 26-28, 2014 proceedings
por: Batten, Lynn, et al.
Publicado: (2014)

Advances in neural networks - ISNN 2014: 11th international symposium on neural networks, ISNN 2014, Hong Kong and Macao, China, November 28 - December 1, 2014 proceedings
por: Zeng, Zhigang, et al.
Publicado: (2014)

Distributed computing: 28th international symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, proceedings
por: Kuhn, Fabian
Publicado: (2014)

Automated Vehicles Symposium 2014
por: Meyer, Gereon, et al.
Publicado: (2015)

Algorithms and computation: 25th international symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, proceedings
por: Ahn, Hee-Kap, et al.
Publicado: (2014)

Biomedical simulation: 6th international symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, proceedings
por: Bello, Fernando, et al.
Publicado: (2014)

Algorithms - ESA 2014: 22th annual european symposium, Wrocław, Poland, September 8-10, 2014 proceedings
por: Schulz, Andreas S, et al.
Publicado: (2014)

Pattern recognition: 6th Chinese conference, CCPR 2014, Changsha, China, November 17-19, 2014 proceedings, part II
por: Li, Shutao, et al.
Publicado: (2014)

Pattern recognition: 6th Chinese conference, CCPR 2014, Changsha, China, November 17-19, 2014 proceedings, part I
por: Li, Shutao, et al.
Publicado: (2014)

Biometric recognition: 9th Chinese conference on biometric recognition, CCBR 2014, Shenyang, China, November 7-9, 2014 proceedings
por: Sun, Zhenan, et al.
Publicado: (2014)

Knowledge engineering and knowledge management: 19th international conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014, proceedings
por: Janowicz, Krzysztof, et al.
Publicado: (2014)

Technologies and applications of artificial intelligence: 19th international conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, proceedings
por: Cheng, Shin-Ming, et al.
Publicado: (2014)

World Pneumonia Day — November 12, 2014
Publicado: (2014)

PRIMA 2014: 17th international conference, Gold Coast, QLD, Australia, December 1-5, 2014, proceedings
por: Dam, Hoa Khanh, et al.
Publicado: (2014)

Interactive storytelling: 7th international conference on interactive digital storytelling, ICIDS 2014, Dingapore, Singapore, November 3-6, 2014, proceedings
por: Mitchell, Alex, et al.
Publicado: (2014)

Software process improvement and capability determination: 14th international conference, SPICE 2014, Vvilnius, Lithuania, November 4-6, 2014 proceedings
por: Mitasiunas, Antanas, et al.
Publicado: (2014)

Search-based software engineering: 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, proceedings
por: Le Goues, Claire, et al.
Publicado: (2014)

Research in attacks, intrusions and defenses: 17th international symposium, RAID 2014, Gothenburg, Sweden, September 17-19, 2014, proceedings
por: Stavrou, Angelos, et al.
Publicado: (2014)

Foundations and practice of security: 7th international symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014 revised selected papers
por: Cuppens, édéric, et al.
Publicado: (2015)

PRICAI 2014: 13th Pacific rim international conference on artificial intelligence, PRICAI 2014, Gold Coast, QLD, Australia, December 1-5, 2014, proceedings
por: Pham, Duc-Nghia, et al.
Publicado: (2014)

7(th) International Vitiligo and Pigment Cell Disorders Symposium, Istanbul, Turkey, November 21–23, 2014
por: Schwartz, Robert A, et al.
Publicado: (2015)

Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
por: Merz, Stephan, et al.
Publicado: (2014)

Decision and game theory for security: 5th international conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, proceedings
por: Poovendran, Radha, et al.
Publicado: (2014)

Data-driven process discovery and analysis: 4th international symposium, SIMPDA 2014, Milan, Italy, November 19-21, 2014, revised selected papers
por: Russo, Barbara, et al.
Publicado: (2015)

Databases theory and applications: 25th Australasian database conference, ADC 2014, Brisbane, QLD, Australia, July 14-16, 2014 proceedings
por: Wang, Hua, et al.
Publicado: (2014)

Multiagent system technologies: 12th German conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, proceedings
por: Müller, Jörg P, et al.
Publicado: (2014)

Computer performance engineering: 11th European workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, proceedings
por: Horváth, András, et al.
Publicado: (2014)

November 8–14, 2014
Publicado: (2014)

Stabilization, safety, and security of distributed systems: 16th international symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014 proceedings
por: Felber, Pascal, et al.
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_3gvl7d2185bm8j47cgbtv4740t