On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4

On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Καββαδίας, Δημήτρης (Συγγραφέας), Σταυρόπουλος, Ηλίας Χ. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Patras Greece Computer Technology Institute February 1998
Θέματα:	CTI TR 1998 TECHNICAL REPORT ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ

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

On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17
ανά: Καββαδίας, Δημήτρης, κ.ά.
Έκδοση: (1998)

ΟΑΣΗΣ:Not According to Hoyle! C.T.I. Technical Report TR 98.4.19
ανά: Βελόνιας, Πλάτωνας, κ.ά.
Έκδοση: (1998)

Digital Robbery; Authors are not Unprotected C.T.I Technical Report TR 98.1.3
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1998)

Development and Integration of Intranet-based Services in a University C.T.I. Technical Report TR 98.1.1
ανά: Βασιλειάδης, Β., κ.ά.
Έκδοση: (1998)

A Web based Educational Application for Environmental Science Courses C.T.I. Technical Report TR 98.2.7
ανά: Βασιλειάδης, Β., κ.ά.
Έκδοση: (1998)

Development and Integration of WWW -based Services in an Existing University Environment. C.T.I Technical Report TR 98.2.10
ανά: Βασιλειάδης, Β., κ.ά.
Έκδοση: (1998)

The Design and Development of Advanced Network Services over the Patras University Campus Network C.T.I Technical Report TR 97.10.38 C.T.I. Technical Report TR 98.2.8
ανά: Αντωνίου, Γ., κ.ά.
Έκδοση: (1997)

An Interactive Web-based Approach for Environmental Science Courses in Secondary Education. C.T.I Technical Report TR 98.2.6
ανά: Βασιλειάδης, Β., κ.ά.

MERIMNA:An Introduction Multimedia Learning Environment in Bookbinding for Mentally Handicapped People C.T.I Technical Report TR 98.2.9
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1998)

How to use HTML Page Popularity to improve a Web Site's Structure C.T.I. Technical Report TR 98.3.16
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1998)

Digital Data Processing for Intellectual Property Rights Preservation Over World Wide Web. C.T.I Technical Report TR 98.1.2
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1998)

A Competitive Symmetrical Transfer Policy for Load Sharing C.T.I Technical Report TR 98.2.5
ανά: Αντωνής, Κωνσταντίνος, κ.ά.
Έκδοση: (1998)

A Proof of Menger's Theorem C.T.I. Technical Report TR 92.01.1
ανά: Δενδρής, Νίκος, κ.ά.
Έκδοση: (1992)

Approximating Linear Programming is log-space complete for P C.T.I. Technical Report TR.89.10.98
ανά: Serna, Maria, 1959-
Έκδοση: (1989)

An Interactive Cooperative Teleworking Environment Telemathea C.T.I. Technical Report TR 97.1.4 C.T.I. Technical Report TR 97.7.29 C.T.I. Technical Report TR 95.11.38
ανά: Καπούλας, Βαγγέλης, κ.ά.
Έκδοση: (1997)

On the number of edge disjoint paths C.T.I. [Technical Reports] TR. 97.11.43 C.T.I. [Technical Reports] TR. 97.11.41
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1997)

Some new Results on Intersection Query Problems C.T.I. Technical Reports TR 96.6.20 C.T.I. Technical Reports TR 95.11.36
ανά: Κίτσιος, Ν., κ.ά.
Έκδοση: (1996)

Fast piercing of iso-oriented planar rectangles C.T.I. Technical Report TR. 97.2.12 C.T.I. Technical Report TR. 97.8.32
ανά: Μακρής, Χρήστος, κ.ά.
Έκδοση: (1997)

On horn envelopes and hypergraph transversals (Extended Abstract for ISAAC) C.T.I. Technical Report TR 93.10.38
ανά: Καββαδίας, Δημήτρης, κ.ά.
Έκδοση: (1993)

The Recphone [C.T.I. Technical Report] TR 91.01.4 Part of TELEMED/RACE Project
ανά: Βασίλογλου, Παναγιώτης, κ.ά.
Έκδοση: (1991)

Efficient Distibuted Algorithms by Using the Archimedean Time Assumption. C.T.I. Technical Reports TR. 87.08.27 C.T.I. Technical Reports TR. 87.08.31
ανά: Σπυράκης, Παύλος Γ., κ.ά.
Έκδοση: (1987)

The Effect of Imperfect Clock Synchronization on Distibuted Timestamp Ordering [C.T.I. Technical Reports] TR. 90.05.13 C.T.I. Technical Reports TR. 90.10.28
ανά: Μπούρας, Χρήστος Ι., κ.ά.
Έκδοση: (1990)

A Hypertext Technical Dictionary with Multimedia Capabilities C.T.I. Technical Report TR 97.5.23
ανά: Βαγγελάτος, Αριστείδης, κ.ά.
Έκδοση: (1997)

On the Polygon Retrieval Problem C.T.I. Technical Report TR 91.09.23
ανά: Μπιστιόλας, Βαγγέλης, κ.ά.
Έκδοση: (1991)

Requirements for Distributed Hypermedia C.T.I. Technical Report TR 93.01.4
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1993)

Right Triangle Enclosures C.T.I. Technical Report TR 93.04.15
ανά: Σοφοτάσιος, Δημήτριος Π., κ.ά.
Έκδοση: (1993)

The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

An introduction to layer algebra C.T.I. Technical Report TR 94.01.2
ανά: Δελής, Βασίλης, κ.ά.
Έκδοση: (1994)

Designing the PELICAN-System C.T.I. Technical Report TR 94.02.7
ανά: Αυγερίδης, Κ., κ.ά.
Έκδοση: (1994)

On Map (Re)classification C.T.I. Technical Reports TR. 96.1.3
ανά: Δελής, Βασίλης, κ.ά.
Έκδοση: (1996)

On the Reliability of Fat-Trees C.T.I. Technical Reports TR. 96.06.18
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1996)

Optimizing the Implementation of H.261 Technical Report CTI TR 95.05.17
ανά: Καλλές, Δημήτριος, κ.ά.
Έκδοση: (1995)

Randomized adaptive video on demand CTI [Technical Report] TR 95.11.37
ανά: Καπούλας, Βαγγέλης, κ.ά.
Έκδοση: (1995)

Electronic shops'Engineering methodology. CTI Technical Report TR 2000/04/02
Έκδοση: (2000)

Watermarking of images in the DLT domain. CTI Technical Report TR 2000/03/02
Έκδοση: (2000)

Detection of Localities in Setl Programs CTI Technical Reports TR. 87.06.14
ανά: Σπυράκης, Παύλος Γ., κ.ά.
Έκδοση: (1987)

Integrated Systems Complexity. [C.T.I. Technical Reports] TR 87.11.35
ανά: Δορίζας, Γεώργιος, κ.ά.
Έκδοση: (1987)

Fast Soliton Automata. C.T.I. Technical Report TR. 89.05.89
ανά: Παπαθεοδώρου, Θεόδωρος Π., κ.ά.
Έκδοση: (1989)

The Specification of Data Abstractions [C.T.I.] Technical Report TR. 89.10.99
ανά: Βεντούρης, Κ., κ.ά.
Έκδοση: (1989)

Spiral Storage With Separators [C.T.I. Technical Reports] TR. 90.04.08
ανά: Μήτσος, Βασίλης, κ.ά.
Έκδοση: (1990)

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