Sebanyak 5 item atau buku ditemukan

Operations Research

He will submit his P.hd research work in Finance within a short while. His
research interests include financial performance analysis, security analysis,
examination of stock seasonality, stock options and random walk, management
games, and ...

Kota Kaum Cadar

Di sebuah pantai di Jeddah, Arab Saudi, seorang wanita ditemukan tak bernyawa dengan tubuh penuh luka. Di saat yang sama, Detektif Osama tengah menyelidiki pembunuhan misterius lainnya. Katya Hijazi, petugas laboratorium, segera tahu bahwa wanita naas itu adalah Laila Nawar, pembuat film yang banyak mengangkat tema kemunafikan agama dan seksualitas. Dibantu temannya, Nayir Syarqi, Katya bertekad mengungkap misteri kematian Laila. Sementara itu, Miriam Walker berjuang mengusir rasa khawatir kala suaminya, Eric, tiba-tiba menghilang. Sebagai ekspatriat Amerika di Jeddah, berurusan dengan polisi sungguh tak nyaman. Tetapi, ketika Nayir dan Katya menanyakan ihwal hubungan suaminya dengan Laila, ia sadar bahwa suaminya mungkin terlibat kejahatan. Berusaha menemukan dan membuktikan suaminya tak bersalah, Miriam membawa dirinya ke jalur berbahaya. Kota Kaum Cadar adalah novel detektif yang mengungkap kasus misterius di sebuah kota di mana selubung kepala kaum konservatif menjadikan para wanita tak tampak identitasnya. Dengan plot ciamik yang sarat misteri dan ketegangan, Zoë Ferraris menjelajahi kompleksitas dan kontradiksi kehidupan di Jeddah—kota yang terjebak di antara perannya sebagai gerbang suci menuju Mekkah dan sebagai kota kosmopolitan yang kian liberal.

Kaum laki-laki mencintai Arab Saudi sebesar kebencian istri-istri mereka kepada
tempat itu. “Kalau Anda benar-benar ingin mengikat hati suami Anda,” Mabus
meneruskan, “maka ingatkan dia bahwa orang Saudi yang religius percaya akan
'kewajiban menjauhkan diri' dari kaum kafir. Ini berarti mereka punya kewajiban
menjauh dari Anda. Mereka yakin bahwa berhubungan dengan kaum kafir—
yaitu kalian—sesungguhnya menjauhkan seseorang dari ranah agama. Mungkin
saja ...

Logic and Theory of Algorithms

4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.

We study the satisfiability problem for LTLACK and related decidability problem.
The key result is an algorithm which recognizes theorems of LTLACK (so we
show that LTLACK is decidable), which, as a consequence, also solves the
satisfiability problem. Technique is based on verification of validity for special
normal reduced forms of rules in models of double exponential in the size of rules
. Keywords: linear temporal logic, multi-agent logics,hybrid logics, re- lational
Kripke-Hintikka ...

La Tahzan

Jangan Bersedih!

Sebagai salah satu buku kategori pencerahan hati (an-nafsu al muthma`innah), Lâ Tahzan menawarkan terapi yang lebih dekat dengan al-Qur`an dan Sunah, ketimbang renungan-renungan reflektif semata. Lâ Tahzan menjadi buku terlaris di Timur Tengah karena sejak cetakan pertamanya (th 2001), buku ini telah terjual lebih dari 1 juta eksemplar. Buku ini telah melambungkan nama penulisnya, Dr. `Aidh al-Qarni, seorang doktor dalam bidang hadis yang hafiz Qur`an, ribuan hadis, dan juga ribuan bait syair Arab kuno hingga modern. Dalam usianya yang masih sangat muda, ia telah menjadi penulis paling produktif di Saudi Arabia saat ini. Di Indonesia, buku yang Anda pegang ini mendapat sambutan luar biasa dan telah terjual puluhan ribu eksemplar.

Perpustakaan Nasional RI: Katalog Dalam Terbitan (KDT) Al-Qarni, 'Aidh La
Tahzan, jangan bersedih / 'Aidh al-Qarni; penerjemah, Samson Rahman;
penyunting, Syamsuddin TU dan Anis Maftukhin. --Jakarta: Qisthi Press, 2004.
xxviii + 568 ...