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

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

Ταξινόμηση
Αποτελέσματα
1.
Journal of Scientific Computing
Τύπος υλικού: Περιοδικό δημοσίευμα Περιοδικό δημοσίευμα
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Plenum Press 1986 1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: : Not for loan (1).
2.
Computer algebra with symbolic C++ Yorick Hardy, Kiat Shi Tan, Willi-Hans Steeb από
  • Hardy, Yorick, 1976-
  • Tan, Shi Kiat
  • Steeb, Willi-Hans
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New Jersey World Scientific 2008
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.028 5 HAR.
3.
Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986 από
  • Kott, Laurent [XXX]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 226
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 AUT.
4.
Temporal logics and their applications από
  • Galton, Antony [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Academic Press 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 GAL.
5.
Theory of finite automata With an introduction to formal languages από
  • Carroll, John [aut]
  • Long, Darrell [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Englewood Cliffs N.J. Prentice-Hall c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 CAR.
6.
Complexity and structure από
  • Schöning, Uwe, 1955- [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 211
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 SCH.
7.
Foundations of logic programming από
  • Lloyd, J. W. (John Wylie), 1947- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 LLO. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1 LLO.
8.
Switching and finite automata theory από
  • Kohavi, Zvi [aut]
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New Delhi McGraw-Hill c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 KOH.
9.
Logic for computer science Foundations of automatic theorem proving από
  • Gallier, Jean H [aut]
Σειρά: Harper & Row Computer Science and Technology Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York John Wiley & Sons c1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 GAL, ...
10.
Logic programming and knowledge engineering από
  • Amble, Tore [aut]
Σειρά: International Computer Science Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Wokingham England Addison-Wesley c1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 AMB.
11.
Discrete Mathematics in Computer Science από
  • McAllister, David F [aut]
  • Stanat, Donald F [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Englewood Cliffs N.J. Prentice-Hall c1977
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.131 STA, ...
12.
Modern cellular automata Theory and applications από
  • Duff, M. J. B [aut]
  • Preston, Jr., Kendall [aut]
Σειρά: Advanced Applications in Pattern Recognition
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Plenum Press c1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 PRE.
13.
Theory of computing Proceedings of the 16th Annual ACM Symposium Washington, D.C., April 30-May 2, 1984 από
  • ACM/SIGACT [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Association for Computing Machinery c1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004.
14.
Theory of computing Proceedings of the 18th Annual ACM Symposium Berkeley, California, May 28-30, 1986 από
  • ACM/SIGACT [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Association for Computing Machinery c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004.
15.
Logic in Computer Science (1986) Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986 από
  • IEEE Computer Society [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Washington D.C. New York IEEE Computer Society Press Association for Computing Machinery c1986 c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.131 LOG, ...
16.
Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987 από
  • IEEE Computer Society [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Washington D.C New York IEEE Computer Society Press Association for Computing Machinery c1987 c1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG.
17.
Logic in Computer Science (1988) Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Washington D.C. IEEE Computer Society Press c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG.
18.
Introduction to Formal Language Theory από
  • Harrison, Michael A [aut]
Σειρά: Addison-Wesley Series in Computer Science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Reading MA Addison-Wesley c1978
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 HAR.
19.
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.
20.
Theory of computing Proceedings of the 26th Annual ACM symposium on the theory of computing. Montreal, Quebec, Canada, May 23-25, 1994 από
  • ACM/SIGACT [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Association for Computing Machinery c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (2)Ταξιθετικός αριθμός: 004, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud