-
Protocols for high-speed networks : Selected and revised papers from the IFIP WG 6.1/WG 6.4 workshop on ... : Konf. Zürich, Switzerland, 9.- 11. May 1989 /
-
Sequential logic testing and verification /
-
In Vitro Toxicity Testing Protocols /
-
Protocols for High-Speed Networks. Selected and Revised Papers from the IFIP WG 6.1/WG 6.4 Intern. Workshop on Protocols for High Speed Networks,Zurich,9.11May 1989
-
Hardware specification, verification and synthesis: mathematical aspects : Konf. Mathematical Sciences Institut Workshop, Cornell University, New York, 5.- 7. July 1989 /
-
EDA for IC System Design, Verification, and Testing /
-
Precision Machining IX : Selected, peer reviewed papers from the 9th International Congress on Precision Machining ICPM 2017. September 6-9, 2017, Athens, Greece
-
Internet Protocol Version 6
-
A unified approach for timing verification and delay faut testing
-
Novel Developments in Dimensional Nanometrology in the Context of Geometrical Product Specifications and Verification (GPS)
-
Manufacturing automation protocol technical and office protocol : Vol.1. No. 1 : Konf. MAP/TOP users group summary, Phoenix, Arizona, 13.- 14. Jan. 1987
-
Telekommunications protocols
-
Computer hardware description languages and their applications. Proc. of the IFIP WG 10.2 ninth int. symp. on ... Washington, D.C., USA, 19-21 June, 1989 /
-
LAN protocol : Handbook /
-
Security protocols : International workshop : Konf. Cambridge, UK, 10.- 12. April 1996 /
-
<The> protocol bible air force protocol and etiquette for the 21st century
-
Mathematical foundations of computer science 1977. Proc.. 6th symp. : Konf. Tatranská Lomnica, 5.- 9. Sept. 1977 /
-
Computer-Aided verification /
-
Verification and simulation tools
-
Mathematical theory of networks and systems : Konf. Proc. of the MTS-83 int. symp., Beer Sheva, Israel, 20.- 24. June 1983 /
-
Security protocols. 9th international workshop : Proceedings. Cambridge, UK. 25.- 27. Apr. 2001 /
-
Global business protocol
-
Biomembrane Protocols : I.Isolation and Analysis /
-
Diagnostika mikroprocesorů. IX : Sborník přednášek