在您的搜寻 主题建议
搜索替代词:
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
programming contracts » programming contract, programming constructs, programming constraints
services computing » server computing, services computer, service computer
https » http
1
封面图片
书本目录: “...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2011
书本目录: “...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2013
书本目录: “... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2010
书本目录: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2013
书本目录: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2013
书本目录: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2006
书本目录: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2006
书本目录: “... Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2010
书本目录: “...Refinement Calculus as a Theory of Contracts (Invited Paper) -- Transaction Calculus -- UTP...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
主题: “...Business and Management, general. https://scigraph.springernature.com/ontologies/product-market...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2010
书本目录: “... to Achieve Predictability of Service Execution -- Aggregate Quality of Service Computation for Composite...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
由 Saleh, Iman., Saleh, Iman.
出版 2015
主题: “...Programming languages (Electronic computers)....”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2014
书本目录: “...Extreme Accuracy in Symbolic Regression -- Exploring Interestingness in a Computational Evolution...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
出版 2010
书本目录: “... of Overloading in Java Programs -- Falling Back on Executable Specifications -- Contract-Based Data Structure...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2013
书本目录: “... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2014
书本目录: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2005
书本目录: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
出版 2005
书本目录: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2006
书本目录: “... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
由 Beckner, Mark., Beckner, Mark.
出版 2014
主题: “...Programming languages (Electronic computers)....”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索