Cargando…

2nd International Workshop on Protocol Specification, Testing and Verification

Detalles Bibliográficos
Autor principal:	Sunshine, Carl A
Lenguaje:	eng
Publicado:	North-Holland 1982
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/99332

Ejemplares similares

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

4th IFIP International Workshop on Protocol Specification, Testing and Verification
por: Strom, Robert G, et al.
Publicado: (1985)

5th IFIP International Workshop on Protocol Specification, Testing and Verification
por: Díaz, Michel
Publicado: (1986)

8th IFIP International Symposium on Protocol Specification, Testing and Verification
por: Agarwal, Sudhir, et al.
Publicado: (1988)

2nd International Workshop on Distributed Algorithms
por: Van Leeuwen, Jan
Publicado: (1988)

2nd International Workshop on Office Information Systems
por: Naffah, Najah
Publicado: (1982)

2nd International Workshop On Grid And Cooperative Computing
por: Cao, J, et al.
Publicado: (2004)

2nd International Workshop on Pattern Recognition in Practice
por: Gelsema, Edzard S, et al.
Publicado: (1986)

2nd Tirrenia International Workshop on Digital Communications
por: Biglieri, Ezio, et al.
Publicado: (1986)

2nd International Workshop on Learning Technology for Education in Cloud
por: Uden, Lorna, et al.
Publicado: (2014)

22nd Annual International Workshop on Microprogramming and Microarchitecture
por: Association for Computing Machinery. New York
Publicado: (1989)

Eurographics Workshop on Design, Specification and Verification of Interactive Systems '97
por: Harrison, M D, et al.
Publicado: (1997)

2nd UNIX Security Workshop
por: USENIX Association. Berkeley
Publicado: (1990)

2nd IFIP Workshop on Methodology of Interaction
por: Duce, David A, et al.
Publicado: (1980)

2nd Annual Machine Intelligence Workshop
por: Dale, Ella, et al.
Publicado: (1968)

2nd Eurographics Workshop on Graphics Hardware
por: Kuijk, Alphonsus Aloisius Maria, et al.
Publicado: (1988)

2nd USENIX Workshop on Electronic Commerce
por: USENIX Association. Berkeley
Publicado: (1996)

2nd Workshop on Industrial Experiences with Systems Software
por: Mogul, Jeff
Publicado: (2002)

2nd Workshop on Algebraic Methods : Theory, Tools and Applications
por: Bergstra, Jan A, et al.
Publicado: (1991)

2nd Asia-Pasific Workshop on Quantum Information Science
Publicado: (2004)

2nd Workshop on Massive Parallelism: Hardware, Software and Applications
por: Furnari, Mario Mango
Publicado: (1994)

2nd Workshop on Computation of Biochemical Pathways and Genetic Networks
Publicado: (2001)

2nd workshop on Intelligent CAD systems: implementational issues
por: Akman, Varol, et al.
Publicado: (1989)

BCS-FACS Workshop on Specificiation and Verification of Concurrent Systems
por: Rattray, Charles
Publicado: (1990)

22nd International Workshop on Radiation Imaging Detectors
Publicado: (2021)

2nd JSSST International Symposium
por: Futatsugi, Kokichi, et al.
Publicado: (1996)

2nd ACM-SIGFIDET workshop on data description, access and control
por: Dean, Albert L
Publicado: (1972)

2nd Berkeley Workshop on Distributed Data Management and Computer Networks
por: University of California. Berkeley. Radiation Laboratory
Publicado: (1977)

2nd Workshop on Coupling Symbolic and Numerical Computing in Expert Systems
por: Kitzmiller, Charles T, et al.
Publicado: (1988)

2nd Workshop on Bio-inspired Solutions to Parallel Processing Problems
por: Collective
Publicado: (2001)

2nd International Symposium on Distributed Databases
por: Schneider, H J
Publicado: (1982)

2nd International Conference on Computer Communication
por: Collective
Publicado: (1974)

Program construction and verification
por: Backhouse, Roland Carl
Publicado: (1986)

6th International Workshop on Software Specification and Design
por: Collective
Publicado: (1991)

2nd International Symposium On Parallel And Distributed Computing
Publicado: (2003)

2nd International Symposium on Interoperable Information Systems
por: Tanaka, Hidehiko, et al.
Publicado: (1988)

2nd International Joint Conference on Artificial Intelligence
por: Collective
Publicado: (1971)

2nd International Symposium on Fault-tolerant Computing
por: Collective
Publicado: (1972)

2nd International Conference on Expert Systems for Development
Publicado: (1994)

2nd IFIP International Conference on Computer Security
por: Dougall, E Graham, et al.
Publicado: (1984)

Cannot write session to /tmp/vufind_sessions/sess_e81on0mg39jga6d4utbjlc3hrp