「CSP」の共起表現一覧(1語右で並び替え)
該当件数 : 53件
Later versions of | CSP abandoned communication based on process names |
, including Communicating Sequential Processes ( | CSP) and the Z notation. |
f ideas between the researchers working on both | CSP and CCS. |
ommittee soon fell into pieces, as the CPI, the | CSP and the Royists deserted it. |
Left-wing parties (SP, Greens, | CSP) and the GLP are mostly in favour of the propos |
rpinning of Communicating Sequential Processes ( | CSP) and the associated occam programming language |
(model checking for B), U2B (UML and B), csp2B ( | CSP and B), and the RODIN toolset for Event-B. |
ory Council for the Center for Security Policy ( | CSP), and on the board of trustees for the think ta |
c, the Anushilan marxists (still members of the | CSP at the time), the Labour Party and the Kisan Sa |
It is currently home to the Limoges | CSP basketball team. |
ocess algebras such as Milner's CCS and Hoare's | CSP by introducing probabilistic branching and timi |
im Davies, Specification and Proof in Real Time | CSP. Cambridge University Press, 1993. |
to support Communicating Sequential Processes ( | CSP) channel communications. |
ason he was playing for the French club Limoges | CSP Elite until he left the club. |
i), although not ideologically attracted to the | CSP, felt loyalty towards the Marxist sector. |
The rat | CSP forms a complex with Sgt (SGTA) and Hsc70 (HSPA |
Stoecker's speeches and his organizing gave the | CSP great successes in his region, the CSP never un |
yzing and understanding systems described using | CSP have been produced. |
He currently plays for Limoges | CSP in France. |
joined the erstwhile Civil Service of Pakistan ( | CSP) in 1969. |
. W. Roscoe developed and refined the theory of | CSP into its modern form. |
Crystal structure prediction ( | CSP) is the calculation of the crystal structures o |
CSP is a form of renewable energy that produces ele | |
The Chicago Socialist Party ( | CSP) is the local chapter of the Socialist Party US |
The Chartered Society of Physiotherapy ( | CSP), is the professional body and trade union for |
ber 5, also known as cysteine string protein or | CSP is a protein, that in humans encoded by the DNA |
He also appeared for | CSP Limoges in France, played in the Philippine Bas |
He led | CSP Limoges to the Saporta Cup title in 1988 and th |
1983 French Cup ( | CSP Limoges) |
1993 European Champion ( | CSP Limoges) |
1982 French Cup ( | CSP Limoges) |
1993 French Cup ( | CSP Limoges) |
1985 French League Champion ( | CSP Limoges) |
1990 French League Champion ( | CSP Limoges) |
He went to play also for | CSP Limoges, from France, and for Portugal Telecom. |
In April 2006 the | CSP lodged a case with the European Court of Human |
used a variety of machine-readable syntaxes for | CSP, making input files written for different tools |
o conflicts with others in the SP and what many | CSP members saw as decreasing democracy and decentr |
, Brian Tuke to Richard Pace Wolsey's secretary | CSP Milan, vol. 1, 408. |
follow the communicating sequential processes ( | CSP) model. |
2007, significant progress has been made in the | CSP of small organic molecules, with several differ |
The CSPM dialect of | CSP possesses a formally defined operational semant |
y a refinement checker, in that it converts two | CSP process expressions into Labelled Transition Sy |
fuel energy by engineering a paradigm shift in | CSP technology, providing a cost-effective and scal |
However, most | CSP tools have now standardized on the machine-read |
and, as of spring 2010, is the only commercial | CSP tower facility in North America. |
rn California Edison (SCE) grid and is the only | CSP tower facility operating in North America. |
taken in developing the theoretical version of | CSP was heavily influenced by Robin Milner's work o |
The concurrency primitives of | CSP were input, output, guarded commands, and paral |
ons instead added 500 "video bingo" machines to | CSP, which, as Class II machines, do not require a |
pport for a child, a Co-ordinated Support Plan ( | CSP) will be drawn up by the relevant agencies, (e. |
It combines the process constructs of | CSP with logically shared data structures called co |
water Greenhouse and concentrating solar power ( | CSP) working in synergy. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |