Ditemukan 39 dokumen yang sesuai dengan query
Carroll, John, author
Englewood Cliffs, NJ: Prentice-Hall, 1989
511.3 CAR t
Buku Teks Universitas Indonesia Library
Kurmit, Avgust Avgustovich, author
New York : John Wiley & Sons, [Date of publication not identified]
629.891 KUR i
Buku Teks Universitas Indonesia Library
Savage, John E., author
New York: John Wiley & Sons, 1976
004.66 SAV c
Buku Teks Universitas Indonesia Library
Washington D.C.: Thomson Book Company, 1967
001.53 AUT
Buku Teks Universitas Indonesia Library
Lallement, Gerard, author
New York: John Wiley & Sons, 1979
512.2 LAL s
Buku Teks Universitas Indonesia Library
This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various...
Singapore: Springer Nature, 2019
e20509422
eBooks Universitas Indonesia Library
Martin, John C., author
New York : McGraw-HIll, 1991
511.3 MAR i (1)
Buku Teks Universitas Indonesia Library
Kohavi, Zvi, author
New Delhi: Tata McGraw-Hill, 1982
511.35 KOH a
Buku Teks Universitas Indonesia Library
Kohavi, Zvi, author
New York : McGraw-Hill, 1978
629.89 KOH s
Buku Teks Universitas Indonesia Library
This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers...
Berlin: Springer-Verlag, 2012
e20410204
eBooks Universitas Indonesia Library