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

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

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
41.
Relations and graphs : discrete mathematics for computer scientists / Gunther Schmidt, Thomas Ströhlein. από
  • Schmidt, Gunther, 1939- [συγγραφέας.]
  • Strohlein, Thomas [συγγραφέας.]
Σειρά: EATCS monographs on theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Γλώσσα: Αγγλικά Original language: German
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 1SCH.
Προσθήκη στο καλάθι
42.
Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz. από
  • Michalewicz, Zbigniew [συγγραφέας.]
Έκδοση: 2nd, extended ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 MIC, ...
Προσθήκη στο καλάθι
43.
Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings / Josep Diaz, Maria Serna (eds.). από
  • ESA '96 (1996 : Barcelona, Spain)
  • Díaz, J. (Josep), 1950- [επιμελητής]
  • Serna, Maria, 1959- [επιμελήτρια]
Σειρά: Lecture notes in computer science ; 1136
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 118 ESA.
Προσθήκη στο καλάθι
44.
Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró. από
  • Balcázar, José Luis [συγγραφέας]
  • Díaz, J. (Josep), 1950- [συγγραφέας]
  • Gabarró, Joaquim [συγγραφέας]
Σειρά: Texts in theoretical computer science
Έκδοση: 2nd, rev. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1995
Άλλος τίτλος:
  • Structural complexity I
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BAL.
Προσθήκη στο καλάθι
45.
Communication Complexity and Parallel Computing από
  • Hromkovic, Juraj [aut]
Σειρά: Texts in Theoretical Computer Science An EATCS Series / W. Brauer G. Rozenberg A. Salomaa | Texts in Theoretical Computer Science - An EATCS Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.275 HRO.
Προσθήκη στο καλάθι
46.
Logic Programming and Databases από
  • Ceri, S [aut]
  • Gottlob, G [aut]
  • Tanca, L [aut]
Σειρά: Surveys in Computer Science / G.Schlageter-F.Stetter-E.Goto
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.74 CER.
Προσθήκη στο καλάθι
47.
Foundations of inductive logic programming από
  • Nienhuys-Cheng, Shan-Hwei [aut]
  • Wolf de, Ronald [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1228
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 NIE.
Προσθήκη στο καλάθι
48.
Handbook of formal languages από
  • Rosenberg, G [edt]
  • Salomaa, Arto [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 ROS.
Προσθήκη στο καλάθι
49.
Handbook of formal languages από
  • Rosenberg, G [edt]
  • Salomaa, Arto [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 ROS.
Προσθήκη στο καλάθι
50.
Graphs, networks and algorithms από
  • Jungnickel, Dieter [aut]
Σειρά: Algorithms and Computation in Mathematics ; 5
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 JUN.
Προσθήκη στο καλάθι
51.
Advances in Petri nets 1991 / Grzegorz Rozenberg (ed.). από
  • Rozenberg, Grzegorz [επιμελητής]
Σειρά: Lecture notes in computer science ; 524
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV.
Προσθήκη στο καλάθι
52.
Advances in Petri nets 1987 / Grzegorz Rozenberg (ed.). από
  • Rozenberg, Grzegorz [επιμελητής]
Σειρά: Lecture notes in computer science ; 266
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV.
Προσθήκη στο καλάθι
53.
Advances in Petri nets 1988 / Grzegorz Rozenberg (ed.). από
  • Rozenberg, Grzegorz [επιμελητής]
Σειρά: Lecture notes in computer science ; 340
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ROS.
Προσθήκη στο καλάθι
54.
Advances in Petri nets 1989 / Grzegorz Rozenberg (ed.). από
  • Rozenberg, Grzegorz [επιμελητής]
Σειρά: Lecture notes in computer science ; 424
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV.
Προσθήκη στο καλάθι
55.
Advances in Petri nets 1990 / Grzegorz Rozenberg (ed.). από
  • Rozenberg, Grzegorz [επιμελητής]
Σειρά: Lecture notes in computer science ; 483
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV.
Προσθήκη στο καλάθι
56.
Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship J. Zwiers από
  • Zwiers, J [aut]
Σειρά: Lecture Notes in Computer Science ; 321
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin Springer 1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.6 ZWI.
Προσθήκη στο καλάθι
57.
The logic programming paradigm A 25-year perspective K.R. Apt,V.W. Marek,M. Truszczynski,D.S. Warren eds από
  • Apt, Krzysztof [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin Springer 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 APT.
Προσθήκη στο καλάθι
58.
Verification of sequential and concurrent programs Krzysztof R. Apt Ernst-Rudiger Olderog από
  • Apt, Krzysztof [aut]
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.14 APT.
Προσθήκη στο καλάθι
59.
Combinatorial Group Theory and Applications to Geometry D.J. Collins, R.I. Grigorchuk, P.F. Kurchanov, H. Zieschang από
  • Collins, D.J [aut]
  • Grigorchuk, R.I [aut]
  • Kurchanov, P.F [aut]
  • Zieschang, H [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.2 COL.
Προσθήκη στο καλάθι
60.
Reciprocity Laws From Euler to Eisenstein Franz Lemmermeyer από
  • LEMMERLEYER, FRANZ [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin Springer 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.74 LEM.
Προσθήκη στο καλάθι
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud