Azala

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.

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	El Rayes, Amani Helmi
Formatua:	Liburua
Hizkuntza:	ingelesa
Argitaratua:	Cairo : The Institute of National Planning, 2006.
Saila:	The Institute of National Planning ; 1631.
Gaiak:	Currency System. Electronic Commerce. trade.
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Evaluating the lightweight Currency System using the probabilistic Checking PRISM
nork: Helmi El Rayes, Amani
Argitaratua: (2022)

Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
nork: David Lee Kuo Chuen
Argitaratua: (2015)

Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
nork: David Lee Kuo Chuen
Argitaratua: (2015)

Understanding the digital economy : data, tools, and research /
Argitaratua: (2000)

Currency boards for developing countries : a handbook /
nork: Hanke, Steve H.
Argitaratua: (1994)

Currency boards for developing countries : a handbook /
nork: Hanke, Steve H.
Argitaratua: (1994)

Global economic effects of the Asian currency devaluations /
Argitaratua: (1998)

The State Trading Corporation : a report on India's export performance /
Argitaratua: (1961)

The State Trading Corporation : a report on India's export performance /
Argitaratua: (1961)

Free trade.

Distributed Computing Systems : Communication, Cooperation, Consistency /
Argitaratua: (1985)

International trade and economic growth : studies in pure theory /
nork: Johnson, Harry G.
Argitaratua: (1958)

International trade and economic growth : studies in pure theory /
nork: Johnson, Harry G.
Argitaratua: (1958)

Introducing systems design /
nork: Skidmore, Steve
Argitaratua: (1990)

Global shift : mapping the changing contours of the world economy /
nork: Dicken, Peter
Argitaratua: (2007)

International trade and finance : new frontiers for research : essays in honor of Peter B. Kenen /
nork: .Cohen, Benjamin J.
Argitaratua: (1997)

The application of advanced information and communications technologies in the transport sector in the ESCWA region /
Argitaratua: (2001)

1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
Argitaratua: (1997)

1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
Argitaratua: (1997)

INP database management system
nork: El-daoushy, Abdalla
Argitaratua: (2018)

Trade and transport facilitation : e-business and information and communications technology applications /
Argitaratua: (2003)

United Kingdom trade with Europe /
nork: Meyer, F. V.
Argitaratua: (1957)

COMESA : Group of common market for Eastern and Southern African Countries /
Argitaratua: (2001)

United Kingdom trade with Europe /
nork: Meyer, F. V.
Argitaratua: (1957)

Self-organizing systems : proceedings /
Argitaratua: (1960)

Self-organizing systems : proceedings /
Argitaratua: (1960)

Glossary of commercial, economic & financial terms : English-French-Arabic /
nork: Joreiga, Mona
Argitaratua: (2000)

Systems modelling : theory and practice /
Argitaratua: (2004)

Money and man : a survey of monetary experience /
nork: Groseclose, Elgin Earl
Argitaratua: (1961)

Money and man : a survey of monetary experience /
nork: Groseclose, Elgin Earl
Argitaratua: (1961)

Commerce : Its theory and practice /
nork: Thomas, S. Evelyn
Argitaratua: (1965)

Manuel de Classification economique et fonctionnelle des opperations de l’ Etat /
nork: United Nations
Argitaratua: (1957)

Introduction to computers & information systems /
nork: Long, Larry E.
Argitaratua: (1997)

Introduction to computers & information systems /
nork: Long, Larry E.
Argitaratua: (1997)

Hedging of Contracts, Anticipated Positions, and Tender Offers : A Study of Corporate Foreign Exchange Rate Risk And/or Price Risk /
nork: Lagerstam, Catharina
Argitaratua: (1990)

Using PEPA to Model the Unemployment Problem
nork: El Rayes, Amani, et al.
Argitaratua: (2022)

Stochastic models optimization techniques and computer applications : Proceeding of the international conference in stochastic models optimization techniques and computer applications /
Argitaratua: (1994)

program evaluation and review technique with computer application /
nork: taha, hamdy A.
Argitaratua: (1965)

Foreign direct investment and industrialisation in Malaysia, Singapore, Taiwan, and Thailand /
nork: .Lim, Linda Y.C
Argitaratua: (1991)

World monetary disorder : national policies vs. international imperatives /
Argitaratua: (1976)