Cargando…

Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures

Detalles Bibliográficos
Autores principales:	Bonsangue, Marcello M, Graf, Susanne, de Roever, Willem-Paul, Roever, Willem-Paul de
Lenguaje:	eng
Publicado:	Springer 2008
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756805

Ejemplares similares

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

Interactive TV: 5th European conference, EuroITV 2007, Amsterdam, The Netherlands, May 24-25, 2007, proceedings
por: Cesar, Pablo, et al.
Publicado: (2007)

September-October 2007
Publicado: (2007)

Artificial intelligence in medicine: 11th conference on artificial intelligence in medicine in Europe, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, proceedings
por: Bellazzi, Riccardo, et al.
Publicado: (2007)

Discussion Session, Summer student lecture programme, 26 Jul 2007
por: Pich, A, 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)

26-July 2007
Publicado: (2007)

Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
por: Arbab, Farhad, et al.
Publicado: (2020)

Clinical Implications of Azole Resistance in Aspergillus fumigatus, the Netherlands, 2007–2009
por: van der Linden, Jan W.M., et al.
Publicado: (2011)

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)

A molecular epidemiological perspective of rhinovirus types circulating in Amsterdam from 2007 to 2012
por: van der Linden, L., et al.
Publicado: (2016)

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

Approximation and online algorithms: 5th international workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, revised papers
por: Kaklamanis, Christos, et al.
Publicado: (2008)

Disease Burden of 32 Infectious Diseases in the Netherlands, 2007-2011
por: van Lier, Alies, et al.
Publicado: (2016)

Declining incidence of imported malaria in the Netherlands, 2000-2007
por: van Rijckevorsel, Gini GC, et al.
Publicado: (2010)

CERN Courier Volume 47, Number 8, October 2007
por: CERN
Publicado: (2007)

Minutes of the 25th ATLAS LHC RRB, October 2007
por: Jones, C M
Publicado: (2008)

Minutes of the 25th CMS LHC RRB, October 2007
por: CERN. Geneva, et al.
Publicado: (2008)

Minutes of the 23rd ALICE LHC RRB, October 2007
por: CERN. Geneva, et al.
Publicado: (2008)

Minutes of the 19th LHCb LHC RRB, October 2007
por: Jones, C M
Publicado: (2008)

Minutes of the 12th Computing LHC RRB, October 2007
por: Jones, C M
Publicado: (2008)

Minutes of the 1st TOTEM LHC RRB, October 2007
por: CERN. Geneva, et al.
Publicado: (2008)

Minds That Matter: 2007 Gairdner International Awards Lectures
por: Krasnoshtein, F., et al.
Publicado: (2007)

Introduction to CERN [at the Summer Student Lecture Programme, 2007)
por: Engelen, J
Publicado: (2007)

Discussion Session, Summer student lecture programme, 10 Aug 2007
por: Hoecker, a, et al.
Publicado: (2007)

Discussion Session, Summer student lecture programme, 18 Jul 2007
por: Ross, Graham G, et al.
Publicado: (2007)

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

Algorithmic learning theory: 18th international conference, ALT 2007, Sendai, Japan, October 1-4, 2007, proceedings
por: Hutter, Marcus, et al.
Publicado: (2007)

Epidemiology of Mycobacterium bovis Disease in Humans, the Netherlands, 1993–2007
por: Majoor, Christof J., et al.
Publicado: (2011)

Travel-related Dengue Virus Infection, the Netherlands, 2006–2007
por: Baaten, Gijs G.G., et al.
Publicado: (2011)

Spread of Adenovirus to Geographically Dispersed Military Installations, May–October 2007
por: Trei, Jill S., et al.
Publicado: (2010)

List of members and Ex-officio members, as from 1 October 2007
por: CERN. Geneva, et al.
Publicado: (2007)

Amsterdam Particle Physics Symposium - Theory and Experiment in the LHC Era
por: Beenakker, W (Wim), et al.
Publicado: (2011)

International Exhibition at Amsterdam: May—October 1883
Publicado: (1883)

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)

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

Hawaii 2007 Nuclear Science Symposium and Medical Imaging Conference
Publicado: (2007)

Causal Beliefs and Perceptions of Risk for Diabetes and Cardiovascular Disease, the Netherlands, 2007
por: Claassen, Liesbeth, et al.
Publicado: (2011)

Trends and determinants of antimicrobial susceptibility of Neisseria gonorrhoeae in the Netherlands, 2007 to 2015
por: Hofstraat, Sanne HI, et al.
Publicado: (2018)

Visio 2007 for Dummies
por: Mueller, John Paul, et al.
Publicado: (2007)

Cannot write session to /tmp/vufind_sessions/sess_ve175tm4iu79qg15hsahfb2ckq