বিষয়বস্তু এড়িয়ে যান
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
ভাষা
সমস্ত ক্ষেত্রসমূহ
আখ্যা
লেখক
বিষয়
ডাক সংখ্যা
আইসবিএন/আইএসএসএন
ট্যাগ
অনুসন্ধান
বিস্তৃত
Partial Correctness of Communi...
সাইট করুন
এই পাঠটি
এই ই-মেইলটি
মুদ্রণ
নথি এক্সপোর্ট করুন
এক্সপোর্ট করুন RefWorks
এক্সপোর্ট করুন EndNoteWeb
এক্সপোর্ট করুন EndNote
স্থায়ী লিঙ্ক
Partial Correctness of Communicating Sequential Processes
অন্যান্য সংস্করণ প্রদর্শন করুন (1)
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:
Chaochen, Z
,
Hoare, C
বিন্যাস:
Conference item
প্রকাশিত:
IEEE
2015
হোল্ডিংস
বিবরন
অন্যান্য সংস্করণ (1)
অনুরূপ উপাদানগুলি
স্টাফেদের বিবরণ দেখুন
অনুরূপ উপাদানগুলি
Partial Correctness of Communicating Processes and Protocols
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1981)
Partial Correctness of Communicating Sequential Processes
অনুযায়ী: Zhou, C, অন্যান্য
প্রকাশিত: (1981)
The Consistency of the Calculus of Total Correctness for Communicating Processes
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1982)
Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1976)
Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1977)
Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1978)
Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1985)
Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1978)
Notes on Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1983)
A Model for Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1980)
A Model for Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1978)
Communicating sequential processes /
অনুযায়ী: Hoare, C. A. R. (Charles Antony Richard), 1934-
প্রকাশিত: (1985)
Towards a Theory of Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1979)
A theory of communicating sequential processes
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1981)
A Theory of Communicating Sequential Processes
অনুযায়ী: Brookes, S, অন্যান্য
প্রকাশিত: (1984)
A theory of communicating sequential processes
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1984)
Discrete Event Simulation Based on Communicating Sequential Processes
অনুযায়ী: Kaubisch, W, অন্যান্য
প্রকাশিত: (2015)
Discrete Event Simulation Based on Communicating Sequential Processes
অনুযায়ী: Kaubisch, W, অন্যান্য
প্রকাশিত: (1982)
A Model for Synchronous Switching Circuits and its Theory of Correctness
অনুযায়ী: Chaochen, Z, অন্যান্য
প্রকাশিত: (1992)
Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems
অনুযায়ী: Enikeev, A, অন্যান্য
প্রকাশিত: (1987)
A Calculus of Total Correctness for Communicating Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1981)
A Calculus of Total Correctness for Communicating Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1981)
RUSSIAN TITLE: Model of a Theory of Communicating Sequential Processes for Menu−Dialog Systems
অনুযায়ী: Enikeev, A, অন্যান্য
প্রকাশিত: (1987)
Review of ‘Communicating sequential processes'
অনুযায়ী: Boyle, R
প্রকাশিত: (1985)
Sequential Calculus
অনুযায়ী: von Karger, B, অন্যান্য
প্রকাশিত: (1995)
Partial Correctness of C−MOS Switching Circuits: An Exercise in Applied Logic
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1988)
A Calculus of Durations
অনুযায়ী: Chaochen, Z, অন্যান্য
প্রকাশিত: (1991)
Interaction Categories and Communicating Sequential Processes
অনুযায়ী: Abramsky, S
প্রকাশিত: (1994)
A Singleton Failures Semantics for Communicating Sequential Processes
অনুযায়ী: Bolton, C, অন্যান্য
প্রকাশিত: (2006)
A timed model for communicating sequential processes
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1988)
A timed model for communicating sequential processes
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1986)
Online sequential Monte Carlo smoother for partially observed diffusion processes
অনুযায়ী: Pierre Gloaguen, অন্যান্য
প্রকাশিত: (2018-02-01)
Specification−oriented Semantics for Communicating Processes
অনুযায়ী: Olderog, E, অন্যান্য
প্রকাশিত: (1983)
Specification−oriented Semantics for Communicating Processes
অনুযায়ী: Olderog, E, অন্যান্য
প্রকাশিত: (1986)
A More Complete Model of Communicating Processes
অনুযায়ী: Hehner, E, অন্যান্য
প্রকাশিত: (1983)
Separation Logic Semantics for Communicating Processes
অনুযায়ী: Hoare, T, অন্যান্য
প্রকাশিত: (2008)
Sequential decoding for reliable communication
প্রকাশিত: (2004)
Optimal filtering for partially observed point processes using trans-dimensional sequential Monte Carlo
অনুযায়ী: Doucet, A, অন্যান্য
প্রকাশিত: (2006)
Optimal filtering for partially observed point processes using trans-dimensional sequential Monte Carlo
অনুযায়ী: Doucet, A, অন্যান্য
প্রকাশিত: (2006)
Optimal filtering for partially observed point processes using trans-dimensional sequential Monte Carlo
অনুযায়ী: Doucet, A, অন্যান্য
প্রকাশিত: (2006)
প্রাকদর্শন
পরবর্তী
অনুরূপ উপাদানগুলি
Partial Correctness of Communicating Processes and Protocols
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1981)
Partial Correctness of Communicating Sequential Processes
অনুযায়ী: Zhou, C, অন্যান্য
প্রকাশিত: (1981)
The Consistency of the Calculus of Total Correctness for Communicating Processes
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1982)
Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1976)
Communicating Sequential Processes
অনুযায়ী: Hoare, C
প্রকাশিত: (1977)