Literature for Data Networks

• Core Lecture Data Networks
  
  


• Bertsekas, Dimitri and Gallager, Robert
  Data Networks; second edition
  Prentice Hall 1992
  BER d 1992:1 1.Ex
  


• Comer, Douglas E.
  Internetworking with TCPIP Vol I: Principles, Protocols and Architecture. 2nd ed.
  Prentice Hall 1991
  COM d 1991:1 1.Ex
  


• Comer, Douglas E.
  Internetworking With TCP/IP; Volume II: Design, Implementation, and Internals, Third Edition
  Prentice Hall 1995
  COM d 1995:1 1.Ex
  


• Comer, Douglas E.
  Internetworking with TCP/IP, Vol III: Client-Server Programming and Applications, BSD Socket Version, Second Edition
  Prentice Hall 1996
  COM d 1996:1 1.Ex
  


• Davie, Bruce and Doolan, Paul and Rekhter, Yakov
  Switching in IP Networks: IP Switching, Tag Switching and Related Technologies
  Morgan Kaufmann 1998
  DAV b3 1998:1 1.Ex
  


• Holzmann, Gerard J.
  Design and validation of computer protocols
  Prentice Hall 1991
  HOL g 1991:1 1.Ex
  


• Holzmann, Gerard J.
  The SPIN model checker: Primer and reference manual
  Addison Wesley 2004
  HOL g 2003:1 1.Ex
  


• Keshav, Srinivasan
  An Engineering Approach to Computer Networking: ATM Networks, the Internet, and the Telephone Network
  Addison-Wesley 1997
  KES s 1997:1 1.Ex
  


• Krishnamurty, Balachander and Rexford, Jennifer
  Web Protocols and Practice: HTTP/1.1, Networking Protocols, Caching and Traffic Measurement
  Addison-Wesley 2001
  KRI b 2001:1 1.Ex
  


• Kurose, James F. and Rose, Keith, W.
  Computer Networking: A top down approach featuring the Internet
  Addison-Wesley 2005
  KUR j 2010:1 1.Ex
  


• Magee, Jeff and Kramer, Jeff
  Concurrenc
  Wiley 2007
  MAG j 2007:1 1.Ex
  


• Moy, John T.
  OSPF: Anatomy of an Internet Routing Protocol
  Addison-Wesley 1997
  MOY j 1998:1 1.Ex
  


• Perlman, Radia
  Interconnections: Bridges, Routers and Switches
  Addison-Wesley 2000
  PER r 2000:1 1.Ex
  


• Peterson, Larry L. and Davie, Bruce S.
  Computer Networks: A Systems Approach
  Morgan Kaufmann 2007
  PET l 2007:1 1.Ex
  


• Ruys, Theo C.
  Towards Effective Model Checking
  Ponsen & Looijen 2001
  RUY th 2001:1 1.Ex
  


• Stallings, William
  High-Speed Networks: TCP/IP and ATM Design Principles
  Prentice Hall 1998
  StAL w 1998:1 1.Ex
  


• Stallings, William
  Handbook of Computer Communications Standards, Volume 1: The Open Systems Interconnection (Osi) Model and Osi-Related Standards, second edition
  1990
  StAL w 1990:4 1.Ex
  


• Stevens, Richard W.
  TCP/IP Illustrated, Volume 1: The Protocols
  Addison-Wesley 1994
  StEV w 1994:1 1.Ex
  


• Stevens, Richard W.
  TCP/IP Illustrated, Volume 2: The Implementation
  Addison-Wesley 1995
  StEV w 1995:1 1.Ex
  


• Stevens, Richard W.
  TCP/IP Illustrated, Volume 3: TCP for Transactions, HTTP, NNTP, and the UNIX Domain Protocols
  Addison-Wesley 1996
  StEV w 1996:1 1.Ex
  


• Stewart, III., John W.
  BGP4: Inter-Domain Routing in the Internet
  Addison-Wesley 1999
  StEW j 1999:1 1.Ex
  


• Tanenbaum, Andrew S.
  Computer Networks; 3rd edition
  Prentice Hall 1996
  TAN a 1996:1 1.Ex