2012

2012

 

Recent Submissions

  • Kusliansjah, Karyadi; Tjong, Lidya Fransisca; Suriansyah, Yasmin; Kedmon, Elfan (Universitas Katolik Parahyangan, 2012)
    Bencana banjir mengakibatkan kerugian masyarakat tepian sungai rawan banjir. Aktivitas pemanasan bumi dan gempa bumi tektonik menjadi ancaman dunia meningkatkan banjir di pesisir dan tepian sungai. Indonesia negara kepulauan ...
  • Reksodiputro, Mardjono; Thantawi, T. Rifqi; Wibowo, Totok Suryawan; Sujono, Sulaiman; Moeliono, Tristam Pascal; Martedjo, Wagiman; Mustofa, Imam; Harahap, Farah; Salimudin, Triono; Syam, Fajar; Susilo, Wawang (Komisi Hukum Nasional Republik Indonesia, 2012)
  • Adithia, Mariskha Tri (Jurusan Informatika Fakultas Teknologi Informasi dan Sains Universitas Katolik Parahyangan, 2012)
    This paper discusses the BAN logic and the GNY logic whlch is an improvement of the first one. These two logics are applied to explain protocols step by step, with all initial assumptions made explicit and with the final ...