Ditemukan 105 dokumen yang sesuai dengan query
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in...
Berlin: Springer-Verlag, 2012
e20410262
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected...
Berlin: Springer-Verlag, 2012
e20408216
eBooks Universitas Indonesia Library
This book constitutes the proceedings of the 18th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Raesfeld, Germany, in September 2012. The 9 revised papers presented together with 12 short papers were carefully reviewed and selected from numerous submissions. They are grouped into five themes that...
Berlin: Springer-Verlag , 2012
e20406362
eBooks Universitas Indonesia Library
Singgih Santoso, author
Yogyakarta: Andi, 2003
004.0285 SAN s
Buku Teks Universitas Indonesia Library
Andersen, Virginia, author
New York: McGraw-Hill, 2003
005.756 5 AND m
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial...
Berlin: Springer-Verlag, 2012
e20409188
eBooks Universitas Indonesia Library
[This book introduces fundamentals, trends and best practices in the software industry from a threefold perspective which equally takes into account design, management, and development of software. It demonstrates how cross-functional integration can be leveraged by software companies to successfully build software for people. Professionals from business and academia give...
Berlin: [Springer, ], 2012
e20397298
eBooks Universitas Indonesia Library
This book is a compilation of some recent research findings in computer application and computational science. This book provides state-of-the-art accounts in computer control and robotics, computers in education and learning technologies, computer networks and data communications, data mining and data engineering, energy and power systems, intelligent systems and autonomous...
Heidelberg : [, Springer], 2012
e20399438
eBooks Universitas Indonesia Library
This book is a compilation of some recent research findings in computer application and computational science. This book provides state-of-the-art accounts in computer control and robotics, computers in education and learning technologies, computer networks and data communications, data mining and data engineering, energy and power systems, intelligent systems and autonomous...
Berlin: [, Springer], 2012
e20399444
eBooks Universitas Indonesia Library
Luis M. Camarinha-Matos, editor
This book constitutes the refereed proceedings of the 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, held in Bournemouth, UK, in October 2012. The 61 revised papers presented were carefully selected from numerous submissions. They provide a comprehensive overview of identified challenges and recent advances in various...
Berlin: Springer-Verlag , 2012
e204006370
eBooks Universitas Indonesia Library
