lecture notes in computer science