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

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

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
1.
Adaptive processing of sequences and data structures proceedings...[of] International Summer School on Neural Networks "E. R. Caianiello" Vietri sul Mare, Salerno, Italy, September 6-13 1997, tutorial lectures C. Lee Giles, Marco Gori, (Eds.) από
  • Giles, C. Lee [edt]
  • Gori, Marco [edt]
Σειρά: Lecture notes in artificial intelligence |
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.73 G.
Προσθήκη στο καλάθι
2.
Mobile agents proceedings...[of] Second International Workshop, MA '98, Stuttgart, Germany, September 9-11, 1998 Kurt Rothermel, Fritz Hohl, (Eds.) από
  • Rothermel, Kurt [edt]
  • Hohl, Fritz [edt]
Σειρά: Lecture notes in computer science ; 1477
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 R.
Προσθήκη στο καλάθι
3.
Nonmonotonic logics basic concepts, results, and techniques Karl Schlechta από
  • Schlechta, Karl
Σειρά: Lecture notes in computer science ; 1187
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 S.
Προσθήκη στο καλάθι
4.
Fuzzy logic in artificial intelligence towards intelligent systems proceedings...[of] IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995 Trevor P. Martin, Anca L. Ralescu (eds.) από
  • Ralescu, Anca L [edt]
  • Martin, T. P. (Thomas Patrick), 1936- [edt]
Σειρά: Lecture notes in computer science ; 1188
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 M.
Προσθήκη στο καλάθι
5.
Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 Eugenio Moggi, Giuseppe Rosolini (Eds.) από
  • Moggi, Eugenio [edt]
  • Rosolini, Giuseppe [edt]
Σειρά: Lecture notes in computer science ; 1290
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 113 M.
Προσθήκη στο καλάθι
6.
Natural language processing - NLP 2000 : Second International Conference Patras, Greece, June 2–4 2000, Proceedings / edited by Dimitris N. Christodoulakis. από
  • Χριστοδουλάκης, Δημήτριος Νικ [επιμελητής.]
Σειρά: Lecture notes in computer science (Springer-Verlag) | Lecture Notes in Artificial Intelligence ; 1835.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Αγρίνιο (1)Ταξιθετικός αριθμός: 006.35 NAT. ΒΚΠ - Κουκούλι (7)Ταξιθετικός αριθμός: 006.35 NAT, ... ΒΚΠ - Μεσολόγγι (1)Ταξιθετικός αριθμός: 006.35 NAT. ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 006.35 NAT, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 006.35.
Προσθήκη στο καλάθι
7.
Using sophisticated models in resolution theorem proving David M. Sandford από
  • Sandford, David M [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1980
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SAN.
Προσθήκη στο καλάθι
8.
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.
Προσθήκη στο καλάθι
9.
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.
Προσθήκη στο καλάθι
10.
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.
Προσθήκη στο καλάθι
11.
Intelligent tutoring systems proceedings...[of] Third International Conference, ITS '96, Montreal, Canada, June 12-14, 1996 Claude Frasson, Gilles Gauthier, Alan Lesgold, (Eds.) από
  • Frasson, Claude [edt]
  • Gauthier, Gilles [edt]
  • Lesgold, Alan [edt]
Σειρά: Lecture notes in computer science ; 1086
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 371.334 INT.
Προσθήκη στο καλάθι
12.
Intelligent tutoring systems proceedings...[of] 4th International Conference, ITS '98, San Antonio, Texas, USA, August 16-19, 1998 Barry P. Goettl, Henry M. Halff ...[et al.], (Eds.) από
  • Goettl, Barry P [edt]
  • Halff, Henry M [edt]
Σειρά: Lecture notes in computer science ; 1452
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 371.334 INT.
Προσθήκη στο καλάθι
13.
Fundamentals of artificial intelligence an advanced course ; edited by W. Bibel and Ph. Jorrand από
  • Bibel, W, 1938- [edt]
  • Jorrand, Ph. ((Philippe)) [edt]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 FUN.
Προσθήκη στο καλάθι
14.
Verifying concurrent processes using temporal logic Brent T. Hailpern από
  • Hailpern, Brent T. ((Brent Tzion)), 1955- [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1982
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 001.642 HAI.
Προσθήκη στο καλάθι
15.
Automata, languages and programming proceedings ...[of] 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (Eds.) από
  • Orejas, Fernando [edt]
  • Σπυράκης, Παύλος Γ [edt]
  • Leeuwen, J. Van ((Jan)), 1850-1924 [edt]
Σειρά: Lecture notes in computer science ; 2076
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 O.
Προσθήκη στο καλάθι
16.
Hybrid systems computation and control proceedings...[of] 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli, (Eds.) από
  • Di Benedetto, Maria Domenica [edt]
  • Sangiovanni-Vincentelli, Alberto [edt]
Σειρά: Lecture notes in computer science ; 2034
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.259 D.
Προσθήκη στο καλάθι
17.
Computational combinatorial optimization optimal or provably near-optimal solutions Michael Junger, Denis Naddef (eds.) από
  • Junger, Michael [edt]
  • Naddef, Denis, 1947 [edt]
Σειρά: Lecture notes in computer science ; 2241
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 519.7 J.
Προσθήκη στο καλάθι
18.
Spatial data types for database systems finite resolution geometry for geographic information systems Markus Scheider από
  • Schneider, Markus
Σειρά: Lecture notes in computer science ; 1288
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Αρχιτεκτονική (1)Ταξιθετικός αριθμός: 910.285 SCH.
Προσθήκη στο καλάθι
19.
Spatial information theory a theoretical basis for GIS proceedings...[of ] European Conference, COSIT' 93, Marciana Marina, Elba Island, Italy, September 19-22, 1993 editors: Andrew U. Frank, Irene Campari από
  • Frank, Andrew U [edt]
  • Campari, Irene [edt]
Σειρά: Lecture notes in computer science ; 716
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Αρχιτεκτονική (1)Ταξιθετικός αριθμός: 910.285 COS.
Προσθήκη στο καλάθι
20.
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds από
  • Mycielski, Jan [edt]
  • Rozenberg, Grzegorz [edt]
  • Salomaa, Arto [edt]
Σειρά: Lecture notes in computer science ; 1261
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 MYC.
Προσθήκη στο καλάθι
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud