Web Services and Formal Methods

Κώδικας QR

Web Services and Formal Methods

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer Berlin Heidelberg 2020
Θέματα:	Computer Science Computer Engineering Computer Communication Networks
Διαθέσιμο Online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82612
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

Formal Methods for Web Services
Έκδοση: (2020)

Web Services and Formal Methods
ανά: Dumas, Marlon, κ.ά.
Έκδοση: (2020)

Formal Methods for Mobile Computing
Έκδοση: (2020)

Emerging Web Services Technology
Έκδοση: (2020)

Formal Methods for Industrial Critical Systems
Έκδοση: (2020)

Formal Methods for Open Object-Based Distributed Systems
Έκδοση: (2020)

Formal Methods for Open Object-Based Distributed Systems
ανά: Barthe, Gilles
Έκδοση: (2020)

Website Hosting and Migration with Amazon Web Services. 1st ed.
ανά: Nadon, Jason
Έκδοση: (2020)

Formal Techniques for Computer Systems and Business Processes
ανά: Bravetti, Mario, κ.ά.
Έκδοση: (2020)

Access to Mobile Services
ανά: Yang, Xu, κ.ά.
Έκδοση: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2007
ανά: Derrick, John, κ.ά.
Έκδοση: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2005
ανά: Wang, Farn
Έκδοση: (2020)

Software Engineering and Formal Methods
ανά: Cerone, Antonio, κ.ά.
Έκδοση: (2020)

The Semantic Web
Έκδοση: (2020)

Web Engineering
Έκδοση: (2020)

Networks and New Services: A Complete Story
ανά: Minerva, Roberto, κ.ά.
Έκδοση: (2020)

Information Networking. Towards Ubiquitous Networking and Services
Έκδοση: (2020)

Challenges for Next Generation Network Operations and Service Management
Έκδοση: (2020)

The Semantic Web - ISWC 2008
Έκδοση: (2020)

The Semantic Web: Research and Applications
Έκδοση: (2020)

The Semantic Web: Research and Applications
ανά: Bechhofer, Sean, κ.ά.
Έκδοση: (2020)

Web Reasoning and Rule Systems
Έκδοση: (2020)

CASCOM: Intelligent Service Coordination in the Semantic Web
Έκδοση: (2020)

Formal Methods for Open Object-Based Distributed Systems
ανά: Bonsangue, Marcello M., κ.ά.
Έκδοση: (2020)

Management Enabling the Future Internet for Changing Business and New Computing Services
Έκδοση: (2020)

Management of Converged Multimedia Networks and Services
Έκδοση: (2020)

Towards a Service-Based Internet
Έκδοση: (2020)

From P2P and Grids to Services on the Web
ανά: Taylor, Ian J., κ.ά.
Έκδοση: (2020)

Structured Object-Oriented Formal Language and Method
ανά: Miao, Huaikou, κ.ά.
Έκδοση: (2020)

Service-Oriented Computing
ανά: Maximilien, Michael, κ.ά.
Έκδοση: (2020)

Formal Techniques for Distributed Systems
Έκδοση: (2020)

Quality of Service in Multiservice IP Networks
Έκδοση: (2020)

Requirements Engineering for Service and Cloud Computing
ανά: Ramachandran, Muthu, κ.ά.
Έκδοση: (2020)

Design, Launch, and Scale IoT Services
ανά: Haughian, Barry
Έκδοση: (2020)

Formal Techniques for Networked and Distributed Systems – FORTE 2008
ανά: Suzuki, Kenji, κ.ά.
Έκδοση: (2020)

Service Availability
ανά: Malek, Miroslaw, κ.ά.
Έκδοση: (2020)

Service Availability
ανά: Nanya, Takashi, κ.ά.
Έκδοση: (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)