Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
Practical Aspects of Declarative Languages
First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings »
First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings »
Automated Deduction - Cade-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings »
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings »
Mathematics Of Program Construction
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 Proceedings »
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 Proceedings »
Intelligence in Services and Networks
5th International Conference on Intelligence in Services and Networks, Is&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings »
5th International Conference on Intelligence in Services and Networks, Is&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings »
Computer Security - Esorics 98
5th European Symposium on Research in Computer Security, Louvain-La-Neuve, Belgium, September 16-18, 1998, Proceedings »
5th European Symposium on Research in Computer Security, Louvain-La-Neuve, Belgium, September 16-18, 1998, Proceedings »
