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

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

Ταξινόμηση
Αποτελέσματα
81.
Using sophisticated models in resolution theorem proving David M. Sandford από
  • Sandford, David M [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1980
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SAN.
82.
Geochemical approaches to environmental engineering of metals Rudolf Reuther (ed.) από
  • Reuther, Rudolf [edt]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin New York Springer 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 551.9 R.
83.
Basic geometry of voting Donald G. Saari από
  • Saari, Donald G
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin New York Springer 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 324.015 16 S.
84.
DNA computing new computing paradigms G. Paun, G. Rozenberg, A. Salomaa από
  • Paun, G
  • Rozenberg, Grzegorz
  • Salomaa, A
Σειρά: Texts in theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P.
85.
The theory of algebraic number fieds David Hilbert; translted from the German by Iain T. Adamson ; with an introduction by Franz Lemmermeyer and Norbert Schappacher από
  • Hilbert, David, 1862-1943
  • Adamson, Iain T [trl]
  • Franz, Lemmermeyer [aui]
  • Norbert, Schappacher [aui]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 512.74 ΗIL, ...
86.
Computing in Horn clause theories Peter Padawitz από
  • Padawitz, Peter
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P.
87.
Geschichte der kriegskunst im rahmen der politischen geschichte Hans Delbruck από
  • Delbruck, Hans
  • Haintz, Otto [aui]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Walter de Gruyter 1962
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 355 D.
88.
Discrete images, objects, and functions in Zυn Klaus Voss από
  • Voss, Klaus
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 621.367 V.
89.
World in transition ways towards sustainable management of freshwater resources annual report 1997 German Advisory Council on Global Change από
  • German Advisory Council on Global Change
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 628.16 WBG.
90.
Proceedings of a conference on local fields edited by T.A. Springer από
  • Springer, T. A. (Tonny Albert), 1926- [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά, French, German
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1967
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.3 SPR.
91.
Nonparametric regression analysis of longitudinal data Hans-Georg Muller από
  • Muller, Hans-Georg, 1956- [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 519.536 MUL.
92.
Logics for concurrency structure versus automata Faron Moller, Graham Birtwistle (Eds.) από
  • Moller, Faron, 1962- [edt]
  • Birtwistle, Graham [edt]
Σειρά: Lecture notes in computer science ; 1043
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.36 M.
93.
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.
94.
Comparative aspects of reproductive failure proceedings ...[of] an International Conference at Dartmouth Medical School, Hanover, N.H.-July 25-29, 1966 edited by Kurt Benirschke από
  • Benirschke, Kurt [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1967
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 571.8 B.
95.
Histochemie einfuhrung in grundlagen und prinzipien der methoden Michael Arnold από
  • Arnold, Michael
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1968
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 572 A.
96.
Geometric and quantum aspects of integrable systems proceedings of the Eighth Scheveningen Conference, Scheveningen, The Netherlands, August 16-21, 1992 G. F. Helminck, (Ed.) από
  • Helminck, G. F [edt]
Σειρά: Lecture notes in physics ; 424
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 530.15 H.
97.
Hypotensive peptides proceedings of the International Symposium, October 25-29, 1965, Florence, Italy edited by Ervin G. Erdos, Nathan Back, Federigo Sicuteri από
  • Erdos, Ervin G [edt]
  • Back, Nathan [edt]
  • Sicuteri, Federigo [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1966
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 572.65 E.
98.
Conceptual structures fulfilling Peirce's dream proceedings...[of] Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997 Dickson Lukose ...[et al.], (eds.) από
  • Lukose, Dickson [edt]
Σειρά: Lecture notes in computer science ; 1257
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.33 L.
99.
Biologische schadlingsbekampfung Jost Martin Franz, Aloysius Krieg από
  • Franz, Jost Martin
  • Krieg, Aloysius
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Paul Parey 1972
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 571.999 F.
100.
Systems of reductions B. Benninghofen, S. Kemmerich, M.M. Richter από
  • Benninghofen, B. ((Benjamin)), 1958- [aut]
  • Kemmerich, S. ((Susanne)), 1953- [aut]
  • Richter, Michael M, 1938- [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BEN.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud