Pricing communication networks : economics, technology, and modelling

von Courcoubetis, Costas
Veröffentlicht 2003

Computer aided verification : proceedings

Veröffentlicht 1993

Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, proceedings

Veröffentlicht 1993

Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings

Veröffentlicht 1993

Computer-aided verification : [selection of papers presented at the Fifth Conference on Computer-Aided Verification (CAV'93), held in Elounda, Greece, from June 28 - July 1, 1993

Veröffentlicht 1997

A theoretical framework to evaluate the traffic impact of urban freight consolidation centres

von Mepparambath, Rakhi Manohar
Veröffentlicht in Transportation research / E (2021)

Catastrophe by Design in Population Games: Destabilizing Wasteful Locked-In Technologies

von Leonardos, Stefanos
Veröffentlicht in WINE (16. : 2020 : Online) Web and internet economics (2020)

Peer-to-peer product sharing : implications for ownership, usage, and social welfare in the sharing economy

von Benjaafar, Saif
Veröffentlicht in Management science (2019)

Grid business models

Veröffentlicht in Grid and cloud computing (2010)