Μεταφερθείτε στο κυρίως περιεχόμενο
Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών
Το καλάθι σας είναι άδειο.
Καλάθι
Λίστες
Δημόσιες λίστες
Απριλιανό καθεστώς
Προβολή όλων
Ιστορικό αναζήτησης
Καθαρισμός
Κατάλογος βιβλιοθήκης
Τίτλος
Συγγραφέας
Θέμα
ISBN
ISSN
Σειρά
Ταξιθετικός αριθμός
Σύνθετη αναζήτηση
Βιβλιογραφίες μαθημάτων
Αναζήτηση καθιερωμένων όρων
Βιβλιοθήκες
Συνδεθείτε στο λογαριασμό σας
×
Σύνδεση:
Κωδικός πρόσβασης:
Αρχική
Αποτελέσματα αναζήτησης για '147668'
Βελτιώστε την αναζήτησή σας
Διαθεσιμότητα
Περιορισμός μόνο στα διαθέσιμα τεκμήρια
Συγγραφείς
Bauer, Friedrich Lud...
Berger, Ulrich
Brauer, Wilfried
Schwichtenberg, Helm...
Βιβλιοθήκες που διαθέτουν αντίτυπα
ΒΚΠ - Πατρα
Τύποι τεκμηρίου
Book [21]
Book [Not For Loan]
Τοποθεσίες
Πληροφοριακό Αναγνωστήριο
Σειρά
NATO ASI series : Se...
Θέματα
Επιστήμη των υπολογι...
Λογική, Συμβολική κα...
Η αναζήτηση επέστρεψε 3 αποτελέσματα.
Ταξινόμηση
Ταξινόμηση κατά:
Σχετικότητα
Δημοτικότητα (φθίνουσα)
Δημοτικότητα (αύξουσα)
Συγγραφέας (Α-Ω)
Συγγραφέας (Ω-Α)
Ταξιθετικό αριθμό (0-9 έως Α-Ω)
Ταξιθετικό αριθμό (Ω-Α έως 9-0)
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Νεότερη προς παλαιότερη
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Παλαιότερη προς νεότερη
Ημερομηνία πρόσκτησης: Νεότερα προς παλαιότερα
Ημερομηνία πρόσκτησης: Παλαιότερα προς νεότερα
Τίτλος (Α-Ω)
Τίτλος (Ω-Α)
Αφαίρεση επισήμανσης
Τονισμός
Επιλογή όλων
Καθαρισμός όλων
Επιλογή τίτλων για:
Προσθήκη σε...
Καλάθι
Απριλιανό καθεστώς
[ Νέα λίστα ]
Αποτελέσματα
1.
Computational logic /
edited by Ulrich Berger, Helmut Schwichtenberg.
από
NATO Advanced Study Institute on Computational Logic
(1997 : Marktoberdorf, Germany)
Berger, Ulrich
, 1956-
[επιμελητής.]
Schwichtenberg, Helmut
, 1955-
[επιμελητής.]
Σειρά:
NATO ASI series
. Computer and systems sciences ; 165.
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης:
Berlin :
Springer,
1999
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα για δανεισμό:
ΒΚΠ - Πατρα
(1)
Ταξιθετικός αριθμός:
Π/Σ 004.015 113 NAT
.
Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή:
ΒΚΠ - Πατρα: Not for loan
(1)
Ταξιθετικός αριθμός:
Π/Σ 004.015 113 NAT
.
Προσθήκη στο καλάθι
(αφαίρεση)
2.
Logic of computation /
edited by Helmut Schwichtenberg.
από
NATO Advanced Study Institute on Logic of Computation
(1995 : Marktoberdorf, Germany)
Schwichtenberg, Helmut
, 1955-
[επιμελητής.]
Σειρά:
NATO ASI series
. Computer and systems sciences ; 157.
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης:
Berlin :
Springer,
1997
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή:
ΒΚΠ - Πατρα: Not for loan
(1)
Ταξιθετικός αριθμός:
Π/Σ 005.1 NAT
.
Προσθήκη στο καλάθι
(αφαίρεση)
3.
Logic and algebra of specification /
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
από
NATO Advanced Study Institute on Logic and Algebra of Specification
(1991 : Marktoberdorf, Germany)
Bauer, Friedrich Ludwiq
, 1924-
[επιμελητής.]
Brauer, Wilfried
[επιμελητής.]
Schwichtenberg, Helmut
, 1955-
[επιμελητής.]
Σειρά:
NATO ASI series
. Computer and systems sciences ; 94.
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης:
Berlin :
Springer,
1993
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή:
ΒΚΠ - Πατρα: Not for loan
(1)
Ταξιθετικός αριθμός:
Π/Σ 004.015 113 NAT
.
Προσθήκη στο καλάθι
(αφαίρεση)
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621,
Φόρμα επικοινωνίας