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

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

Ταξινόμηση
Αποτελέσματα
621.
Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings D. Kapur (ed.) από
  • Kapur, Deepak [edt]
Σειρά: Lecture notes in artificial intelligence ; 607
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 INT.
622.
SWAT 90 : 2nd Scandinavian Workshop on algorithm theory, Bergen, Sweden, July 11-14, 1990 : proceedings / J. R. Gilbert, R. Karlsson (eds.). από
  • Gilbert, J. R. (John R.), 1953- [επιμελητής]
  • Karlsson, R [επιμελητής]
Σειρά: Lecture notes in computer science ; 447
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 SWA.
623.
Algorithms and data structures : 2nd workshop, WADS '91, Ottawa, Canada, August 14-16, 1991 : proceedings / F. Dehne, J.-R. Sack, N. Santoro, eds. από
  • WADS '91 (1991 : Ottawa, Ont.)
  • Dehne, F. (Frank), 1960- [επιμελήτής]
  • Sack, J.-R. (Jörg Rüdiger), 1954- [επιμελητής]
  • Santoro, N. (Nicola), 1951- [επιμελητής]
Σειρά: Lecture notes in computer science ; 519
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.73 WAD.
624.
Supercomputing Proceedings of the 1st International Conference Athens, Greece, June 8-12, 1987 Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 297
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (2)Ταξιθετικός αριθμός: 004.11, ...
625.
Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985 από
  • Ganzinger, H [edt]
  • Jones, N. D [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 217
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.7.
626.
Advances in Cryptology - CRYPTO '89 Proceedings από
  • Brassard, Gilles, 1955- [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 435
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 652.8.
627.
Advances in Cryptology - CRYPTO '90 Proceedings από
  • Menezes, A. J. (Alfred J.), 1965- [edt]
  • Vanstone, S. A [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 537
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 652.8.
628.
Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985] από
  • Rozenberg, Grzegorz [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 222
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (2)Ταξιθετικός αριθμός: 511.3 ROZ, ...
629.
Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings / F. Dehne, J.-R. Sack, N. Santoro (eds.). από
  • Workshop WADS '89 (1989 : Ottawa, Ont.)
  • Dehne, F. (Frank), 1960- [επιμελητής]
  • Sack, J.-R. (Jörg Rüdiger), 1954- [επιμελητής]
  • Santoro, N. (Nicola), 1951- [επιμελητής]
Σειρά: Lecture notes in computer science ; 382
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.73 WOR.
630.
Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989 από
  • Ausiello, G [edt]
  • Dezani-Ciancaglini, M [edt]
  • Ronchi Della Rocca, S [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 372
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 AUT.
631.
Efficient checking of polynomials and proofs and the hardness of approximation problems Madhu Sudan από
  • Sudan, Madhu
Σειρά: Lecture notes in computer science ; 1001
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag, Incorporated 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.942 SUD.
632.
Advances in Spatial Databases Proceedings of the Third International Symposium,'93 Singapore, June 23-25, 1993 από
  • Abel, David [edt]
  • Beng Chin, Ooi [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 692
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.74 ABE.
633.
Advances in Cryptology - CRYPTO '91 Proceedings από
  • Feigenbaum, J [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 576
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 652.8.
634.
Advances in Cryptology - EUROCRYPT '92 Proceedings.Workshop on the Theory and Application of Cryptographic Techniques. Balatonfured, Hungary May 24-28, 1992 από
  • Rueppel, R. A [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 658
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 652.8.
635.
Theoretical Aspects of Computer Science STACS 93 Proceedings of 10th Annual Symposium Wurzburg Germany, February 25-27, 1993 από
  • Enjalbert, P [edt]
  • Finkel, A [edt]
  • Wagner, K. W [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 665
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 THE.
636.
Theoretical Aspects of Computer Science STACS 92 Proceedings of 9th Annual Symposium Cachan, France, February 13-15, 1992 από
  • Finkel, A [edt]
  • Jantzen, M [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 577
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 THE.
637.
Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings / S. Toueg, P.G. Spirakis, L. Kirousis, eds. από
  • Κυρούσης, Λευτέρης Μ, 1951- [επιμελητής]
  • Σπυράκης, Παύλος Γ, 1955- [επιμελητής]
  • Toueg, S. (Sam), 1953- [επιμελητής]
  • International Workshop on Distributed Algorithms (5th : 1991 : Delphoi, Greece)
Σειρά: Lecture notes in computer science ; 579
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.36 DIS.
638.
HTheories Iand methods of spatio-temporal reasoning in geographic space Proceedings. International conference GIS. Pisa, Italy, September 21-23, 1992 από
  • Campari, I [edt]
  • Formentini, U [edt]
  • Frank, A. U [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 639
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 910.28 TOM.
639.
Foundations of software technology and theoretical computer science Proceedings of the 6th conference New Delhi, India, Decdmber 18-20, 1986 από
  • Nori, Kesav V [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 241
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.3.
640.
Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.). από
  • Rozenberg, Grzegorz [επιμελητής]
Σειρά: Lecture notes in computer science ; 674
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.3 ADV.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud