Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 21234 dokumen yang sesuai dengan query
cover
Maria Bielikova, editor
"This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named, foundations of computer science, software and Web engineering, cryptography, security, and verification, and artificial intelligence."
Berlin: [, Springer-Verlag], 2012
e20409086
eBooks  Universitas Indonesia Library
cover
"This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence."
Berlin: Springer-Verlag, 2012
e20410051
eBooks  Universitas Indonesia Library
cover
Sabarti Akhadiah
Jakarta: Erlangga, 1999
499.221 1 SAB p
Buku Teks SO  Universitas Indonesia Library
cover
Goeswono Soepardi
Bogor : Pustaka, Institut Pertanian Bogor , 1981
808.02 GOE p
Buku Teks SO  Universitas Indonesia Library
cover
Musgrave, James Ray
Boston: AP Professional, 1996
070.5 MUS d
Buku Teks SO  Universitas Indonesia Library
cover
S. Tartono
Yogyakarta: Yayasan Pustaka Nusantara, 2006
808.066 TAR m
Buku Teks SO  Universitas Indonesia Library
cover
Komaruddin
Jakarta: Bumi Aksara, 2000
R 808.066 KOM k
Buku Referensi  Universitas Indonesia Library
cover
Jakarta: Pusat Penerbitan Departemen Ilmu Penyakit Dalam , 2007
808 TEK
Buku Teks SO  Universitas Indonesia Library
cover
Soetandyo Wignjosoebroto
Malang: Madani, 2017
808.066 SOE p
Buku Teks SO  Universitas Indonesia Library
cover
M. Hariwijaya
Jakarta: Zenith Publisher, 2004
411 HAR t
Buku Teks SO  Universitas Indonesia Library