Cargando…
SIS procedures and processes: their mechanisation and development
Autor principal: | Coblans, H |
---|---|
Lenguaje: | eng |
Publicado: |
CERN
1966
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1706217 |
Ejemplares similares
-
Mechanised Modal Model Theory
por: Xu, Yiming, et al.
Publicado: (2020) -
Adiabatic Theory of Electron Oscillations and its Application to SIS100/SIS200
por: Zenkevich, P R, et al.
Publicado: (2002) -
Autoconfiguration and device models in the SIS controlsystem
por: Brandis, H, et al.
Publicado: (1990) -
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
por: Krogh-Jespersen, Morten, et al.
Publicado: (2020) -
Visualising adoption processes through a stepwise framework: A case study of mechanisation on the Nepal Terai
por: Brown, Brendan, et al.
Publicado: (2021)