lecture notes in computer science abbreviation