Introduction to the theory of programming languages

Au coeur de Java 2

volume 1, [Notions fondamentales]

Interconnections

bridges, routers, switches, and internetworking protocols

Internetworking with TCP/IP.

Vol. II, Design, implementation, and internals

Logics and languages for reliability and security