Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Lawrence C. Paulson (auth.)

Books by author

Lawrence C. Paulson (auth.)

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2013 · ENGLISH · PDF

View details →

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

2009 · ENGLISH · PDF

View details →

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

1999 · ENGLISH · PDF

View details →

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2013 · ENGLISH · PDF

View details →

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

2009 · ENGLISH · PDF

View details →

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings

1999 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme