Subject(s): B method (Computer science)
Subject: This book provides an introduction to the B-Method, a formal approach to the specification and development of computer software systems. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code
Subject(s): Parti Islam SeMalaysia | Political parties -- History -- 20th century. -- Malaysia | Islam and state -- History -- 20th century. -- Malaysia
Summary: al-Hizb al-Islami al-Malizi; political parties; Malaysia; politics and government; 20th century; history.
Holdings:
,Book - General,Gombak Campus Library,General Collectio
Subject(s): Abu Tammam Habib ibn Aws al-Tai, fl. 808-842 | Buhturi, al-Walid ibn 'Ubayd, ca. 821-897 or 8 | Arabic language -- Versification | Arabic poetry -- History and criticism
Summary: Arabic poetry; history and criticism; comparison between Abu Tammam and al-Buhturi; Arabic language; metrics and rhythmics.
Holdings:
,Boo
Subject(s): Eichmann, Adolf, 1906-1962 -- Trials, litigation, etc Juvenile literature | Eichmann, Adolf, 1906-1962 -- Trials, litigation, etc | War crime trials -- Juvenile literature -- Jerusalem | Holocaust, Jewish (1939-1945) -- Juvenile literature
Summary: Chronicles the trial of the Nazi war criminal, which became a reminder to the world o
Subject(s): Drew, Nancy (Fictitious character) -- Fiction | Detective and mystery stories, American
Summary: Nancy Drew's latest involvement in a mystery begins in her home town and concerns a synthetic sapphire with a spider embedded in it, and the strange disappearance of Ned Nickerson.
Holdings:
,Book - General,Gombak Campus
Subject(s): Drew, Nancy (Fictitious character) -- Fiction | Detective and mystery stories, American
Summary: A search for stolen jewelry takes Nancy to New Orleans where she uncovers a swindling racket in which a medium uses her trade to relieve victims of their valuables.
Holdings:
,Book - General,Gombak Campus Library,General Col
Subject(s): Building -- Superintendence | Production scheduling
Subject: This book is a form of daily diary for documenting daily construction project. It provides daily log from 1st January till 31st December for a contractor to include vital information on the daily operation of a project.
Holdings:
,Book - General,Gombak Campus
