Design and validation of computer protocols /

Design and validation of computer protocols /

Detaylı Bibliyografya
Yazar:	Holzmann, Gerard J.
Müşterek Yazar:	American Telephone and Telegraph Company
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Englewood Cliffs, N.J. : Prentice Hall, c1991.
Seri Bilgileri:	Prentice Hall software series
Konular:	Computer network protocols > Design.
Classic Catalogue:	View this record in Classic Catalogue

Benzer Materyaller

Performance of geographic routing protocol in mobile ad-hoc networks
Yazar:: Uddin, Jia, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

TCP/IP protocol suite /
Yazar:: Forouzan, Behrouz A.
Baskı/Yayın Bilgisi: (2010)

Geographic routing protocol in mobile ad-hoc networks for reliable FTP traffic communication
Yazar:: Uddin, Jia, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Telecommunications : protocols and design /
Yazar:: Spragins, John D.
Baskı/Yayın Bilgisi: (1991)

Network design and performance analysis of geographical routing protocol in mobile Ad-Hoc networks
Yazar:: Alam, Abu Hasnat Md. Riadul, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

SNMP, SNMPv2, SNMPv3, and RMON 1 and 2 /
Yazar:: Stallings, William
Baskı/Yayın Bilgisi: (1999)

The simple book : an introduction to networking management /
Yazar:: Rose, Marshall T.
Baskı/Yayın Bilgisi: (1996)

Using and managing PPP /
Yazar:: Sun, Andrew
Baskı/Yayın Bilgisi: (1999)

Essential SNMP /
Yazar:: Mauro, Douglas R.
Baskı/Yayın Bilgisi: (2005)

SAMS teach yourself TCP/IP network administration in 21 days /
Yazar:: Komar, Brian
Baskı/Yayın Bilgisi: (1998)

TCP/IP illustrated /
Yazar:: Stevens, W. Richard
Baskı/Yayın Bilgisi: (2000)

A comprehensive study and performance based evaluation on routing protocols of WiMAX
Yazar:: Shabnam, Farzana, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Protocols for gynecologic and obstetric health care /
Baskı/Yayın Bilgisi: (1988)

Dynamic authentication protocols for advanced security in federated metaverse systems
Yazar:: Hasan, Md Fuad, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Regulation of genetically modified organisms in India and the influence of Cartagena protocol on its biosafety framework
Yazar:: Kafi, Maher Jibran
Baskı/Yayın Bilgisi: (2022)

Establishment of tissue culture protocol of two Bangladeshi sunflower varieties (Helianthus annuus L.)
Yazar:: Obaid, Nadia Binte
Baskı/Yayın Bilgisi: (2018)

Climate change adaptation policies in Bangladesh: gap analysis through a gender lens
Yazar:: Sharif, Ibrat, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Pervasive computing : technology and architecture of mobile Internet applications /
Baskı/Yayın Bilgisi: (2002)

Transgenic tomato (Solanum lycopersicum Mill.) regeneration by comparing different transformation techniques
Yazar:: Datta, Anamika
Baskı/Yayın Bilgisi: (2015)

Data communications, computer networks, and open systems /
Yazar:: Halsall, Fred
Baskı/Yayın Bilgisi: (1996)

Internetworking with TCP/IP : principles, protocol, and architecture /
Yazar:: Comer, Douglas E.
Baskı/Yayın Bilgisi: (2013)

Implementation Plan in Response to the Executive Board-Endorsed Recommendations for the IEO Evaluation Report : The IMF and the Crises in Greece, Ireland, and Portugal.
Baskı/Yayın Bilgisi: (2017)

Internetworking with TCP/IP /
Yazar:: Comer, Douglas
Baskı/Yayın Bilgisi: (1995)

Internetworking with TCP/IP /
Yazar:: Comer, Douglas
Baskı/Yayın Bilgisi: (2000)

The SNP CYP2C19*2 (rs4244285) genotyping using tetra primer arms PCR method
Yazar:: Rupoma, Afia Adiba
Baskı/Yayın Bilgisi: (2021)

The world of scripting languages /
Yazar:: Barron, D. W. (David William), 1935-
Baskı/Yayın Bilgisi: (2000)

JXTA : Java P2P programming /
Baskı/Yayın Bilgisi: (2002)

A machine learning based approach for DDos attack detection
Yazar:: Tahrim, Tasmiah, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Computer Protocols

Computer Protocols

Computer networking with Internet protocols and technology /
Yazar:: Stallings, William
Baskı/Yayın Bilgisi: (2004)

IPv6 network programming /
Yazar:: Hagino, Jun-ichiro itojun
Baskı/Yayın Bilgisi: (2005)

JXTA in a nutshell : a desktop quick reference /
Yazar:: Oaks, Scott
Baskı/Yayın Bilgisi: (2002)

Verification and Validation in Scientific Computing
Yazar:: William L. Oberkampf, Christopher J. Roy
Baskı/Yayın Bilgisi: (2013)

A distanced machinery controlling and monitoring guardian
Yazar:: Sakib, Shadman, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Internetworking with TCP/IP Vol II : design, implementation, and internals /
Yazar:: Comer, Douglas E.
Baskı/Yayın Bilgisi: (2015)

Advances in System Testing and Validation Lifecycle, VALID, International Conference on

Tuning the TCP congestion control parameters to optimize client-server systems
Yazar:: Uddin, Jia, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Computer systems design and architecture /
Yazar:: Heuring, Vincent P.
Baskı/Yayın Bilgisi: (2008)

Accelerating a Bellman-Ford routing algorithm using GPU
Yazar:: Jeong, In-Kyu, ve diğerleri
Baskı/Yayın Bilgisi: (2016)