Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM /
Electronic Commerce is one of the major factors in the evolution of the internet it increases the possibility for private companies or individuals to trade with each other.
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
Cairo :
The Institute of National Planning,
2006.
|
| シリーズ: | The Institute of National Planning ;
1631. |
| 主題: | |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Evaluating the lightweight Currency System using the probabilistic Checking PRISM
著者:: Helmi El Rayes, Amani
出版事項: (2022)
著者:: Helmi El Rayes, Amani
出版事項: (2022)
Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
著者:: David Lee Kuo Chuen
出版事項: (2015)
著者:: David Lee Kuo Chuen
出版事項: (2015)
Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
著者:: David Lee Kuo Chuen
出版事項: (2015)
著者:: David Lee Kuo Chuen
出版事項: (2015)
Understanding the digital economy : data, tools, and research /
出版事項: (2000)
出版事項: (2000)
Currency boards for developing countries : a handbook /
著者:: Hanke, Steve H.
出版事項: (1994)
著者:: Hanke, Steve H.
出版事項: (1994)
Currency boards for developing countries : a handbook /
著者:: Hanke, Steve H.
出版事項: (1994)
著者:: Hanke, Steve H.
出版事項: (1994)
Global economic effects of the Asian currency devaluations /
出版事項: (1998)
出版事項: (1998)
The State Trading Corporation : a report on India's export performance /
出版事項: (1961)
出版事項: (1961)
The State Trading Corporation : a report on India's export performance /
出版事項: (1961)
出版事項: (1961)
Free trade.
Distributed Computing Systems : Communication, Cooperation, Consistency /
出版事項: (1985)
出版事項: (1985)
International trade and economic growth : studies in pure theory /
著者:: Johnson, Harry G.
出版事項: (1958)
著者:: Johnson, Harry G.
出版事項: (1958)
International trade and economic growth : studies in pure theory /
著者:: Johnson, Harry G.
出版事項: (1958)
著者:: Johnson, Harry G.
出版事項: (1958)
Introducing systems design /
著者:: Skidmore, Steve
出版事項: (1990)
著者:: Skidmore, Steve
出版事項: (1990)
Global shift : mapping the changing contours of the world economy /
著者:: Dicken, Peter
出版事項: (2007)
著者:: Dicken, Peter
出版事項: (2007)
International trade and finance : new frontiers for research : essays in honor of Peter B. Kenen /
著者:: .Cohen, Benjamin J.
出版事項: (1997)
著者:: .Cohen, Benjamin J.
出版事項: (1997)
The application of advanced information and communications technologies in the transport sector in the ESCWA region /
出版事項: (2001)
出版事項: (2001)
1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
出版事項: (1997)
出版事項: (1997)
1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
出版事項: (1997)
出版事項: (1997)
INP database management system
著者:: El-daoushy, Abdalla
出版事項: (2018)
著者:: El-daoushy, Abdalla
出版事項: (2018)
Trade and transport facilitation : e-business and information and communications technology applications /
出版事項: (2003)
出版事項: (2003)
United Kingdom trade with Europe /
著者:: Meyer, F. V.
出版事項: (1957)
著者:: Meyer, F. V.
出版事項: (1957)
COMESA : Group of common market for Eastern and Southern African Countries /
出版事項: (2001)
出版事項: (2001)
United Kingdom trade with Europe /
著者:: Meyer, F. V.
出版事項: (1957)
著者:: Meyer, F. V.
出版事項: (1957)
Self-organizing systems : proceedings /
出版事項: (1960)
出版事項: (1960)
Self-organizing systems : proceedings /
出版事項: (1960)
出版事項: (1960)
Glossary of commercial, economic & financial terms : English-French-Arabic /
著者:: Joreiga, Mona
出版事項: (2000)
著者:: Joreiga, Mona
出版事項: (2000)
Systems modelling : theory and practice /
出版事項: (2004)
出版事項: (2004)
Money and man : a survey of monetary experience /
著者:: Groseclose, Elgin Earl
出版事項: (1961)
著者:: Groseclose, Elgin Earl
出版事項: (1961)
Money and man : a survey of monetary experience /
著者:: Groseclose, Elgin Earl
出版事項: (1961)
著者:: Groseclose, Elgin Earl
出版事項: (1961)
Commerce : Its theory and practice /
著者:: Thomas, S. Evelyn
出版事項: (1965)
著者:: Thomas, S. Evelyn
出版事項: (1965)
Manuel de Classification economique et fonctionnelle des opperations de l’ Etat /
著者:: United Nations
出版事項: (1957)
著者:: United Nations
出版事項: (1957)
Introduction to computers & information systems /
著者:: Long, Larry E.
出版事項: (1997)
著者:: Long, Larry E.
出版事項: (1997)
Introduction to computers & information systems /
著者:: Long, Larry E.
出版事項: (1997)
著者:: Long, Larry E.
出版事項: (1997)
Hedging of Contracts, Anticipated Positions, and Tender Offers : A Study of Corporate Foreign Exchange Rate Risk And/or Price Risk /
著者:: Lagerstam, Catharina
出版事項: (1990)
著者:: Lagerstam, Catharina
出版事項: (1990)
Using PEPA to Model the Unemployment Problem
著者:: El Rayes, Amani, 等
出版事項: (2022)
著者:: El Rayes, Amani, 等
出版事項: (2022)
Stochastic models optimization techniques and computer applications : Proceeding of the international conference in stochastic models optimization techniques and computer applications /
出版事項: (1994)
出版事項: (1994)
program evaluation and review technique with computer application /
著者:: taha, hamdy A.
出版事項: (1965)
著者:: taha, hamdy A.
出版事項: (1965)
Foreign direct investment and industrialisation in Malaysia, Singapore, Taiwan, and Thailand /
著者:: .Lim, Linda Y.C
出版事項: (1991)
著者:: .Lim, Linda Y.C
出版事項: (1991)
World monetary disorder : national policies vs. international imperatives /
出版事項: (1976)
出版事項: (1976)