Βελτιώστε την αναζήτησή σας

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

Ταξινόμηση
Αποτελέσματα
41.
Automata, Languages and Programming Proceedings of the 23rd International Colloquim ICALP'96 Paderborn, Germany, July 6-12, 1996 Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1099
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 AUT.
42.
Research and Advanced Technology for Digital Libraries 2nd European Conference, ECDL'98 Heraklion, Crete,Greece September 21-23, 1998 Proceedings από
  • Nikolaou, Christos [edt]
  • Stephanidis, Constantine [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1513
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.759 2 RES.
43.
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.
44.
Efficient Graph Rewriting and its Implementation από
  • Dorr, Heiko [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 922
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 DOR.
45.
Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994 από
  • Birtwistle, Graham [edt]
  • Moller, Faron [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1043
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 MOL.
46.
New trends in formal languages Control,cooperation and combinatorics από
  • Paun, Gheorghe [aut]
  • Salomaa, Arto [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1218
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 PAU.
47.
Online Algorithms The state of the art [Proceedings} of the Workshop 1996 από
  • Fiat, Amos [edt]
  • Woeginger, Gerhard J [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1442
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 FIA.
48.
A primer in Petri Net design από
  • Reisig, Wolfgang [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI.
49.
Petrinetze Eine Einfuhrung από
  • Reisig, Wolfgang [aut]
Σειρά: Studienreihe Informatik / W. Brawer und G. Goos
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI.
50.
Averaging methods in nonlinear dynamical systems από
  • Sanders, J. A [aut]
  • Verhulst, F. (Ferdinand), 1939- [aut]
Σειρά: Applied Mathematical Sciences ; 59
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 515.355 SAN.
51.
Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation / Micha Hofri. από
  • Hofri, Micha [συγγραφέας.]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer Verlag, 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.12 HOF, ... Φυσικό (1)Ταξιθετικός αριθμός: 519.6 HOF.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud