CERN Accelerating science

Hovedsiden > Søkeresultater: Haveman, J
Søketips
Avansert søk
Add to Search +
Søk samlinger:
Sorter etter: Vis resultater: Visningsformat:
CERN Document Server 3 elementer funnet  Søket tok 0.59 sekunder. 
1.
Experience using formal methods in high energy physics, pt.2 / Balke, A C ; Carter, J ; Haveman, J
1995
In : 4th International Workshop on Software Engineering, Artificial Intelligence and Expert Systems in High-energy and Nuclear Physics, Pisa, Italy, 3 - 8 Apr 1995, pp.469-473
4th International Workshop on Software Engineering, Artificial Intelligence and Expert Systems for High-energy and Nuclear Physics : AIHENP '95, Pisa, Italy, 3 - 8 Apr 1995, pp.3-7
Detaljert visning - Lignende elementer
2.
Status report : embedded architectures for second-level triggering (EAST) . - 1993 ed. / Vermeulen, J C ; Constantin, F ; Gheorghe, A ; Dénes, E ; Ódor, G ; Böck, R K ; Carter, J ; Krischer, Werner ; McLaren, R A ; Legrand, I et al.
CERN-DRDC-93-12 ; DRDC-RD-11 ; EAST-note-93-08. - 1993. - 18 p.
Access to fulltext document - Access to fulltext document - CERN library copies
Detaljert visning - Lignende elementer
3.
The formal development method VDM / Lourens, W ; Balke, A C ; Haveman, J ; Carter, J
1994
In : Conference on Computing in High-energy Physics, San Francisco, CA, USA, 21 - 27 Apr 1994, pp.268-270
Detaljert visning - Lignende elementer

Ønsker du å bli varslet om nye resultater fra denne spørringen?
Sett opp ditt eget e-postvarsel eller abonner på RSS.
Fant du ikke det du lette etter? Gjenta søket på andre tjenere:
Haveman, J i Amazon
Haveman, J i CERN EDMS
Haveman, J i CERN Intranet
Haveman, J i CiteSeer
Haveman, J i Google Books
Haveman, J i Google Scholar
Haveman, J i Google Web
Haveman, J i IEC		Haveman, J i IHS
Haveman, J i INSPIRE
Haveman, J i ISO
Haveman, J i KISS Books/Journals
Haveman, J i KISS Preprints
Haveman, J i NEBIS
Haveman, J i SLAC Library Catalog
Haveman, J i Scirus