Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
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 »
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 »
