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