Cargando…

3rd International Symposium of VDM Europe

Detalles Bibliográficos
Autores principales:	Hoare, Charles Antony Richard, Langemaack, H, Bjørner, Dines
Lenguaje:	eng
Publicado:	Springer 1990
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/211758

Ejemplares similares

3rd International Symposium on Science and Engineering
por: CRAY Research. Minneapolis
Publicado: (1987)

3rd International symposium on ambient intelligence
por: Hallenborg, Kasper, et al.
Publicado: (2012)

3rd IFAC Symposium
por: Eykhoff, Peter
Publicado: (1973)

3rd COMPSTAT Symposium
por: Corsten, L C A, et al.
Publicado: (1978)

3rd IEEE/ACM International Symposium on Cluster Computing and the Grid
Publicado: (2003)

3rd Supercomputer Applications Symposium
por: Numrich, R W
Publicado: (1985)

3rd Symposium on Electronics for Telecommunications
por: Collective
Publicado: (1988)

3rd Austrian Grid Symposium
por: Volkert, Jens, et al.
Publicado: (2010)

3rd Symposium on Digital Computers and their Applications
por: Collective
Publicado: (1962)

3rd REXX Symposium for Developers and Users
por: Garnett, Forrest, et al.
Publicado: (1992)

3rd ACM symposium on theory of computing
por: Association for Computing Machinery. New York
Publicado: (1971)

3rd Euromicro Symposium on Microprocessing and Microprogramming
por: Nicoud, Jean Daniel, et al.
Publicado: (1977)

3rd USENIX Windows NT Symposium
por: USENIX Association. Berkeley
Publicado: (1999)

International Seminar on Operating-systems Techniques
por: Hoare, Charles Antony Richard, et al.
Publicado: (1972)

3rd USENIX Symposium on Internet Technologies and Systems
por: Anderson, Tom
Publicado: (2001)

3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering
por: Kaiser, Gail E
Publicado: (1995)

3rd USENIX Symposium on Operating Systems Design and Implementation
por: USENIX Association. Berkeley
Publicado: (1999)

DECUS Europe Symposium
por: Digital Equipment Computer Users Society. Marlboro, MA
Publicado: (1985)

DECUS Europe Symposium
por: Digital Equipment Computer Users Society. Marlboro, MA
Publicado: (1987)

DECUS Europe Symposium
Publicado: (1989)

3rd International Conference on Supercomputing
Publicado: (1988)

The 3rd International Conference on Bioimaging
Publicado: (2016)

SID International Symposium
por: Bruce, Richard H, et al.
Publicado: (1993)

3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering : SIGSOFT '95
por: Kaiser, G E
Publicado: (1995)

3rd NIC Symposium 2001 John von Neumann Institute for Computing
Publicado: (2001)

Winter School on Abstract Software Specifications
por: Bjørner, Dines
Publicado: (1980)

12th DECUS Europe Symposium
por: Norris, M O
Publicado: (1977)

13th DECUS Europe Symposium
por: Carlson, B
Publicado: (1977)

3rd International Conference on Database Theory
por: Abiteboul, Serge, et al.
Publicado: (1990)

3rd International Conference on Information Processing
por: Kalenich, Wayne A
Publicado: (1965)

3rd International Workshop on Distributed Algorithms
por: Bermond, Jean Claude, et al.
Publicado: (1989)

3rd International WWW Caching Workshop
por: Collective
Publicado: (1998)

3rd International Conference on Computer Graphics
Publicado: (1988)

3rd International Conference on Data Engineering
Publicado: (1987)

3rd International Workshop on Grid Computing
por: Parashar, Manish
Publicado: (2002)

23rd European Symposium on computer aided process engineering
por: Kraslawski, Andrzej, et al.
Publicado: (2013)

33rd Annual ACM Symposium on Theory of Computing (STOC)
Publicado: (2001)

3rd Joint European Networking Conference : JENC-3 : Building Research Networking for Europe
por: Van Binst, P
Publicado: (1992)

Communicating sequential processes
por: Hoare, Charles Antony Richard
Publicado: (1985)

3rd International Workshop on Protocol Specification, Testing and Verification
por: Rudin, Harry, et al.
Publicado: (1983)

Cannot write session to /tmp/vufind_sessions/sess_v7jqrmfmj12llh6aefgk3ivcfj