Web Services and Formal Methods

QRコード

Web Services and Formal Methods

保存先:

書誌詳細
主要な著者:	Dumas, Marlon, Heckel, Reiko
フォーマット:	図書
言語:	English
出版事項:	Springer Berlin Heidelberg 2020
主題:	Computer Science Theory of Computation Popular Computer Science
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82268
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Web Services and Formal Methods
出版事項: (2020)

Formal Methods for Web Services
出版事項: (2020)

Formal Methods for Performance Evaluation
著者:: Bernardo, Marco, 等
出版事項: (2020)

Formal Methods: Applications and Technology
著者:: Brim, Lubos, 等
出版事項: (2020)

Formal Methods: Foundations and Applications
著者:: Cavalheiro, Simone, 等
出版事項: (2020)

The Semantic Web
著者:: Kashyap, Vipul, 等
出版事項: (2020)

Integrated Formal Methods
著者:: Davies, Jim, 等
出版事項: (2020)

Integrated Formal Methods
著者:: Romijn, Judi M.T., 等
出版事項: (2020)

Semantic Web and Databases
出版事項: (2020)

Formal Methods for Industrial Critical Systems
著者:: Leue, Stefan, 等
出版事項: (2020)

Industrial Applications of Semantic Web
著者:: Terziyan, Vagan
出版事項: (2020)

The Semantic Web: Research and Applications
出版事項: (2020)

Semantic Web: Concepts, Technologies and Applications
著者:: Breitman, Karin, 等
出版事項: (2020)

Formal Methods and Stochastic Models for Performance Evaluation
著者:: Wolter, Katinka
出版事項: (2020)

Teaching Formal Methods
出版事項: (2020)

Advances in Web-Age Information Management
著者:: Fan, Wenfei, 等
出版事項: (2020)

Integrated Formal Methods
著者:: Ahrendt, Wolfgang, 等
出版事項: (2020)

Information Sharing on the Semantic Web
出版事項: (2020)

Formal Methods in Systems Biology
著者:: Fisher, Jasmin
出版事項: (2020)

Structured Object-Oriented Formal Language and Method
著者:: Liu, Shaoying, 等
出版事項: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
出版事項: (2020)

ZB 2005: Formal Specification and Development in Z and B
出版事項: (2020)

Computers and Games
著者:: Herik, H. Jaap van den, 等
出版事項: (2020)

Advances in Computer Games
著者:: Herik, H. Jaap van den, 等
出版事項: (2020)

Formal Methods for Mobile Computing
出版事項: (2020)

The Semantic Web - ISWC 2004
著者:: McIlraith, Sheila A., 等
出版事項: (2020)

On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
著者:: Tari, Zahir
出版事項: (2020)

Trust Management for Service-Oriented Environments
著者:: Malik, Zaki, 等
出版事項: (2020)

Service Availability
著者:: Malek, Miroslaw, 等
出版事項: (2020)

Service Availability
著者:: Nanya, Takashi, 等
出版事項: (2020)

LaTeX in 24 Hours. 1st ed.
著者:: Datta, Dilip
出版事項: (2020)

Formal Aspects of Component Software
著者:: Arbab, Farhad, 等
出版事項: (2020)

Resilient Networks and Services
著者:: Hausheer, David, 等
出版事項: (2020)

FM 2008: Formal Methods
著者:: Cuellar, Jorge, 等
出版事項: (2020)

Practical Internet Security
著者:: Vacca, John R.
出版事項: (2020)

Peer-to-Peer Systems and Applications
著者:: Steinmetz, Ralf, 等
出版事項: (2020)

Internet and Network Economics
著者:: Deng, Xiaotie, 等
出版事項: (2020)

Services Computing
著者:: Zhang, Liang-Jie, 等
出版事項: (2020)

Quality of Service in Heterogeneous Networks
出版事項: (2020)

Formal Foundations of Reuse and Domain Engineering
出版事項: (2020)