Ditemukan 3120 dokumen yang sesuai dengan query
Gibbon, David C., author
Berlin Heidelberg: Springer, 2008
025.04 GIB i;025.04 GIB i (2)
Buku Teks Universitas Indonesia Library
New York: Springer, 1976
610.73 STA
Buku Teks Universitas Indonesia Library
Muller, Meinard, author
Denmark: Springer, 2007
025.04 MUL i
Buku Teks Universitas Indonesia Library
New York: Springer, 2008
025.19 EUR r
Buku Teks Universitas Indonesia Library
New York: Springer, 2008
025.19 EUR r
Buku Teks Universitas Indonesia Library
Berlin ; New York: Springer, 1998
388 LUN n
Buku Teks Universitas Indonesia Library
Paris: Springer, 2006
026 WEB
Buku Teks Universitas Indonesia Library
Owen, John Mackenzie, author
Dodrecht: Springer, 2007
028.7 OWE s
Buku Teks Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are...
Berlin: Springer, 2012
e20409326
eBooks Universitas Indonesia Library
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