Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02

Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Σταυρόπουλος, Ηλίας Χ., καββαδίας, Δημήτρης Ι., Kavvadias Dimitris J., Stavropoulos Elias C.
Μορφή:	Βιβλίο
Έκδοση:	Patras-Hellas CTI c2003
Θέματα:	TECHNICAL REPORT CTI TR 2003 ΤΕΧΝIΚΗ ΑΝΑΦΟΡΑ

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

Information Systems in Healthcare at the start of the new millenium: Potential & limitations of technology management TECHNICAL REPORT No.2003/08/01 J.Sarivougioukas, A.Vagelatos
Έκδοση: (2003)

Improved Bounds for Finger Search on a RAM TECHNICAL REPORT No.TR2003/07/01
Έκδοση: (2003)

Design and implementation of an office suite for people with special needs TECHNICAL REPORTS No.TR2003/07/03
Έκδοση: (2003)

A new role for the IT Department in Greek Hospitals CTI TECHNICAL REPORT No.TR2003/05/02
Έκδοση: (2003)

Σύστημα εκπαίδευσης από απόσταση των επαγγελματιών υγείας σε θέματα πληροφορικής της υγείας TECHNICAL REPORT No.2003/12/01
Έκδοση: (2003)

A 3-approximation algorithm for radiocoloring k-level restricted hierarchically specified planar graphs TECHNICAL REPORT No._TR2003/05/03
Έκδοση: (2003)

A 2,66-approximation algorithm for radiocoloring k-level restricted hierarchically specified planar graphs TECHNICAL REPORT No._TR2003/05/03
Έκδοση: (2003)

Τομέας έρευνας και ανάπτυξης ΤΕΧΝΙΚΕΣ ΑΝΑΦΟΡΕΣ Γ' ΤΡΙΜΗΝΟΥ 2003
Έκδοση: (2003)

Τομέας έρευνας και ανάπτυξης ΤΕΧΝΙΚΕΣ ΑΝΑΦΟΡΕΣ Α' & Β' ΤΡΙΜΗΝΟΥ 2003
Έκδοση: (2003)

Selfish Unsplittable Flows TECHNICAL REPORT No._TR2004/02/01
Έκδοση: (2004)

Improving Trajectory Data Query Performance through Data Model Manipulation TECHNICAL REPORT No.2004/03/02
Έκδοση: (2004)

An electronic dictionary as a basis for NLP tools: The greek case TECHNICAL REPORT No.2004/04/03
Έκδοση: (2004)

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

Indeterminacy and spatiotemporal data: the moving point object case R.A.C.T.I. TECHNICAL REPORT No.2004/02/03
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (2004)

The space and time ontology in location-based services R.A.C.T.I. TECHNICAL REPORT No.2004/06/03
Έκδοση: (2004)

Modelling, storing and mining moving object databases R.A.C.T.I. TECHNICAL REPORTS No.2004/02/02
ανά: Τρύφωνα, Νεκταρία
Έκδοση: (2004)

Implementation of a Greek morphological lexicon for the biomedical domain CTI Technical Report No. TR2003/04/01
ανά: Τσαλίδης, Χρήστος, κ.ά.
Έκδοση: (2003)

The impact of the LIS to the hospital's analytical laboratory quality accreditation CTI Technical Report No. TR2003/05/01
ανά: Βαγγελάτος, Αριστείδης, κ.ά.
Έκδοση: (2003)

On the selection of class field polynomials in elliptic curve cryptography CTI Technical Report No. TR 2003/06/01
ανά: KONSTANTINOU, ELISAVET, κ.ά.
Έκδοση: (2003)

Regional Health Care Authorities delivering application services to primary health care units CTI Technical Report No. TR2003/03/01
ανά: Βαγγελάτος, Αριστείδης, κ.ά.
Έκδοση: (2003)

The nondeterministic complexity of the fredman and khachiyan algorithm for the dualization of monotone DNFs CTI Technical Report 2001/12/03
ανά: Καββαδίας, Δημήτρης, κ.ά.
Έκδοση: (2001)

Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
ανά: Γαροφαλάκης, Μίνως
Έκδοση: (1993)

Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations C.T.I. Technical Report TR 93.01.2
ανά: Βενέρης, Ανδρέας, κ.ά.
Έκδοση: (1993)

A brief survey on data structuring problems. CTI Technical Report TR 2000/07/02
Έκδοση: (2000)

New Efficient Totally Self Checking Berger Code Checkers C.T.I. TR. 97.8.33
ανά: Γκναρδέλης, Τ., κ.ά.
Έκδοση: (1997)

Evaluation of access structures for discretely moving points C.T.I. Technical Report TR 99/07/02
Έκδοση: (1999)

Modelling Geographic Applications with Objects: Promises and Limitations C.T.I. Technical Report TR 94.03.18
ανά: Γιαννακοπούλου, Δ., κ.ά.
Έκδοση: (1994)

Diminished - 1 Modulo 2n + 1 Adder Design Technical Report TR 2001/02/02
ανά: Βέργος, Χαρίδημος Θ., κ.ά.
Έκδοση: (2001)

New Balanced Search Trees with Constant Update Time CTI Technical Report TR No. 2002/02/02
ανά: Μακρής, Χρήστος, κ.ά.
Έκδοση: (2002)

An Internet based adaptive educational system for the greek sign language. CTI Technical Report TR 2000/02/02
Έκδοση: (2000)

Geometric Deformations and Watermarking CTI Technical Report TR 2002/09/02
ανά: Φωτοπουλος, Β., κ.ά.
Έκδοση: (2002)

Multiple channel watermarking of color images cti Technical Report 2002/02/03
ανά: GILANI, S. Asif Mahmood, κ.ά.
Έκδοση: (2002)

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

Fast parallel weighted random sampling. CTI Technical Report 99/06/02
Έκδοση: (1999)

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)

Optimal parallel Algorithms for Sparce Graphs C.T.I. Technical Report TR.90.04.07
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1990)

A Conceptual Schema for Geographic Databases C.T.I. Technical Report TR 91.03.07
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (1991)

Efficient DCT Implementation on the DSP96002 C.T.I. Technical Report: TR 97.07.27
ανά: Λιβανός, Ν., κ.ά.
Έκδοση: (1997)

Path delay fault testable modified booth multipliers. CTI Technical Report 99/07/01
Έκδοση: (1999)

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

Cannot write session to /tmp/vufind_sessions/sess_i0a78qljg8va7vi58k1cr6tigp