Ditemukan 1753 dokumen yang sesuai dengan query
Johan Jeuring, editor
Intelligent computer mathematics : 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012, proceedings
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM...
Berlin : [Springer-Verlag, ], 2012
e20410417
eBooks Universitas Indonesia Library
Kamath, Chandrika, author
Technological advances are enabling scientists to collect vast amounts of data in fields such as medicine, remote sensing, astronomy, and high-energy physics. These data arise not only from experiments and observations, but also from computer simulations of complex phenomena. They are often complex, with both spatial and temporal components. As...
Philadelphia: Society for Industrial and Applied Mathematics, 2009
e20450993
eBooks Universitas Indonesia Library
Venturi, Daniele, author
Tuttavia, l’analisi di sicurezza di questi schemi crittografici (fino ai primi anni ‘80) era soprattutto guidata dall’intuito e dall’esperienza. Nuovi schemi venivano ideati e, dopo qualche tempo, inevitabilmente, un nuovo attacco alla sicurezza veniva scoperto. Il paradigma della “sicurezza dimostrabile” ha trasformato la crittografia da arte a scienza, introducendo un...
Milan: [Springer-Verlag, ], 2012
e20410660
eBooks Universitas Indonesia Library
Machi, Antonio, author
This book deals with several topics in algebra useful for computer science applications and the symbolic treatment of algebraic problems, pointing out and discussing their algorithmic nature. The topics covered range from classical results such as the euclidean algorithm, the Chinese remainder theorem, and polynomial interpolation, to p-adic expansions of...
Milan: Springer-Verlag , 2012
e20418949
eBooks Universitas Indonesia Library
Young-Joo, Ahn, author
Buku komik ini bercerita ttg rumpun ilmiah yaitu energi/tenaga ut listrik, penerangan, komputer, telepon, gas, pelayanan air dll. Bahan bakar fosil dipakai ut membuat barang-barang kebutuhan plastik. Maka anak-anak akan mengetahui akan manfaat, setelah membaca buku ini anak-anak kita menjadi kaya akan ilmu pengetahuan. Apakah energi itu? Dari mana sumber...
Jakarta: Alex Media Komputindo, 2012
741.5 AHN et
Buku Teks Universitas Indonesia Library
Jong, Joonkyu
Buku koik ini bercerita ttg Pasifik kumpulan air terbesar di dunia. Ada sekitar 25.000 kepulauan di samudra Pasifik, yang mayoritas terletak di selatan khatulistiwa. Pasifik merupakan samudra terluas di dunia, di mana dasar samudranya merupakan pusat gempa bagi Jepang dan pantai barat benua Amerika. Do samudra Pasifik banyak terdapat gunung-gunung...
Jakarta: Elex Media Komputindo, 2013
741.5 JON et
Buku Teks Universitas Indonesia Library
Park, Jong-sung
Buku komik ini beribacara ttg peradaban kuno Why? Social Science, menjelaskan dengan ringkas mengenai peradaban dan sosial sesuai dengan tingkat kemampuan anak-anak untuk meningkatkan ilmu pengetahuan, bidang-bidang antropologi, ekonomi, filsafat, sastra, budaya dll...
Jakarta: Gramedia, 2013
741.5 PAR wt
Buku Teks Universitas Indonesia Library
Youngsun, Jo
Buku komik ini bercerita ttg energi musik, termasuk alat musik, kecepatan musik, sejarah musik not balok sebagai bentuk bunyi dll. Dengan melalui buku Why Musik ini anak-anak bisa mengetahui menu pengetahuan menjadi generasi muda abad ke-21 yang berwawasan luas ttg musik...
Jakarta: Gramedia, 2013
741.5 YOU wt
Buku Teks Universitas Indonesia Library
Buku komik ini menggambarkan ttg cayaha, apa jadinya dunia ini kalau tidak ada cahaya? Cayaha sangat diperlukan dalam kehidupan manusia. Energi matahari diharapkan kelak menjadi sumber energi utama di bumi dan menjadi daya penggerak yang mampu menggerakkan manusia di masa depan...
Jakarta: Elex Media Komputindo, 2013
741.5 KOM
Buku Teks Universitas Indonesia Library
Comic survival science series 24 ini menceritakan ttg science pemanasan global cuaca atau perubahan iklim, lalu hal apa yang bisa kita lakukan untuk menjaga Bumi...
Jakarta: Alex Media Komputindo, 2012
741.5 MEN
Buku Teks Universitas Indonesia Library
