Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 14 from your keywords: subject="ALGORITMA"
First Page Previous 1 2
cover
Reasoning about knowledge
Comment Share
Fagin, RonaldHalpern, Joseph YitzhakMoses, YoramVardi, Moshe

Penalaran tentang pengetahuan--khususnya pengetahuan agen yang bernalar tentang dunia dan pengetahuan satu sama lain--dulunya hanya dilakukan oleh para filsuf dan pemecah teka-teki. Baru-baru ini, jenis penalaran ini terbukti memainkan peran penting dalam sejumlah konteks yang mengejutkan, mulai dari memahami percakapan hingga analisis algoritma komputer terdistribusi. Penalaran Tentang Pengeta…

Edition
-
ISBN/ISSN
9780262256094
Collation
1 online resource (xiii, 517 pages) :
Series Title
-
Call Number
005.1 FAG r
cover
Proceedings of the 3rd International Conference on Intelligent Technologies a…
Comment Share
Juang, Jengnan

Mengeksplorasi teknologi yang muncul dan penerapannya dalam berbagai disiplin ilmu teknik. Meneliti teknologi serat optik dan laser. Meliputi sistem biomedis, kelistrikan, industri, dan mekanik. Membahas sistem dan aplikasi multimedia, visi komputer, dan pemrosesan sinyal gambar & video --> Konferensi Internasional tentang Teknologi Cerdas dan Sistem Rekayasa (ICITES 2014) yang diadakan di Inte…

Edition
345
ISBN/ISSN
978-3-319-17314-6
Collation
-
Series Title
Teknik Elektro
Call Number
006.31 JUA i
cover
Practical Approaches to Causal Relationship Exploration
Comment Share
Liu, LinDuy, Thuc

Penemuan kausal bertujuan untuk menemukan hubungan sebab-akibat antar variabel. Hubungan tersebut memberikan penjelasan tentang bagaimana peristiwa telah terjadi dan prediksi peristiwa mana yang akan terjadi di masa depan. Kausalitas telah dipelajari dan digunakan di hampir semua disiplin ilmu, misalnya kedokteran, epidemiologi, biologi, ekonomi, fisika, ilmu sosial, sebagai dasar penjelasan, p…

Edition
-
ISBN/ISSN
978-3-319-14433-7
Collation
-
Series Title
SpringerBriefs in Electrical and Computer Engineering
Call Number
006.31 LIU p
cover
Petri Net Synthesis
Comment Share
Badouel, EricBernardinello, LucaDarondeau, Philippe

Jaring petri adalah model sistem konkuren yang mapan, dengan teori yang kaya dan kuat, namun masih terus berkembang. Jaring petri digunakan secara intensif dalam desain, verifikasi, analisis, dan pembuatan prototipe sistem perangkat lunak, sistem kontrol, dan sistem perangkat keras. Dialek atau perluasan jaring Petri yang berbeda berfungsi di berbagai bidang, mis. jaring Petri yang aman untuk d…

Edition
-
ISBN/ISSN
978-3-662-47967-4
Collation
-
Series Title
Texts in Theoretical Computer Science. An EATCS Series (TTCS)
Call Number
006.31 BAD p c.1
First Page Previous 1 2