Κανονική προβολή Προβολή MARC Προβολή ISBD

Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών Πέτρου Σ. Στεφανέα; Εθνικό Μετσόβειο Πολυτεχνείο

Κατά: Συντελεστής(ές): Τύπος υλικού: ΚείμενοΚείμενοΓλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Αθήνα [χ.ό.] 2001Περιγραφή: 155 σ. σχήμ., πίν. 30 εκΘέμα(τα): Ταξινόμηση DDC:
  • 511.3
Αντίτυπα
Τύπος τεκμηρίου Τρέχουσα βιβλιοθήκη Ταξιθετικός αριθμός Αριθμός αντιτύπου Κατάσταση Ημερομηνία λήξης Ραβδοκώδικας
Book [Theses & Dissertations] Book [Theses & Dissertations] ΒΚΠ - Πατρα Αναγνωστήριο ερευνητών 511.3 ΣΤΕ (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) 1 Διαθέσιμο 025000106599
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Αναγνωστήριο ερευνητών Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
510.78 ΜΑΡ Το εκπαιδευτικό λογισμικό και η διδασκαλία των μαθηματικών με έμφαση στα λογισμικά δυναμικής γεωμετρίας 511.1 ΧΡΙ Επίλυση προβλημάτων στα διακριτά μαθηματικά 511.3 ΚΕΡ Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων 511.3 ΣΤΕ Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών 511.3 ΤΣΙ Εφαρμογή των κινητικών δομών δεδομένων σε προβλήματα της υπολογιστικής γεωμετρίας 511.313 ΘΕΟ Στατιστική ανάλυση πολυδιάστατων δεδομένων 511.322 ΑΓΚ Μέθοδος σχεδιασμού αντικειμενοστράφους και αξιολόγηση εργαλείων C.A.S.E με ασαφή λογισμό

Διδακτορική διατριβή

Περιλαμβάνει βιβλιογραφία

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud