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