Filter by
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Ma…
Bahasa pemrograman Java menyediakan jaminan keamanan dan keselamatan seperti keamanan tipe dan arsitektur keamanannya. Hal ini membedakannya dari bahasa pemrograman utama lainnya seperti C dan C++. Dalam karya ini, kami mengembangkan model terverifikasi mesin dari Java konkuren dan model memori Java serta menyelidiki dampak konkurensi terhadap jaminan-jaminan ini. Dari model formal, kami secara…
- Edition
- -
- ISBN/ISSN
- 9783866448858
- Collation
- 1 online resource (XXI, 412 p..)
- Series Title
- -
- Call Number
- 005.131 LOC m
A Look into Myasthenia Gravis
Miastenia gravis saat ini merupakan gangguan autoimun yang dimediasi antibodi yang tidak dapat disembuhkan, ditandai dengan kelemahan otot rangka sukarela yang menyeluruh. Penyebab kelemahan ini adalah cacat pada tingkat sambungan neuromuskular, di mana antibodi autoimun memblokir reseptor yang bertanggung jawab untuk memulai kontraksi otot. Diterjemahkan secara harfiah dari akar etimologi Lati…
- Edition
- -
- ISBN/ISSN
- 9789533078212
- Collation
- 1 online resource (116 p.)
- Series Title
- -
- Call Number
- 616.744 PRU l
Beyond Empire and Nation; The Decolonization of African and Asian societies, …
The decolonization of countries in Asia and Africa is one of the momentous events in the twentieth century. But did the shift to independence indeed affect the lives of the people in such a dramatic way as the political events suggest? The authors in this volume look beyond the political interpretations of decolonization and address the issue of social and economic reorientations which were nec…
- Edition
- -
- ISBN/ISSN
- 9789004260443
- Collation
- 291
- Series Title
- -
- Call Number
- -
A Long Walk to Purgatory; The Tales of Dante & Mashudu
Perjalanan Panjang ke Purgatorium adalah sebuah drama yang menempatkan Dante dalam konteks Afrika Selatan. Drama ini bekerja dengan gagasan bahwa penyair yang telah meninggal harus membimbing penyair yang masih hidup melalui alam baka dalam perjalanan perhitungan puitis. Sekarang giliran Dante untuk membimbing seorang penyair, seperti ia pernah dibimbing oleh Virgil. Dante datang untuk menemui …
- Edition
- -
- ISBN/ISSN
- 9781776425686
- Collation
- 1 online resource (108 p.)
- Series Title
- -
- Call Number
- 823.92 MAR l
Beyond Description
Beyond Description brings anthropologists and other social scientists together to examine the problem of explanation. What is "an explanation?" What can it add? What makes it authoritative, clarifying, or misleading? Whom does it serve and how is it produced? These questions lie at the heart of recent public crises of confidence in expertise, political representation, and classic liberal vision…
- Edition
- -
- ISBN/ISSN
- 9781501771569
- Collation
- 263
- Series Title
- -
- Call Number
- -
A Long Goodbye to Bismarck?; The Politics of Welfare Reform in Continental Eu…
Buku ini menyajikan laporan ekstensif dan komparatif tentang semua reformasi kesejahteraan yang terjadi selama tiga dekade terakhir di negara-negara Eropa Kontinental. Buku ini mengungkapkan reformasi struktural penting yang tidak terduga, yang harus dipahami sebagai puncak dari lintasan reformasi yang panjang, dianalisis secara rinci dengan alat institusionalisme historis komparatif. Dengan re…
- Edition
- -
- ISBN/ISSN
- 9789048512454
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- 361.65094 PAL l
A Living Systems Theory of Vocational Behavior and Development
Teori Sistem Kehidupan tentang Perilaku dan Pengembangan Vokasional (LSVD) menjelaskan dan mengilustrasikan proses-proses di mana individu membangun pengalaman kerja, jalur vokasional, dan pola karier mereka melalui episode interaksi dengan peluang yang mereka kenali dalam konteks mereka, dan bagaimana konseling dapat memfasilitasi proses-proses tersebut. Pembaca: Peneliti Pendidikan dan mahasi…
- Edition
- -
- ISBN/ISSN
- 9789462096622
- Collation
- 1 online resource (156 p.)
- Series Title
- -
- Call Number
- 158.6 VON l
A literary mirror; Balinese reflections on modernity and identity in the twen…
Cermin sastra; Refleksi Bali tentang modernitas dan identitas pada abad ke-20 I Nyoman Darma Putra Cermin sastra adalah karya berbahasa Inggris pertama yang menganalisis secara komprehensif sastra berbahasa Indonesia dari Bali dari sudut pandang sastra dan budaya. Karya ini mencakup periode dari tahun 1920 hingga 2000. Ini adalah bidang yang sangat kaya untuk penelitian tentang cara masyarakat …
- Edition
- -
- ISBN/ISSN
- 9789004253636
- Collation
- 1 online resource (378 p.)
- Series Title
- Prosiding dari Institut Kerajaan untuk Bahasa, Geografi, dan Antropologi
- Call Number
- 899.22209 PUT l
A Linguist's Field Note
Di sekitar kata "bidang" muncul pandangan yang kontras, perdebatan, terkadang perselisihan yang tidak perlu tentang apa yang seharusnya menjadi jenis linguistik tertentu berdasarkan metodologi dan tujuannya. Namun, tampaknya lebih sah untuk mengaitkannya dengan cara menjadi seorang ahli bahasa ketika, pada saat-saat tertentu, penemuan suatu bahasa tidak dapat dipisahkan dari penemuan ruang temp…
- Edition
- -
- ISBN/ISSN
- 9791092312584
- Collation
- 1 online resource (83 p.)
- Series Title
- -
- Call Number
- 417.7 CAR l
A Life-Course Perspective on Migration and Integration
Selama empat dekade terakhir, pendekatan siklus hidup sosiologis dengan fokusnya pada interaksi struktur dan agensi sepanjang waktu, perspektif siklus hidup, telah menjadi perspektif penelitian penting dalam ilmu sosial. Namun, meskipun telah berhasil diterapkan pada hampir semua bidang penyelidikan sosial, penggunaannya jauh lebih sedikit dalam penelitian yang mempelajari populasi migran dan p…
- Edition
- -
- ISBN/ISSN
- 9789400715455
- Collation
- 1 online resource (297 p.)
- Series Title
- -
- Call Number
- 304.801 WIN l
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography