Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Sharad Malik (auth.)

Books by author

Sharad Malik (auth.)

Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2008 · ENGLISH · PDF

View details →

Asynchronous Circuit Design for VLSI Signal Processing

Asynchronous Circuit Design for VLSI Signal Processing

1994 · ENGLISH · PDF

View details →

Performance Analysis of Real-Time Embedded Software

Performance Analysis of Real-Time Embedded Software

1999 · ENGLISH · PDF

View details →

Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2008 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme