Web Services and Formal Methods

Mã QR

Web Services and Formal Methods

שמור ב:

מידע ביבליוגרפי
פורמט:	ספר
שפה:	English
יצא לאור:	Springer Berlin Heidelberg 2020
נושאים:	Computer Science Computer Engineering Computer Communication Networks
גישה מקוונת:	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, et al.
יצא לאור: (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, et al.
יצא לאור: (2020)

Access to Mobile Services
מאת: Yang, Xu, et al.
יצא לאור: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2007
מאת: Derrick, John, et al.
יצא לאור: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2005
מאת: Wang, Farn
יצא לאור: (2020)

Software Engineering and Formal Methods
מאת: Cerone, Antonio, et al.
יצא לאור: (2020)

The Semantic Web
יצא לאור: (2020)

Web Engineering
יצא לאור: (2020)

Networks and New Services: A Complete Story
מאת: Minerva, Roberto, et al.
יצא לאור: (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, et al.
יצא לאור: (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., et al.
יצא לאור: (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., et al.
יצא לאור: (2020)

Structured Object-Oriented Formal Language and Method
מאת: Miao, Huaikou, et al.
יצא לאור: (2020)

Service-Oriented Computing
מאת: Maximilien, Michael, et al.
יצא לאור: (2020)

Formal Techniques for Distributed Systems
יצא לאור: (2020)

Quality of Service in Multiservice IP Networks
יצא לאור: (2020)

Requirements Engineering for Service and Cloud Computing
מאת: Ramachandran, Muthu, et al.
יצא לאור: (2020)

Design, Launch, and Scale IoT Services
מאת: Haughian, Barry
יצא לאור: (2020)

Formal Techniques for Networked and Distributed Systems – FORTE 2008
מאת: Suzuki, Kenji, et al.
יצא לאור: (2020)

Service Availability
מאת: Malek, Miroslaw, et al.
יצא לאור: (2020)

Service Availability
מאת: Nanya, Takashi, et al.
יצא לאור: (2020)

Formal Methods for Performance Evaluation
מאת: Bernardo, Marco, et al.
יצא לאור: (2020)

Formal Methods: Applications and Technology
מאת: Brim, Lubos, et al.
יצא לאור: (2020)

Formal Methods: Foundations and Applications
מאת: Cavalheiro, Simone, et al.
יצא לאור: (2020)