Bringing JD Lee might be helpful. You could carry it along. As for HC Verma, it might not come in too handy in your courses at IIT.
You will just have one introductory course from your department in your first year : Engineering Mechanics, for Mech and Civil freshers. You will study basics about FBDs, Trusses, Vibrations in the course. More or less a revision of the JEE concepts from Mechanics.
Similarly, every department at IIT Bombay will run an introductory course for freshmen to give them a flavour of their department subjects.