إِبْرَاهِيمُ — إِبْرَاهِيمَ — بِإِبْرَاهِيمَ
This is a diptote: no tanwīn, and normally fatḥa in the genitive.
نُوحٌ — نُوحًا — بِنُوحٍ
This is fully declinable by the book’s rule: tanwīn occurs, and the genitive is marked with kasra.
Both are foreign proper names, but the length and middle-letter conditions distinguish them.