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.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cairo :
The Institute of National Planning,
2006.
|
| Schriftenreihe: | The Institute of National Planning ;
1631. |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!
|
Ähnliche Einträge
(1631) Evaluating the lightweight Currency System using the probabilistic Checking PRISM
تقييم نظام العملة الخفيف باستخدام برنامج التحقق الاحتمالي PRISM
von: Helmi El Rayes, Amani
Veröffentlicht: (2022)
von: Helmi El Rayes, Amani
Veröffentlicht: (2022)
Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
von: David Lee Kuo Chuen
Veröffentlicht: (2015)
von: David Lee Kuo Chuen
Veröffentlicht: (2015)
Understanding the digital economy : data, tools, and research /
Veröffentlicht: (2000)
Veröffentlicht: (2000)
Currency boards for developing countries : a handbook /
von: Hanke, Steve H.
Veröffentlicht: (1994)
von: Hanke, Steve H.
Veröffentlicht: (1994)
Global economic effects of the Asian currency devaluations /
Veröffentlicht: (1998)
Veröffentlicht: (1998)
The State Trading Corporation : a report on India's export performance /
Veröffentlicht: (1961)
Veröffentlicht: (1961)
Free trade.
Distributed Computing Systems : Communication, Cooperation, Consistency /
Veröffentlicht: (1985)
Veröffentlicht: (1985)
International trade and economic growth : studies in pure theory /
von: Johnson, Harry G.
Veröffentlicht: (1958)
von: Johnson, Harry G.
Veröffentlicht: (1958)
Introducing systems design /
von: Skidmore, Steve
Veröffentlicht: (1990)
von: Skidmore, Steve
Veröffentlicht: (1990)
The application of advanced information and communications technologies in the transport sector in the ESCWA region /
Veröffentlicht: (2001)
Veröffentlicht: (2001)
Global shift : mapping the changing contours of the world economy /
von: Dicken, Peter
Veröffentlicht: (2007)
von: Dicken, Peter
Veröffentlicht: (2007)
International trade and finance : new frontiers for research : essays in honor of Peter B. Kenen /
von: .Cohen, Benjamin J.
Veröffentlicht: (1997)
von: .Cohen, Benjamin J.
Veröffentlicht: (1997)
Money and man : a survey of monetary experience /
von: Groseclose, Elgin Earl
Veröffentlicht: (1961)
von: Groseclose, Elgin Earl
Veröffentlicht: (1961)
1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
Veröffentlicht: (1997)
Veröffentlicht: (1997)
Trade and transport facilitation : e-business and information and communications technology applications /
Veröffentlicht: (2003)
Veröffentlicht: (2003)
Self-organizing systems : proceedings /
Veröffentlicht: (1960)
Veröffentlicht: (1960)
COMESA : Group of common market for Eastern and Southern African Countries /
Veröffentlicht: (2001)
Veröffentlicht: (2001)
United Kingdom trade with Europe /
von: Meyer, F. V.
Veröffentlicht: (1957)
von: Meyer, F. V.
Veröffentlicht: (1957)
Glossary of commercial, economic & financial terms : English-French-Arabic /
von: Joreiga, Mona
Veröffentlicht: (2000)
von: Joreiga, Mona
Veröffentlicht: (2000)
Hedging of Contracts, Anticipated Positions, and Tender Offers : A Study of Corporate Foreign Exchange Rate Risk And/or Price Risk /
von: Lagerstam, Catharina
Veröffentlicht: (1990)
von: Lagerstam, Catharina
Veröffentlicht: (1990)
(1475) INP database management system
نظام إدارة قاعدة بيانات INP
von: El-daoushy, Abdalla
Veröffentlicht: (2018)
von: El-daoushy, Abdalla
Veröffentlicht: (2018)
Introduction to computers & information systems /
von: Long, Larry E.
Veröffentlicht: (1997)
von: Long, Larry E.
Veröffentlicht: (1997)
Commerce : Its theory and practice /
von: Thomas, S. Evelyn
Veröffentlicht: (1965)
von: Thomas, S. Evelyn
Veröffentlicht: (1965)
Systems modelling : theory and practice /
Veröffentlicht: (2004)
Veröffentlicht: (2004)
Manuel de Classification economique et fonctionnelle des opperations de l’ Etat /
von: United Nations
Veröffentlicht: (1957)
von: United Nations
Veröffentlicht: (1957)
World monetary disorder : national policies vs. international imperatives /
Veröffentlicht: (1976)
Veröffentlicht: (1976)
Stochastic models optimization techniques and computer applications : Proceeding of the international conference in stochastic models optimization techniques and computer applications /
Veröffentlicht: (1994)
Veröffentlicht: (1994)
Foreign direct investment and industrialisation in Malaysia, Singapore, Taiwan, and Thailand /
von: .Lim, Linda Y.C
Veröffentlicht: (1991)
von: .Lim, Linda Y.C
Veröffentlicht: (1991)
Notes on The Electronic Computer Principles /
von: Nassar, Ing. G.
Veröffentlicht: (1967)
von: Nassar, Ing. G.
Veröffentlicht: (1967)
program evaluation and review technique with computer application /
von: taha, hamdy A.
Veröffentlicht: (1965)
von: taha, hamdy A.
Veröffentlicht: (1965)
mathematical modelling of energy systems /
Veröffentlicht: (1981)
Veröffentlicht: (1981)
Digital circuits and microprocessors /
von: Taub, Herbert
Veröffentlicht: (1982)
von: Taub, Herbert
Veröffentlicht: (1982)
IMF staff papers /
Veröffentlicht: (2001)
Veröffentlicht: (2001)
The Dictionary of Economics and Commerce : Z. Naser.
von: .Nasr, Z.
Veröffentlicht: (1979)
von: .Nasr, Z.
Veröffentlicht: (1979)
Reliability in computing : the role of interval methods in scientific computing /
Veröffentlicht: (1988)
Veröffentlicht: (1988)
Essential Excel 2016 : a step-by-step guide /
von: Slager, David
Veröffentlicht: (2016)
von: Slager, David
Veröffentlicht: (2016)
Language & Electronic Computers /
von: Youssef, M. Yehia
Veröffentlicht: (1969)
von: Youssef, M. Yehia
Veröffentlicht: (1969)
Crisis and dollarization in Ecuador : stability, growth, and social equity /
Veröffentlicht: (2002)
Veröffentlicht: (2002)
Knowledge Acquisition Using Rough Sets /
von: Ibrahim, Ahmed Sobhi Bakri
Veröffentlicht: (2010)
von: Ibrahim, Ahmed Sobhi Bakri
Veröffentlicht: (2010)