Search ResultsElektronik Kaynaklar
by
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
Format:
by
IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 12th (1992nd : Lake Buena Vista, Florida)
ScienceDirect https://www.sciencedirect.com/science/book/9780444898746
Format:
by
International Symposium on Information Technology Standardization (1989 : Braunschweig, Germany)
ScienceDirect http://www.sciencedirect.com/science/book/9780444873903
Format:
by
Ullrich, Christian, editor.
ScienceDirect https://www.sciencedirect.com/science/book/9780127082455
Format:
by
Munasinghe, Mohan, 1945-
ScienceDirect http://www.sciencedirect.com/science/book/9780408036214
Format:
Eylem Seç