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

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

Ταξινόμηση
Αποτελέσματα
1.
First-order logic and automated theorem proving / Melvin Fitting. από
  • Fitting, Melvin, 1942-
Σειρά: Graduate texts in computer science
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York : Springer, c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 F, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 511.3 FIT, ...
2.
Principles of Programming Languages POPL '96 Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium Frorida, 21 - 24 Janary 1996 από
  • Association for Computing Machinery [fnd]
  • ACM/SIGACT [fnd]
  • ACM/SIGPLAN [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Association for Computing Machinery c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.13 PRI, ...
3.
Programming Language Design and Implementation (PLDI) Proceedings of the ACM SIGPLAN '96 Conference Philadelphia, PA , May 21-24 , 1996 ACM/SIGPLAN Vol. 31 , No 5 , May 1996 από
  • ACM/SIGPLAN [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Association for Computing Machinery c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 PRO.
4.
Functional Programming (ICFP '96) Proceedings of the 1996 ACM SIGPLAN International Conference Philadelphia, Pennsylvania , May 24-26 , 1996 ACM SIGPLAN Vol. 31, No 6, June 1996 από
  • ACM/SIGPLAN [fnd]
  • IFIP Working Group 2.8 on Functional Programming [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Association for Computing Machinery c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 FUN.
5.
OOPSLA '96. Object-Oriented Programming Systems, Languages, and Applications Proceedings of the 11th Annual Conference. San Jose, California, October 6-10, 1996 ACM SIGPLAN Vol. 31, No 10, October 1996 από
  • ACM/SIGPLAN [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Association for Computing Machinery c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 OOP.
6.
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.
7.
Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996 από
  • IEEE Computer Society Technical Committee on Mathematical Foundations of Computing [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Los Alamitos California IEEE Computer Society Press c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG.
8.
Tri-Ada '96 Proceedings. Conference the Annual meeting of the ADA programming world Philadelphia, Pennsylvania, December 3-7, 1996 από
  • ACM/SIGADA [fnd]
  • The Software Engineering Institute and Defense Information Systems Agency [fnd]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Association for Computing Machinery c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 TRI.
9.
MBONE Interactive Multimedia on the Internet από
  • Kumar, Vinay, 1944- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Indianapolis Indiana New Riders Publishing c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.7 KUM.
10.
An Introduction to Queueing Theory από
  • Bunday, Brian D [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Edward Arnold c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 519.82 BUN.
11.
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.
12.
Managing Software Quality από
  • Hambling, Brian [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London McGraw-Hill c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.14 HAM.
13.
Semantics of Sequential and Parallel Programming από
  • Best, Eike [aut]
Σειρά: Prentice-Hall International Series in Computer Science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Prentice Hall c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 BES.
14.
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.
15.
Computer Networks Tanenbaum Andrew S. από
  • Tanenbaum, Andrew S, 1944- [aut]
Έκδοση: 3rd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Upper Saddle River N.J. Prentice Hall c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004.65 TAN, ...
16.
Foundations for Programming Languages Jonh C. Mitchell από
  • Mitchell, John C [aut]
Σειρά: Foundations of Computing Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.131 MIT, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 005.131 MIT, ...
17.
Optimization and Computational Logic από
  • McAloon, Ken [aut]
  • Tretkoff, Carol [aut]
Σειρά: Wiley-Interscience Series in Discrete Mathematics and Optimization
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York John Wiley & Sons c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 519.72 McA.
18.
Discrete-time Markov control processes : basic optimality criteria / Onésimo Hernández-Lerma, Jean Bernard Lasserre. από
  • Hernández-Lerma, O. (Onésimo) [συγγραφέας.]
  • Lasserre, Jean-Bernard, 1953- [συγγραφέας.]
Σειρά: Applications of mathematics ; 30.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: New York : Springer, c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 003.830 115 HER.
19.
Discrete gambling and stochastic games / Ashok P. Maitra, William D. Sudderth. από
  • Maitra, Ashok P [συγγραφέας.]
  • Sudderth, William D [συγγραφέας.]
Σειρά: Applications of mathematics ; 32.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: New York : Springer, c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 795.015 192 MAI. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 795.015 192 MAI.
20.
Genetic algorithms for pattern recognition από
  • Pal, Sankar K [edt]
  • Wang, Paul P [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boca Raton CRC Press Inc. c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.4 PAL.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud