Web Services and Formal Methods

kod QR

Web Services and Formal Methods

Zapisane w:

Opis bibliograficzny
Format:	Książka
Język:	English
Wydane:	Springer Berlin Heidelberg 2020
Hasła przedmiotowe:	Computer Science Computer Engineering Computer Communication Networks
Dostęp online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82612
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Formal Methods for Web Services
Wydane: (2020)

Web Services and Formal Methods
od: Dumas, Marlon, i wsp.
Wydane: (2020)

Formal Methods for Mobile Computing
Wydane: (2020)

Emerging Web Services Technology
Wydane: (2020)

Formal Methods for Industrial Critical Systems
Wydane: (2020)

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

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

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

Formal Techniques for Computer Systems and Business Processes
od: Bravetti, Mario, i wsp.
Wydane: (2020)

Access to Mobile Services
od: Yang, Xu, i wsp.
Wydane: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2007
od: Derrick, John, i wsp.
Wydane: (2020)

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

Software Engineering and Formal Methods
od: Cerone, Antonio, i wsp.
Wydane: (2020)

The Semantic Web
Wydane: (2020)

Web Engineering
Wydane: (2020)

Networks and New Services: A Complete Story
od: Minerva, Roberto, i wsp.
Wydane: (2020)

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

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

The Semantic Web - ISWC 2008
Wydane: (2020)

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

The Semantic Web: Research and Applications
od: Bechhofer, Sean, i wsp.
Wydane: (2020)

Web Reasoning and Rule Systems
Wydane: (2020)

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

Formal Methods for Open Object-Based Distributed Systems
od: Bonsangue, Marcello M., i wsp.
Wydane: (2020)

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

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

Towards a Service-Based Internet
Wydane: (2020)

From P2P and Grids to Services on the Web
od: Taylor, Ian J., i wsp.
Wydane: (2020)

Structured Object-Oriented Formal Language and Method
od: Miao, Huaikou, i wsp.
Wydane: (2020)

Service-Oriented Computing
od: Maximilien, Michael, i wsp.
Wydane: (2020)

Formal Techniques for Distributed Systems
Wydane: (2020)

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

Requirements Engineering for Service and Cloud Computing
od: Ramachandran, Muthu, i wsp.
Wydane: (2020)

Design, Launch, and Scale IoT Services
od: Haughian, Barry
Wydane: (2020)

Formal Techniques for Networked and Distributed Systems – FORTE 2008
od: Suzuki, Kenji, i wsp.
Wydane: (2020)

Service Availability
od: Malek, Miroslaw, i wsp.
Wydane: (2020)

Service Availability
od: Nanya, Takashi, i wsp.
Wydane: (2020)

Formal Methods for Performance Evaluation
od: Bernardo, Marco, i wsp.
Wydane: (2020)

Formal Methods: Applications and Technology
od: Brim, Lubos, i wsp.
Wydane: (2020)

Formal Methods: Foundations and Applications
od: Cavalheiro, Simone, i wsp.
Wydane: (2020)