Web Services and Formal Methods

QR Kodea

Web Services and Formal Methods

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Dumas, Marlon, Heckel, Reiko
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Springer Berlin Heidelberg 2020
Gaiak:	Computer Science Theory of Computation Popular Computer Science
Sarrera elektronikoa:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82268
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Web Services and Formal Methods
Argitaratua: (2020)

Formal Methods for Web Services
Argitaratua: (2020)

Formal Methods for Performance Evaluation
nork: Bernardo, Marco, et al.
Argitaratua: (2020)

Formal Methods: Applications and Technology
nork: Brim, Lubos, et al.
Argitaratua: (2020)

Formal Methods: Foundations and Applications
nork: Cavalheiro, Simone, et al.
Argitaratua: (2020)

The Semantic Web
nork: Kashyap, Vipul, et al.
Argitaratua: (2020)

Integrated Formal Methods
nork: Davies, Jim, et al.
Argitaratua: (2020)

Integrated Formal Methods
nork: Romijn, Judi M.T., et al.
Argitaratua: (2020)

Semantic Web and Databases
Argitaratua: (2020)

Formal Methods for Industrial Critical Systems
nork: Leue, Stefan, et al.
Argitaratua: (2020)

Industrial Applications of Semantic Web
nork: Terziyan, Vagan
Argitaratua: (2020)

The Semantic Web: Research and Applications
Argitaratua: (2020)

Semantic Web: Concepts, Technologies and Applications
nork: Breitman, Karin, et al.
Argitaratua: (2020)

Formal Methods and Stochastic Models for Performance Evaluation
nork: Wolter, Katinka
Argitaratua: (2020)

Teaching Formal Methods
Argitaratua: (2020)

Advances in Web-Age Information Management
nork: Fan, Wenfei, et al.
Argitaratua: (2020)

Integrated Formal Methods
nork: Ahrendt, Wolfgang, et al.
Argitaratua: (2020)

Information Sharing on the Semantic Web
Argitaratua: (2020)

Formal Methods in Systems Biology
nork: Fisher, Jasmin
Argitaratua: (2020)

Structured Object-Oriented Formal Language and Method
nork: Liu, Shaoying, et al.
Argitaratua: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Argitaratua: (2020)

ZB 2005: Formal Specification and Development in Z and B
Argitaratua: (2020)

Computers and Games
nork: Herik, H. Jaap van den, et al.
Argitaratua: (2020)

Advances in Computer Games
nork: Herik, H. Jaap van den, et al.
Argitaratua: (2020)

Formal Methods for Mobile Computing
Argitaratua: (2020)

The Semantic Web - ISWC 2004
nork: McIlraith, Sheila A., et al.
Argitaratua: (2020)

On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS
nork: Tari, Zahir
Argitaratua: (2020)

Trust Management for Service-Oriented Environments
nork: Malik, Zaki, et al.
Argitaratua: (2020)

Service Availability
nork: Malek, Miroslaw, et al.
Argitaratua: (2020)

Service Availability
nork: Nanya, Takashi, et al.
Argitaratua: (2020)

LaTeX in 24 Hours. 1st ed.
nork: Datta, Dilip
Argitaratua: (2020)

Formal Aspects of Component Software
nork: Arbab, Farhad, et al.
Argitaratua: (2020)

Resilient Networks and Services
nork: Hausheer, David, et al.
Argitaratua: (2020)

FM 2008: Formal Methods
nork: Cuellar, Jorge, et al.
Argitaratua: (2020)

Practical Internet Security
nork: Vacca, John R.
Argitaratua: (2020)

Peer-to-Peer Systems and Applications
nork: Steinmetz, Ralf, et al.
Argitaratua: (2020)

Internet and Network Economics
nork: Deng, Xiaotie, et al.
Argitaratua: (2020)

Services Computing
nork: Zhang, Liang-Jie, et al.
Argitaratua: (2020)

Quality of Service in Heterogeneous Networks
Argitaratua: (2020)

Formal Foundations of Reuse and Domain Engineering
Argitaratua: (2020)