Ditemukan 169 dokumen yang sesuai dengan query
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in...
Heidelberg : Springer, 2012
e20406835
eBooks Universitas Indonesia Library
Shooman, Martin L.
New York: McGraw-Hill, 1983
681.142 SHO s
Buku Teks 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
Jane Cleland-Huang, editor
Software and systems traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle....
London: Springer, 2012
e20407432
eBooks Universitas Indonesia Library
Langer, Arthur M., editor
This book addresses how best to make build vs. buy decisions, and what effect such decisions have on the software development life cycle (SDLC). Offering an integrated approach that includes important management and decision practices, the text explains how to create successful solutions that fit user and customer needs, by...
London: Springer, 2012
e20407438
eBooks Universitas Indonesia Library
Parsons, David, author
This book presents a guide to the core features of Java and some more recent innovations, enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points...
London: Springer, 2012
e20407553
eBooks Universitas Indonesia Library
Edmund Clarke, editor
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions....
Berlin: [Springer-Verlag, ], 2012
e20409852
eBooks Universitas Indonesia Library
Dimitra Giannakopoulou, editor
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several...
Berlin: [Springer-Verlag, ], 2012
e20410026
eBooks Universitas Indonesia Library
Marco Brambilla, editor
This book constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. The 20 revised full papers and 15 short papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on social networks...
Berlin: [Springer-Verlag, ], 2012
e20410176
eBooks Universitas Indonesia Library
