Cargando…

Static analysis: 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, proceedings

Detalles Bibliográficos
Autores principales:	Riis Nielson, Hanne, Filé, Gilberto
Lenguaje:	eng
Publicado:	Springer 2007
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764038

Ejemplares similares

Coordination models and languages: 21st IFIP WG 6. 1 international conference, COORDINATION 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
por: Riis Nielson, Hanne, et al.
Publicado: (2019)

Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
por: Podelski, Andreas
Publicado: (2018)

Advances in bioinformatics and computational biology: second Brazilian symposium on bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007, proceedings
por: Sagot, Marie-France, et al.
Publicado: (2007)

Distributed applications and interoperable systems: 19th IFIP WG 6 1 international conference, DAIS 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
por: Pereira, José, et al.
Publicado: (2019)

Formal techniques for distributed objects, components, and systems: 39th IFIP WG 6 1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DISCOTEC 2019, Kongens Lyngby, Denmark, June 17-21, 2019, proceedings
por: Pérez, Jorge A, et al.
Publicado: (2019)

Advances in biometrics: international conference, ICB 2007, Seoul, Korea, August 27-29, 2007, proceedings
por: Lee, Seong-Whan, et al.
Publicado: (2007)

June-August 2007
Publicado: (2007)

Static analysis: 22nd international symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings
por: Blazy, Sandrine, et al.
Publicado: (2015)

Grid economics and business models: 4th international workshop, GECON 2007, Rennes, France, August 28, 2007, proceedings
por: Veit, Daniel J, et al.
Publicado: (2007)

Advanced data mining and applications: third international conference, ADMA 2007, Harbin, China, August 6-8, 2007 proceedings
por: Alhajj, Reda, et al.
Publicado: (2007)

Fundamentals of computation theory: 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, proceedings
por: Gąsieniec, Leszek Antoni, et al.
Publicado: (2019)

Advances in rule interchange and applications: international symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, proceedings
por: Paschke, Adrian, et al.
Publicado: (2007)

ASIASIM 2007: Asia simulation conference 2007, Seoul, Korea, October 10-12, 2007, proceedings
por: Park, Jin-Woo, et al.
Publicado: (2008)

Advances in neural networks - ISNN 2007: 4th international symposium on neutral networks, ISNN 2007 Nanjing, China, June 3-7, 2007 proceedings, part II
por: Liu, Derong, et al.
Publicado: (2007)

Epidemiology of neuromyelitis optica spectrum disorder in Denmark (1998–2008, 2007–2014)
por: Asgari, Nasrin, et al.
Publicado: (2019)

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: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2019)

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

Advances in intelligent and distributed computing: proceedings of the 1st international symposium on intelligent and distributed computing IDC 2007, Craiova, Romania, October 2007
por: Badica, Costin, et al.
Publicado: (2007)

Trust management: proceedings of IFIPTM 2007 joint ITrust and PST conferences on privacy, trust management and security, July 30-August 2, 2007, New Brunswick, Canada
por: Etalle, Sandro, et al.
Publicado: (2007)

Abstracts of the 2007 Young Invesigators Symposium
Publicado: (2007)

Agent and multi-agent systems: first KES international symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31-June 1, 2007, proceedings
por: Grzech, Adam
Publicado: (2007)

Service-oriented computing: AAMAS 2007 international workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, proceedings
por: Huang, Jingshan, et al.
Publicado: (2007)

Advancing radiology through informed leadership: summary of the proceedings of the Seventh Biannual Symposium of the International Society for Strategic Studies in Radiology (IS(3)R), 23–25 August 2007
por: Muellner, Ada, et al.
Publicado: (2009)

Advances in knowledge discovery and data mining: 11th Pacific-Asia conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, proceedings
por: Zhou, Zhi-Hua, et al.
Publicado: (2007)

Case-based reasoning research and development: 7th international conference on case-based reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August 13-16, 2007 proceedings
por: Weber, Rosina O, et al.
Publicado: (2007)

Usability and internationalization HCI and culture: second international conference on usability and internationalization, UI-HCII 2007, held as part of HCI international 2007, Beijing, China, July 22-27, 2007, proceedings, part I
por: Aykin, Nuray
Publicado: (2007)

CERN Courier Volume 47, Number 6, July-August 2007
por: CERN
Publicado: (2007)

2007 International Symposium on Computational Models of Life Sciences
por: Pham, Tuan D, et al.
Publicado: (2007)

Medical imaging and informatics: second international conference, MIMI 2007, Beijing, China, August 14-16, 2007, revised selected papers
por: Gao, Xiaohong, et al.
Publicado: (2008)

Incidence trends of vestibular schwannomas in Denmark, Finland, Norway and Sweden in 1987–2007
por: Larjavaara, S, et al.
Publicado: (2011)

Oral Fluid Testing for Pertussis, England and Wales, June 2007–August 2009
por: Campbell, Helen, et al.
Publicado: (2014)

Hybrid systems: 10th international workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, proceedings
por: Bemporad, Alberto, et al.
Publicado: (2007)

Intelligence and security informatics: Pacific Asia workshop, PAISI 2007, Chengdu, China, April 11-12, 2007, proceedings
por: Yang, Christopher C, et al.
Publicado: (2007)

Embedded software and systems: third international conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, proceedings
por: Lee, Yann-Hang, et al.
Publicado: (2007)

Proceedings of the Fifth International Conference on Fluid Mechanics (Shanghai, 2007)
por: Zhuang, F. G, et al.
Publicado: (2009)

Administrator's guide to Microsoft Office 2007 servers: Forms Server 2007, Groove Server 2007, Communications Server 2007, PerformancePoint Server 2007, Project Portfolio Server 2007, Project Server 2007, SharePoint Server 2007 for Search
por: Bruzzese, J Peter, et al.
Publicado: (2008)

Junior Members Forum, Thursday 22 November 2007
Publicado: (2008)

Junior Members Forum, Thursday 22 November 2007
Publicado: (2009)

The Second International Symposium on Languages in Biology and Medicine (LBM) 2007
por: Jian, Su, et al.
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_bmdc1qcq2vcjsejignc14c5v6r