Bruce S. Davie
Identifiers
- Open LibraryOL217245A
Top Subjects
- Computer networks (4)
- Computer Communications & Networking (2)
- Integrated circuits -- Very large scale integration -- Computer-aided design. (1)
- Integrated circuits -- Verification. (1)
- Logic Design (1)
- Very large scale integration (1)
- Verification (1)
Books by Bruce S. Davie
Total count: 14
Formal specification and verification in VLSI designEdinburgh University Press1990-01-01
Formal Specification and Verification in VIsi Design (Edinburgh Information Tech (Edinburgh Information Technology Series, 8)Edinburgh University Press1991-05-20-
Peterson Computer Netwks Instructors Manl TXMorgan Kaufmann Publishers Inc,US1996-12-01
-
Switching in IP NetworksIP Switching, Tag Switching, and Related TechnologiesElsevier Science & Technology Books1998-01-01
-
Computer NetworksA Systems ApproachElsevier Science & Technology Books1999-01-01
-
MplsTechnology and ApplicationsElsevier Science & Technology Books2000-01-01
-
Computer Networks ISEA Systems ApproachElsevier Science & Technology Books2007-01-01
Computer Networks, Fourth EditionA Systems Approach (The Morgan Kaufmann Series in Networking)4 editionMorgan Kaufmann2007-03-08-
Computer Networks A Systems ApproachElsevier2007-11-08
-
ComputernetzeDpunkt.Verlag GmbH2007-11-25
MPLSnext stepsElsevier/Morgan Kaufmann Publishers2008-01-01-
Wireless Networking CompleteElsevier Science & Technology Books2009-01-01
-
TCP Congestion ControlA Systems ApproachSystems Approach LLC2022-01-01
Private 5GA Systems ApproachSystems Approach LLC2023-01-01