Your search returned 3 results.

Sort
Results
Pricing communication networks : economics, technology and modelling

by Courcoubetis, Costas | Weber, Richard | .

Series: Edition: Language: English Publication details: Chichester ; John Wiley ; 2003Availability: Items available for loan: 1 Call number: 621.39:338.5Cou.

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

by | Courcoubetis, Costas | Courcoubetis, Costas.

Series: Lecture notes in computer science ; v.697Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: 1 Call number: 681.3.06Com:5:93.

Computer aided verification (e-book)

by Courcoubetis, Costas.

Series: Lecture Notes in Computer Science (LNCS) ; v.697Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1993Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .

Pages

Powered by Koha