Cargando…

Static analysis: 22nd international symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Blazy, Sandrine, Jensen, Thomas
Lenguaje:	eng
Publicado:	Springer 2015
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2757596

Ejemplares similares

Cryptographic hardware and embedded systems - CHES 2015: 17th international workshop, Saint-Malo, France, September 13-16, 2015, proceedings
por: Güneysu, Tim, et al.
Publicado: (2015)

Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
por: Fischer, Bernd, et al.
Publicado: (2015)

Experimental algorithms: 14th international symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, proceedings
por: Bampis, Evripidis
Publicado: (2015)

Grammatical inference: 9th international colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 proceedings
por: Clark, Alexander, et al.
Publicado: (2008)

Computational logistics: 6th international conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, proceedings
por: Corman, Francesco, et al.
Publicado: (2015)

2005 CERN School of Computing, Saint-Malo, France, 04-17 September 2005
Publicado: (2005)

Fundamentals of computation theory: 20th international symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, proceedings
por: Kosowski, Adrian, et al.
Publicado: (2015)

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

Foundations of intelligent systems: 22nd international symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, proceedings
por: Esposito, Floriana, et al.
Publicado: (2015)

Extending and Enhancing SAS (Static Analysis Suite)
por: Ho, David
Publicado: (2016)

22nd International Symposium on Computer Architecture
por: Collective
Publicado: (1995)

International Symposium on Grids and Clouds 2015
por: Collective
Publicado: (2015)

22nd Annual International Symposium on Computer Architecture
por: Collective
Publicado: (1995)

22nd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing
Publicado: (2022)

Approximation and online algorithms: 13th international workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 revised selected papers
por: Sanità, Laura, et al.
Publicado: (2016)

Logic, rationality, and interaction: 5th international workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 proceedings
por: van der Hoek, Wiebe, et al.
Publicado: (2015)

Formal methods: 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, proceedings
por: Cornélio, Márcio, et al.
Publicado: (2016)

Information technologies and mathematical modelling - queueing theory and applications: 14th international scientific conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, proceedings
por: Dudin, Alexander, et al.
Publicado: (2015)

2nd COMPSTAT Symposium
por: Gordesch, Johannes, et al.
Publicado: (1976)

Static analysis: 21st international symposium, SAS 2014, Munich, Germany, September 11-13, 2014 proceedings
por: Müller-Olm, Markus, et al.
Publicado: (2014)

Static analysis: 23rd international symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings
por: Rival, Xavier
Publicado: (2016)

Artificial intelligence research and development: proceedings of the 22nd international conference of the Catalan Association for Artificial Intelligence
por: Sabater-Mir, J, et al.
Publicado: (2019)

Database systems for advanced applications: 20th international conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, proceedings, part II
por: Renz, Matthias, et al.
Publicado: (2015)

Intelligent information and database systems: 7th Asian conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, proceedings, part II
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2015)

SAS essentials: mastering SAS for data analytics
por: Elliott, Alan C, et al.
Publicado: (2015)

Web information systems engineering - WISE 2015: 16th international conference, Miami, FL, USA, November 1-3, 2015, proceedings, part I
por: Wang, Jianyong, et al.
Publicado: (2015)

2nd JSSST International Symposium
por: Futatsugi, Kokichi, et al.
Publicado: (1996)

Software engineering and formal methods: 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

AutoCAD 2015 and AutoCAD LT 2015
por: Gladfelter, Donnie
Publicado: (2014)

Model-based safety and assessment: 5th international symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, proceedings
por: Bozzano, Marco, et al.
Publicado: (2017)

SAS certification prep guide: base programming for SAS 9
por: SAS Institute
Publicado: (2018)

SAS certification prep guide: base programming for SAS 9
por: SAS Institute
Publicado: (2017)

SAS certification prep guide: advanced programming for SAS 9
por: Collective
Publicado: (2014)

SAS certification prep guide: base programming for SAS 9
por: SAS Institute
Publicado: (2006)

SAS certification prep guide: advanced programming for SAS 9.
por: SAS Institute
Publicado: (2009)

SAS certification prep guide: base programming for SAS 9.
por: SAS Institute
Publicado: (2009)

SAS certification prep guide: base programming for SAS 9.
por: SAS Institute
Publicado: (2011)

SAS certification prep guide: advanced programming for SAS 9.
por: SAS Institute
Publicado: (2011)

Python for SAS users: a SAS-oriented introduction to Python
por: Betancourt, Randy, et al.
Publicado: (2019)

Mastering AutoCAD 2015 and AutoCAD LT 2015
por: Omura, George, et al.
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_9a9n3mbtdbncskfgginiuhbt06