High-order operational techniques in semantics Andrew D. Gordon and Andrew M. Pitts eds

Συντελεστής(ές):

Τύπος υλικού:

ΚείμενοΛεπτομέρειες δημοσίευσης: Cambridge University Press 1998ISBN:

Θέμα(τα):

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Συλλογή	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book [21]	ΒΚΠ - Πατρα Αποθήκη 2.10	Non-fiction	005.13 GOR (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Διαθέσιμο		025000284128

Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων

Κοινοποίηση