Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 26201 dokumen yang sesuai dengan query
cover
Depok: Faculty of Computer Science Universitas Indonesia, 2010
004 PRO
Buku Teks SO  Universitas Indonesia Library
cover
Ari Wibisono
"Molecular dynamic simulation is one field of science that uses computer as a resource for computational methods to calculate the number of forces acting within a molecular system and analyzing its movement. This simulation is useful for the discovery of drug compounds from an illness. This study uses Gromacs as molecular dynamics application which is running on cluster computing environment. A significant speed up is obtained during the experiments. "
ICACSIS, 2010
MK-Pdf
UI - Makalah dan Kertas Kerja  Universitas Indonesia Library
cover
cover
"This book constitutes the refereed proceedings of the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012. The 42 revised full papers, 2 full-length invited papers and 4 short tutorial papers, were carefully reviewed and selected from 297 submissions. The contributions have been grouped into the following topical sections, business process model analysis, service and component composition, language and models, system variants and configuration, process mining, ontologies, requirements and goal models, compliance, monitoring and prediction, services, case studies, business process design, feature models and product lines, and human factors."
Berlin: Springer-Verlag , 2012
e20406309
eBooks  Universitas Indonesia Library
cover
"The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore, India, in January 2012. The 55 revised full papers presented in this volume were carefully reviewed andselected from numerous submissions. The papers are organized in topical sectionson advances in computer science and information technology; and ad hoc andubiquitous computing.
"
Berlin: Springer-Verlag, 2012
e20406328
eBooks  Universitas Indonesia Library
cover
"The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore, India, in January 2012. The 55 revised full papers presented in this volume were carefully reviewed andselected from numerous submissions. The papers are organized in topical sectionson advances in computer science and information technology, and ad hoc andubiquitous computing."
Heidelberg: Springer, 2012
e20410514
eBooks  Universitas Indonesia Library
cover
"This book constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012. The 35 revised full papers presented together with 2 keynote talks were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections on security, access control and intrusion detection, pattern recognition and image processing, biometric applications, algorithms and data management, networking, and system models and risk assessment."
Heidelberg: Springer-Verlag, 2012
e20409985
eBooks  Universitas Indonesia Library
cover
"The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore, India, in January 2012. The 70 revised full papers presented in this volume were carefullyreviewed and selected from numerous submissions and address all major fields ofthe Computer Science and Information Technology in theoretical, methodological,and practical or applicative aspects. The papers feature cutting-edge developmentand current research in computer science and engineering.
"
Berlin: Springer-Verlag, 2012
e20406326
eBooks  Universitas Indonesia Library
cover
"This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations."
Berlin: Springer-Verlag, 2012
e20409380
eBooks  Universitas Indonesia Library
cover
"The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore, India, in January 2012. The 70 revised full papers presented in this volume were carefullyreviewed and selected from numerous submissions and address all major fields ofthe Computer Science and Information Technology in theoretical, methodological,and practical or applicative aspects. The papers feature cutting-edge developmentand current research in computer science and engineering.
"
Berlin: Springer-Verlag, 2012
e20406325
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>