Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / John Hatcliff

Books by author

John Hatcliff

Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998

Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998

1999 · ENGLISH · PDF

View details →

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2010 · ENGLISH · PDF

View details →

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2010 · ENGLISH · PDF

View details →

Static Analysis: 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

Static Analysis: 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

1999 · ENGLISH · PDF

View details →

Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998

Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998

1999 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme