Η αναζήτηση επέστρεψε 9 αποτελέσματα.

Αποτελέσματα
	1.	Syntax-directed semantics formal models based on tree transducers Zoltan Fulop, Heiko Vogler από Fulop, Zoltan Vogler, Heiko Σειρά: Monographs in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 F. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Coloured Petri nets : basic concepts, analysis methods, and practical use / Kurt Jensen. από Jensen, K. (Kurt), 1950- [συγγραφέας] Σειρά: Monographs in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1992-c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (7)Ταξιθετικός αριθμός: 511.5 J, ... Προσθήκη στο καλάθι (αφαίρεση)
	3.	The logic of partial information Areski Nait Abdallah από Nait Abdallah, Areski, 1950- Σειρά: Monographs in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 N. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Theoretical Aspects of Local Search [electronic resource] by Wil Michiels, Jan Korst, Emile Aarts από Michiels, Wil Korst, Jan Aarts, E. H. L. (Emile H. L.) Σειρά: Monographs in Theoretical Computer Science, An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	5.	Fundamentals of Algebraic Graph Transformation [electronic resource] by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer από Ehrig, Hartmut Ehrig, Karsten Prange, Ulrike Taentzer, Gabriele Σειρά: Monographs in Theoretical Computer Science. An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	6.	Specification and analysis of concurrent systems The COSY approach από Janicki, Ryszard [aut] Lauer, Peter E [aut] Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.12 JAN. Προσθήκη στο καλάθι (αφαίρεση)
	7.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Computing in Horn Clause Theories από Padawitz, Peter [aut] Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa ; 16 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 PAD. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Fundamentals of computer security / Josef Pieprzyk ; Thomas Hardjono ; Jennifer Seberry. από Pieprzyk, Josef Hardjono, Thomas Seberry, Jennifer Σειρά: Monographs in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin New York : Springer, c2003 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Μεσολόγγι (2)Ταξιθετικός αριθμός: 005.8 PIE, ... Προσθήκη στο καλάθι (αφαίρεση)
	9.	Theoretical aspects of distributed computing in sensor networks / Sotiris Nikoletseas, José D.P. Rolim, editors. από Νικολετσέας, Σωτήριος [επιμελητής.] Rolim, Jose D. P [επιμελητής.] Σειρά: Monographs in theoretical computer science Τύπος υλικού: Κείμενο; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin : Springer, 2011 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.25 THE. Προσθήκη στο καλάθι (αφαίρεση)

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