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.
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Cairo :
The Institute of National Planning,
2006.
|
| Serier: | The Institute of National Planning ;
1631. |
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Evaluating the lightweight Currency System using the probabilistic Checking PRISM
af: Helmi El Rayes, Amani
Udgivet: (2022)
af: Helmi El Rayes, Amani
Udgivet: (2022)
Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
af: David Lee Kuo Chuen
Udgivet: (2015)
af: David Lee Kuo Chuen
Udgivet: (2015)
Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
af: David Lee Kuo Chuen
Udgivet: (2015)
af: David Lee Kuo Chuen
Udgivet: (2015)
Understanding the digital economy : data, tools, and research /
Udgivet: (2000)
Udgivet: (2000)
Currency boards for developing countries : a handbook /
af: Hanke, Steve H.
Udgivet: (1994)
af: Hanke, Steve H.
Udgivet: (1994)
Currency boards for developing countries : a handbook /
af: Hanke, Steve H.
Udgivet: (1994)
af: Hanke, Steve H.
Udgivet: (1994)
Global economic effects of the Asian currency devaluations /
Udgivet: (1998)
Udgivet: (1998)
The State Trading Corporation : a report on India's export performance /
Udgivet: (1961)
Udgivet: (1961)
The State Trading Corporation : a report on India's export performance /
Udgivet: (1961)
Udgivet: (1961)
Free trade.
Distributed Computing Systems : Communication, Cooperation, Consistency /
Udgivet: (1985)
Udgivet: (1985)
International trade and economic growth : studies in pure theory /
af: Johnson, Harry G.
Udgivet: (1958)
af: Johnson, Harry G.
Udgivet: (1958)
International trade and economic growth : studies in pure theory /
af: Johnson, Harry G.
Udgivet: (1958)
af: Johnson, Harry G.
Udgivet: (1958)
Introducing systems design /
af: Skidmore, Steve
Udgivet: (1990)
af: Skidmore, Steve
Udgivet: (1990)
Global shift : mapping the changing contours of the world economy /
af: Dicken, Peter
Udgivet: (2007)
af: Dicken, Peter
Udgivet: (2007)
International trade and finance : new frontiers for research : essays in honor of Peter B. Kenen /
af: .Cohen, Benjamin J.
Udgivet: (1997)
af: .Cohen, Benjamin J.
Udgivet: (1997)
The application of advanced information and communications technologies in the transport sector in the ESCWA region /
Udgivet: (2001)
Udgivet: (2001)
1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
Udgivet: (1997)
Udgivet: (1997)
1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
Udgivet: (1997)
Udgivet: (1997)
INP database management system
af: El-daoushy, Abdalla
Udgivet: (2018)
af: El-daoushy, Abdalla
Udgivet: (2018)
Trade and transport facilitation : e-business and information and communications technology applications /
Udgivet: (2003)
Udgivet: (2003)
United Kingdom trade with Europe /
af: Meyer, F. V.
Udgivet: (1957)
af: Meyer, F. V.
Udgivet: (1957)
COMESA : Group of common market for Eastern and Southern African Countries /
Udgivet: (2001)
Udgivet: (2001)
United Kingdom trade with Europe /
af: Meyer, F. V.
Udgivet: (1957)
af: Meyer, F. V.
Udgivet: (1957)
Self-organizing systems : proceedings /
Udgivet: (1960)
Udgivet: (1960)
Self-organizing systems : proceedings /
Udgivet: (1960)
Udgivet: (1960)
Glossary of commercial, economic & financial terms : English-French-Arabic /
af: Joreiga, Mona
Udgivet: (2000)
af: Joreiga, Mona
Udgivet: (2000)
Systems modelling : theory and practice /
Udgivet: (2004)
Udgivet: (2004)
Money and man : a survey of monetary experience /
af: Groseclose, Elgin Earl
Udgivet: (1961)
af: Groseclose, Elgin Earl
Udgivet: (1961)
Money and man : a survey of monetary experience /
af: Groseclose, Elgin Earl
Udgivet: (1961)
af: Groseclose, Elgin Earl
Udgivet: (1961)
Commerce : Its theory and practice /
af: Thomas, S. Evelyn
Udgivet: (1965)
af: Thomas, S. Evelyn
Udgivet: (1965)
Manuel de Classification economique et fonctionnelle des opperations de l’ Etat /
af: United Nations
Udgivet: (1957)
af: United Nations
Udgivet: (1957)
Introduction to computers & information systems /
af: Long, Larry E.
Udgivet: (1997)
af: Long, Larry E.
Udgivet: (1997)
Introduction to computers & information systems /
af: Long, Larry E.
Udgivet: (1997)
af: Long, Larry E.
Udgivet: (1997)
Hedging of Contracts, Anticipated Positions, and Tender Offers : A Study of Corporate Foreign Exchange Rate Risk And/or Price Risk /
af: Lagerstam, Catharina
Udgivet: (1990)
af: Lagerstam, Catharina
Udgivet: (1990)
Using PEPA to Model the Unemployment Problem
af: El Rayes, Amani, et al.
Udgivet: (2022)
af: El Rayes, Amani, et al.
Udgivet: (2022)
Stochastic models optimization techniques and computer applications : Proceeding of the international conference in stochastic models optimization techniques and computer applications /
Udgivet: (1994)
Udgivet: (1994)
program evaluation and review technique with computer application /
af: taha, hamdy A.
Udgivet: (1965)
af: taha, hamdy A.
Udgivet: (1965)
Foreign direct investment and industrialisation in Malaysia, Singapore, Taiwan, and Thailand /
af: .Lim, Linda Y.C
Udgivet: (1991)
af: .Lim, Linda Y.C
Udgivet: (1991)
World monetary disorder : national policies vs. international imperatives /
Udgivet: (1976)
Udgivet: (1976)