Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Data communications, computer networks and open systems
Data communications, computer networks and open systems
Author 
Halsall, Fred.
Preferred Shelf Number 
TK 5105 H35 1992
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Automatic verification methods for finite stste systems : International workshop, Grenoble, France, June 1989: Proceedings.
Automatic verification methods for finite stste systems : International workshop, Grenoble, France, June 1989: Proceedings.
Preferred Shelf Number 
TK 5105.5 A97 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989
Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989
Author 
IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing and Verification (9th : 1989 : Enschede, The Netherlands) Brinksma, E., ed. Scollo, G., ed. Vissers, C.A., ed.
Preferred Shelf Number 
TK 5105.5 I3426 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Data communications, computer networks and OSİ
Data communications, computer networks and OSİ
Author 
Halsall, Fred.
Preferred Shelf Number 
TK 5105 H35 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984
Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984
Author 
IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (4th : 1984 : Skytop Lodge Pa.,) Yemini, Y., ed. Strom, R. R., ed.
Preferred Shelf Number 
TK 5105.5 I342 1984
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982
Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982
Author 
IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (2nd : 1982 : Idyllwild, Calif.) Sunshine, C., ed.
Preferred Shelf Number 
TK 5105.5 I342 1982
Format: 
Availability 
Beytepe Library~1
Available:
Copies: