Ditemukan 3080 dokumen yang sesuai dengan query
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : Springer, 2012
e20410564
eBooks Universitas Indonesia Library
New York: Springer, 2007
069.5 PEA
Buku Teks Universitas Indonesia Library
Cham: Springer, 2017
004 INF
Buku Teks Universitas Indonesia Library
Fensel, Dieter, author
New York: Springer, 2008
004.6 FEN i
Buku Teks Universitas Indonesia Library
Control and optimization methods for electric smart grids brings together leading experts in power, control and communication systems, and consolidates some of the most promising recent research in smart grid modeling, control and optimization in hopes of laying the foundation for future advances in this critical field of study. The...
New York: Springer, 2012
e20418402
eBooks Universitas Indonesia Library
This book will examine current issues and controversies in the design of clinical trials, including topics in adaptive and sequential designs, the design of correlative genomic studies, the design of studies in which missing data is anticipated. Each chapter will be written by an expert conducting research in the...
New York: Springer, 2012
e20417633
eBooks Universitas Indonesia Library
Harahap, Yulia Nurliani, author
720.959 86 YUL e
Koleksi Publik Universitas Indonesia Library
Borghoff, Uwe M., author
Berkeley: Springer, 2003
070.579 7 BOR l
Buku Teks Universitas Indonesia Library
Cimiano, Philipp, author
New York: Springer, 2006
006.331 CIM o
Buku Teks Universitas Indonesia Library
Berlin: Springer, 2008
025.524 INF
Buku Teks Universitas Indonesia Library