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
Verification Of Sequential And Concurrent Programs
Verification of Sequential and Concurrent Programs »
Verification of Sequential and Concurrent Programs »
New Trends In Constraints
Joint ERCIM /compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers »
Joint ERCIM /compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers »
Verification Of Sequential And Concurrent Programs
Verification of Sequential and Concurrent Programs »
Verification of Sequential and Concurrent Programs »
Principles of Constraint Programming
Upper-division textbook covering foundations of constraint programming »
Upper-division textbook covering foundations of constraint programming »
