Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων Διπλωματική εργασία.

Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων Διπλωματική εργασία.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Ματσούκας, Σπύρος (Συγγραφέας)
Άλλοι συγγραφείς:	Τσακαλίδης, Αθανάσιος
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Πάτρα Τμημα Η/Υ. Πτυχιακές Εργασίες. Ιούνιος 1994
Θέματα:	ACT > P COMPUTER PROGRAMMING Ηλεκτρονικοί υπολογιστές > Προγραμματισμός ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1994 ΣΤΡΑΤΗΓΙΚΕΣ ΕΛΕΓΧΟΥ

Παρόμοια τεκμήρια

Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
ανά: Γριβοκωστοπούλου, Φωτεινή
Έκδοση: (2010)

Graph editor για το μοντέλο IMFG Διπλωματική εργασία.
ανά: Μπέχλος, Νικόλαος
Έκδοση: (1994)

Ανάλυση και σχεδίαση πληροφοριακού συστήματος Δημοτικής Βιβλιοθήκης Διπλωματική εργασία.
ανά: Φραντζής, Χαράλαμπος Ε.
Έκδοση: (1994)

RF modem Διπλωματική εργασία.
ανά: Παναγιωτάς, Στέλιος, κ.ά.
Έκδοση: (1994)

Αναγνώριση γραμμάτων με μεθόδους ασαφών συνόλων Διπλωματική εργασία.
ανά: Ποζίδης, Χαράλαμπος
Έκδοση: (1994)

Θεματικός κατάλογος των περιοδικών της βιβλιοθήκης του Ινστιτούτου Τεχνολογίας Υπολογιστών Πτυχιακή εργασία. Τ.Ε.Ι. Αθήνας. Σχολή Διοίκησης και Οικονομίας Τμήμα Βιβλιοθηκονομίας
ανά: Ανδρικοπούλου, Αγγελική
Έκδοση: (1994)

Σχεδίαση και υλοποίηση ηλεκτρονικής διάταξης ελέγχου ηλεκτροχρωμικών παραθύρων
ανά: Παπαθανασόπουλος, Δημήτριος
Έκδοση: (2017)

Αλγόριθμοι διαδρόμησης (Scheduling) για το λειτουργικό σύστημα ΝΧ/2 του iPSC/2 της INTEL. Επισκόπηση, συγκριτική μελέτη υπαρχόντων αλγορίθμων και επέμβαση στο λειτουργικό ΝΧ/2 για την υλοποίηση τους. Διπλωματική εργασία.
ανά: Δημητρόπουλος, Δημήτρης, κ.ά.
Έκδοση: (1994)

Βελτίωση και επέκταση του συστήματος FIRE σε θέματα ομαδοποίησης κειμένων, passage retrieval και ασφάλειας Διπλωματική εργασία.
ανά: Αντωνής, Κωνσταντίνος, κ.ά.
Έκδοση: (1994)

Παράλληλη ανάκτηση κειμένων εφαρμογή:παραλληλοποίηση του συστήματος FIRE στήν παράλληλη μηχανή Parsytec GCel 3/512 Διπλωματική εργασία.
ανά: Γλυμιδάκης, Χρήστος, κ.ά.
Έκδοση: (1994)

Παράλληλη ανάκτηση κειμένων εφαρμογή:παραλληλοποίηση του συστήματος FIRE στήν παράλληλη μηχανή Parsytec GCel 3/512 Διπλωματική εργασία.
ανά: Γλυμιδάκης, Χρήστος, κ.ά.
Έκδοση: (1994)

Σχεδιασμός και υλοποίηση αλγόριθμων για scaling με την αριθμητική RNS Διπλωματική εργασία.
ανά: Rjoub, Abdoul
Έκδοση: (1994)

Γραφική αναπαράσταση των φαινομένων που σχετίζονται με τη κίνηση της Γής γύρω απο τον άξονα της και γύρω απο τον Ηλιο Διπλωματική εργασία.
ανά: Γκόρος, Παντελής
Έκδοση: (1994)

Σχεδιασμός και ανάπτυξη ενός συστήματος ηλεκτρονικών ετικεττών Διπλωματική εργασία.
ανά: Θεοχάρης, Σπύρος, κ.ά.
Έκδοση: (1994)

Προσαρμοστική ταυτοποίηση συστημάτων σε υποζώνες συχνοτήτων και εφαρμογή του σε αφαίρεση ηχώς Διπλωματική εργασία.
ανά: Κώστας, Απόστολος
Έκδοση: (1994)

Μελέτη σχημάτων ελέγχου και αποφυγής συμφόρησης σε δίκτυα τύπου ΑΤΜ A congestion avoidance algorithm based on BMOL Διπλωματική εργασία.
ανά: Γαβριηλίδης, Π., κ.ά.
Έκδοση: (1994)

A little smalltalk
ανά: Budd, Timothy
Έκδοση: (1987)

Fundamentals of computer algorithms
ανά: Horowitz, Ellis, κ.ά.
Έκδοση: (1986)

Digital computer design
ανά: Heath, F. G.
Έκδοση: (1969)

Software engineering environments
Έκδοση: (1988)

Σχεδιασμός και υλοποίηση ενός πληροφοριακού συστήματος για στήριξη αποφάσεων. Η περίπτωση ενός διαγνωστικού κέντρου Διπλωματική εργασία.
ανά: Οικονόμου, Φώτιος
Έκδοση: (1994)

Πρόσφατες εξελίξεις στα δίκτυα υπολογιστών και πιθανές επιδράσεις στόν κατανεμημένο υπολογισμό Διπλωματική εργασία.
ανά: Αναστασιάδης, Στέργιος Β.
Έκδοση: (1994)

Σχεδιασμός και υλοποίηση ενός Knowledge-based προσομοιωτή flow-shop συστήματος παραγωγής Διπλωματική εργασία.
ανά: Σουκάκος, Μιχάλης, κ.ά.
Έκδοση: (1994)

Ανάπτυξη πιλοτικού συστήματος ιδεατής βιβλιοθήκης με χρήση του πρωτοκόλλου Χ.500 για την διασύνδεση, με ολοκληρωμένο τρόπο, απομακρυσμένων βιβλιογραφικών βάσεων δεδομένων Διπλωματική εργασία.
ανά: Ζαχαριάδης, Θεόδωρος
Έκδοση: (1994)

Ανάλυση, μοντελοποίηση και έλεγχος τεχνητών πνευματικών μυών
ανά: Ανδρικόπουλος, Γεώργιος
Έκδοση: (2016)

Υλοποίηση ενός DCVS-Compiler Διπλωματική εργασία.
ανά: Χατζηαντωνίου, Παναγιώτης
Έκδοση: (1994)

Υλοποίηση σε VLSI CMOS 2.0μ ενός 2-D median φίλτρου με μεταβλητό μήκος παραθύρου Διπλωματική εργασία.
ανά: Βαβουλίδης, Χρήστος, κ.ά.
Έκδοση: (1994)

Interactive multimedia production Διπλωματική εργασία.
ανά: Μπητόπουλος, Κωνσταντίνος, κ.ά.
Έκδοση: (1994)

Εφαρμογές videotex σε πανεπιστημιακό περιβάλλον Διπλωματική εργασία.
ανά: Παπαγεωργίου, Αναστασία, κ.ά.
Έκδοση: (1994)

Τεχνικές ανάκτησης πληροφορίας Διπλωματική εργασία.
ανά: Κωστίδου, Στέλλα
Έκδοση: (1994)

Σχεδιασμός/Υλοποίηση λεξικού τεχνικών όρων με δομή υπερκειμένου και δυνατότητες πολυμέσων. Διπλωματική εργασία.
ανά: Ορφανός, Γιώργος
Έκδοση: (1994)

Παράλληλη επίλυση γραμμικών συστημάτων με τη μέθοδο AOR Διπλωματική εργασία.
ανά: Τσαπατώρης, Βασίλης
Έκδοση: (1994)

Μεταφορά και προσαρμογή ενός γεννήτορα έμπειρου διδακτικού υλικού σε περιβάλλον Windows Διπλωματική εργασία.
ανά: Κουταλιέρης, Γιώργος, κ.ά.
Έκδοση: (1994)

Κατανεμημένα υπολογιστικά συστήματα Πρωτόκολλα συγχρονιστών και η χρήση τους στα πλαίσια ανθεκτικότητας σε σφάλματα. Διπλωματική εργασία.
ανά: Παπαδημητρίου, Γιώργος
Έκδοση: (1994)

Artificial intelligence programming
ανά: Charniak, Eugene, κ.ά.
Έκδοση: (1987)

Introduction to programming and computer science
ανά: Ralston, Anthony
Έκδοση: (1971)

Computer organization and programming
ανά: Gear, C. W.
Έκδοση: (1969)

LUCAS associative array processor Design, programming and application studies
ανά: Kruzela, Ivan, κ.ά.
Έκδοση: (1986)

"Αποκατάληξη" Εύρεση του θέματος ελληνικών λέξεων με τη βοήθεια υπολογιστή Διπλωματική εργασία.
ανά: Πελέκη, Ευφροσύνη
Έκδοση: (1994)

Επισκόπηση στήν παράλληλη υπολογιστική γεωμετρία Διπλωματική εργασία.
ανά: Αθανασοπούλου, Παρασκευή, κ.ά.
Έκδοση: (1994)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_k2vsds46qbht9v6e4q5uhnuim2