Cargando…

Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers

Detalles Bibliográficos
Autores principales:	Paskevich, Andrei, Wies, Thomas
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757021

Ejemplares similares

Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
por: Gurfinkel, Arie, et al.
Publicado: (2016)

Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
por: Blazy, Sandrine, et al.
Publicado: (2016)

Software technologies: STAF 2017 collocated workshops, Marburg, Germany, July 17-21, 2017, revised selected papers
por: Seidl, Martina, et al.
Publicado: (2018)

Formal grammar: 22nd international conference, FG 2017, Toulouse, France, July 22-23, 2017, revised selected papers
por: Foret, Annie, et al.
Publicado: (2018)

Computer aided verification: 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings, part II
por: Majumdar, Rupak, et al.
Publicado: (2017)

Software technologies: 12th international joint conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, revised selected papers
por: Cabello, Enrique, et al.
Publicado: (2018)

Engineering secure software and systems: 9th international symposium, ESSOS 2017, Bonn, Germany, July 3-5, 2017, proceedings
por: Bodden, Eric, et al.
Publicado: (2017)

Combinatorial algorithms: 28th international workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, revised selected papers
por: Brankovic, Ljiljana, et al.
Publicado: (2018)

Computer vision systems: 11th international conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, revised selected papers
por: Liu, Ming, et al.
Publicado: (2017)

Declarative programming and knowledge management: conference on declarative programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, revised selected papers
por: Seipel, Dietmar, et al.
Publicado: (2018)

Data management technologies and applications: 6th international conference, DATA 2017, Madrid, Spain, July 24-26, 2017, revised selected papers
por: Filipe, Joaquim, et al.
Publicado: (2018)

E-business and telecommunications: 14th international joint conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, revised selected paper
por: Obaidat, Mohammad S, et al.
Publicado: (2019)

VLSI design and test: 21st international symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, revised selected papers
por: Kaushik, Brajesh Kumar, et al.
Publicado: (2017)

Globe July 2017
por: Ordan, Julien Marius
Publicado: (2017)

Foundations and practice of security: 10th international symposium, FPS 2017, Nancy, France, October 23-25, 2017, revised selected papers
por: Imine, Abdessamad, et al.
Publicado: (2018)

Artificial intelligence and natural language: 6th conference, AINL 2017, St. Petersburg, Russia, September 20-23, 2017, revised selected papers
por: Filchenkov, Andrey, et al.
Publicado: (2017)

Tests and proofs: 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017, proceedings
por: Gabmeyer, Sebastian, et al.
Publicado: (2017)

Internet science: insci 2017 international workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017, revised selected papers
por: Diplaris, Sotiris, et al.
Publicado: (2018)

ISOLDE Experiment July 2017
por: Ordan, Julien Marius
Publicado: (2017)

Model-driven engineering and software development: 5th international conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, revised selected papers
por: Pires, Luís Ferreira, et al.
Publicado: (2018)

Automated deduction in geometry: 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised papers
por: Schreck, Pascal, et al.
Publicado: (2011)

Information retrieval: 23rd China conference, CCIR 2017, Shanghai, China, July 13-14, 2017, proceedings
por: Wen, Jirong, et al.
Publicado: (2017)

Graph-theoretic concepts in computer science: 43rd international workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, revised selected papers
por: Bodlaender, Hans L, et al.
Publicado: (2017)

Fast software encryption: 23rd international conference, FSE 2016, Bochum, Germany, March 20-23, 2016, revised selected papers
por: Peyrin, Thomas
Publicado: (2016)

Global sourcing of digital services: 11th global sourcing workshop 2017, La Thuile, Italy, February 22-25, 2017, revised selected papers
por: Oshri, Ilan, et al.
Publicado: (2017)

High performance computing in science and engineering: third international conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017, revised selected papers
por: Kozubek, Tomás, et al.
Publicado: (2018)

Language, logic, and computation: 12th international Tbilisi symposium, TBiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, revised selected papers
por: Silva, Alexandra, et al.
Publicado: (2019)

Computer security: ESORICS 2017 international workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers
por: Katsikas, Sokratis K, et al.
Publicado: (2017)

New frontiers in mining complex patterns: 6th international workshop, NFMCP 2017, held in conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, revised selected papers
por: Appice, Annalisa, et al.
Publicado: (2018)

Web and big data: APWeb-WAIM 2017 international workshops MWDA, HotSpatial, GDMA, DDC, SDMA, MASS, Beijing, China, July 7-9, 2017, revised selected papers
por: Song, Shaoxu, et al.
Publicado: (2017)

Product lifecycle management and the industry of the future: 14th IFIP WG 5. 1 international conference, PLM 2017, Seville, Spain, July 10-12, 2017, revised selected papers
por: Ríos, José, et al.
Publicado: (2017)

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

Summer Students Globe July 2017
por: Ordan, Julien Marius
Publicado: (2017)

Blood donation | 22 and 23 July
Publicado: (2014)

Simulation gaming applications for sustainable cities and smart infrastructures: 48th international simulation and gaming association conference, ISAGA 2017, Delft, The Netherlands, July 10-14, 2017, revised selected papers
por: Lukosch, Heide Karen, et al.
Publicado: (2018)

Software business: 8th international conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, proceedings
por: Ojala, Arto, et al.
Publicado: (2017)

Computational linguistics and intelligent text processing: 18th international conference, CICLING 2017, Budapest, Hungary, April 17-23, 2017, revised selected papers, part II
por: Gelbukh, Alexander
Publicado: (2018)

Trends and applications in knowledge discovery and data mining: PAKDD 2017 workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, revised selected papers
por: Kang, U, et al.
Publicado: (2017)

Progress in cryptology - LATINCRYPT 2017: 5th international conference on cryptology and information security in Latin America, Havana, Cuba, September 20-22, 2017, revised selected papers
por: Lange, Tanja, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_app5c4v7v0p1auk2er29cbfi20