Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings /

Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI, Idyllwild, California, U.S.A., 17-20 May 1982 /
Published: (1982)

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985 /
Published: (1986)

Protocol specification, testing and verification XIV /
Published: (1995)

Verification of communication protocols in web services : model-checking service compositions /
by: Tari, Zahir
Published: (2014)

Teach yourself TCP/IP in 14 days /
by: Parker, Tim, 1958-
Published: (1996)

Communication protocol specification and verification /
by: Lai, Richard, Ph. D.
Published: (1998)

Practical guide to terminal systems /
by: Makemson, C.
Published: (1993)

Technical guide to terminal systems /
by: Makemson, C.
Published: (1993)

Protocol test systems : proceedings of the IFIP TC6 Second International Workshop on Protocol Test Systems, organized by GMD-FOKUS and IBM-ENC, Berlin, F.R.G., 3-6 October 1989 /
Published: (1990)

Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993 /
Published: (1994)

WAP : a beginner's guide /
by: Bulbrook, Dale
Published: (2001)

Protocols for high-speed networks VI : IFIP TC6 WG6.1 & WG6.4/IEEE ComSoc TC on Gigabit Networking Sixth International Workshop on Protocols for High Speed Networks (PfHSN'99) August 25-27, 1999, Salem, Massachusetts, USA /
Published: (2000)

SNMP, SNMPv2, and RMON : practical network management /
by: Stallings, William
Published: (1996)

LAN management with SNMP and RMON /
by: Held, Gilbert, 1943-
Published: (1996)

SNMP, SNMPv2, SNMPv3, and RMON 1 and 2 /
by: Stallings, William
Published: (1999)

Big book of Internet file transfer RFCs /
by: Loshin, Peter
Published: (2000)

PPP and L2TP : remote access communications /
by: Black, Uyless D.
Published: (2000)

Design and validation of computer protocols /
by: Holzmann, Gerard J.
Published: (1991)

Using and managing PPP /
by: Sun, Andrew
Published: (1999)

Protocols for high speed networks IV /
Published: (1995)

EIGRP network design solutions.
by: Pepelnjak, Ivan
Published: (2000)

Networking personal computers with TCP/IP /
by: Hunt, Craig
Published: (1995)

Open systems interconnection : upper layer standards and practices /
by: Hebrawi, Baha
Published: (1993)

The essential guide to TCP/IP commands /
by: Arick, Martin
Published: (1996)

IS-IS : deployment in IP networks /
by: White, Russ
Published: (2003)

TCP/IP network administration /
by: Hunt, Craig
Published: (1993)

TCP/IP and related protocols /
by: Black, Uyless D.
Published: (1995)

TCP/IP and related protocols /
by: Black, Uyless D.
Published: (1998)

The ABCs of LDAP : how to install, run, and administer LDAP services /
by: Voglmaier, Reinhard E.
Published: (2004)

Open systems interconnection : its architecture and protocols /
by: Jain, Bijendra N.
Published: (1990)

Total SNMP : exploring the Simple Network Management Protocol /
by: Harnedy, Sean J., 1955-
Published: (1998)

SNMP network management /
by: Simoneau, Paul
Published: (1999)

SNMP application developer's guide /
by: Townsend, Robert L.
Published: (1995)

A practical guide to SNMPv3 and network management /
by: Zeltserman, Dave
Published: (1999)

How to manage your network using SNMP : the networking management practicum /
by: Rose, Marshall T.
Published: (1995)

SNMP versions 1 & 2 : Simple Network Management Protocol theory and practice /
by: Hein, Mathias
Published: (1995)