Η αναζήτηση επέστρεψε 2 αποτελέσματα.

Αποτελέσματα
	1.	Trustworthly Global Computing [electronic resource] 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers edited by Martin Wirsing, Martin Hofmann, Axel Rauschmayer από Wirsing, Martin Hofmann, Martin Rauschmayer, Axel SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6084 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	2.	Extensional constructs in intensional type theory Martin Hofmann από Hofmann, Martin Σειρά: CPHC/BCS distinguished dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 H. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας