Web Services and Formal Methods

Mã QR

Web Services and Formal Methods

Đã lưu trong:

Sonraí Bibleagrafaíochta
Formáid:	Leabhar
Teanga:	English
Foilsithe:	Springer Berlin Heidelberg 2020
Ábhair:	Computer Science Computer Engineering Computer Communication Networks
Rochtain Ar Líne:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82612
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

Formal Methods for Web Services
Foilsithe: (2020)

Web Services and Formal Methods
le: Dumas, Marlon, et al.
Foilsithe: (2020)

Formal Methods for Mobile Computing
Foilsithe: (2020)

Emerging Web Services Technology
Foilsithe: (2020)

Formal Methods for Industrial Critical Systems
Foilsithe: (2020)

Formal Methods for Open Object-Based Distributed Systems
Foilsithe: (2020)

Formal Methods for Open Object-Based Distributed Systems
le: Barthe, Gilles
Foilsithe: (2020)

Website Hosting and Migration with Amazon Web Services. 1st ed.
le: Nadon, Jason
Foilsithe: (2020)

Formal Techniques for Computer Systems and Business Processes
le: Bravetti, Mario, et al.
Foilsithe: (2020)

Access to Mobile Services
le: Yang, Xu, et al.
Foilsithe: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2007
le: Derrick, John, et al.
Foilsithe: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2005
le: Wang, Farn
Foilsithe: (2020)

Software Engineering and Formal Methods
le: Cerone, Antonio, et al.
Foilsithe: (2020)

The Semantic Web
Foilsithe: (2020)

Web Engineering
Foilsithe: (2020)

Networks and New Services: A Complete Story
le: Minerva, Roberto, et al.
Foilsithe: (2020)

Information Networking. Towards Ubiquitous Networking and Services
Foilsithe: (2020)

Challenges for Next Generation Network Operations and Service Management
Foilsithe: (2020)

The Semantic Web - ISWC 2008
Foilsithe: (2020)

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

The Semantic Web: Research and Applications
le: Bechhofer, Sean, et al.
Foilsithe: (2020)

Web Reasoning and Rule Systems
Foilsithe: (2020)

CASCOM: Intelligent Service Coordination in the Semantic Web
Foilsithe: (2020)

Formal Methods for Open Object-Based Distributed Systems
le: Bonsangue, Marcello M., et al.
Foilsithe: (2020)

Management Enabling the Future Internet for Changing Business and New Computing Services
Foilsithe: (2020)

Management of Converged Multimedia Networks and Services
Foilsithe: (2020)

Towards a Service-Based Internet
Foilsithe: (2020)

From P2P and Grids to Services on the Web
le: Taylor, Ian J., et al.
Foilsithe: (2020)

Structured Object-Oriented Formal Language and Method
le: Miao, Huaikou, et al.
Foilsithe: (2020)

Service-Oriented Computing
le: Maximilien, Michael, et al.
Foilsithe: (2020)

Formal Techniques for Distributed Systems
Foilsithe: (2020)

Quality of Service in Multiservice IP Networks
Foilsithe: (2020)

Requirements Engineering for Service and Cloud Computing
le: Ramachandran, Muthu, et al.
Foilsithe: (2020)

Design, Launch, and Scale IoT Services
le: Haughian, Barry
Foilsithe: (2020)

Formal Techniques for Networked and Distributed Systems – FORTE 2008
le: Suzuki, Kenji, et al.
Foilsithe: (2020)

Service Availability
le: Malek, Miroslaw, et al.
Foilsithe: (2020)

Service Availability
le: Nanya, Takashi, et al.
Foilsithe: (2020)

Formal Methods for Performance Evaluation
le: Bernardo, Marco, et al.
Foilsithe: (2020)

Formal Methods: Applications and Technology
le: Brim, Lubos, et al.
Foilsithe: (2020)

Formal Methods: Foundations and Applications
le: Cavalheiro, Simone, et al.
Foilsithe: (2020)