Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Tag / Computing Methodologies; Processor Architectures;

Books with this tag

Computing Methodologies; Processor Architectures;

Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford

Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford

1991 · ENGLISH · PDF

View details →

Parallele Datenverarbeitung mit dem Transputer: 2. Transputer-Anwender-Treffen, TAT ’90, Aachen, 17./18. September 1990 Proceedings

Parallele Datenverarbeitung mit dem Transputer: 2. Transputer-Anwender-Treffen, TAT ’90, Aachen, 17./18. September 1990 Proceedings

1991 · GERMAN · PDF

View details →

Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea

Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea

2002 · ENGLISH · PDF

View details →

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

2000 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme