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 ».

Sign Up

Books

Automata, Languages And Programming
Automata, Languages And Programming
23rd International Colloquium, Icalp '96, Paderborn, Germany, July 8-12, 1996, Proceedings »
 
 
 
 
 

Concur'98
Concur'98
Concurrency Theory »
 
 
 
 
 

Automata, Languages And Programming
Automata, Languages And Programming
25th International Colloquium, Icalp 98, Aalborg, Denmark, July 13-17, 1998, Proceedings »
 
 
 
 
 

Advances In Databases
Advances In Databases
16th British National Conference on Databases, Bncod 16, Cardiff, Wales, UK, July 6-8, 1998 »
 
 
 
 
 

Temporal Databases
Temporal Databases
Research and Practice »
 
 
 
 
 

Computer Aided Verification
Computer Aided Verification
10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings »
 
 
 
 
 

Database Programming Languages
Database Programming Languages
6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 »
 
 
 
 
 

Advances in Artificial Intelligence
Advances in Artificial Intelligence
14Th Biennial Conference Of The Canadian Society For Computational Studies Of Intelligence, Ai 2001 Ottawa, Canada, June 7-9, 2001 Proceedings »
 
 
 
 
 

Advanced Information Systems Engineering
Advanced Information Systems Engineering
10th International Conference, CAISE '98, Pisa, Italy, June 8-12, 1998 Proceedings »
 
 
 
 
 

Zum'97
Zum'97
the Z Formal Specification Notation »