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

Αποτελέσματα
	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.	Online algorithms the state of the art Amos Fiat, Gerhard J. Woeginger (eds.) από Fiat, Amos [edt] Woeginger, Gerhard [edt] Σειρά: Lecture notes in computer science ; 1442 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlinrk Springer 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006 F. Προσθήκη στο καλάθι (αφαίρεση)
	3.	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. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Nonmonotonic logics basic concepts, results, and techniques Karl Schlechta από Schlechta, Karl Σειρά: Lecture notes in computer science ; 1187 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 S. Προσθήκη στο καλάθι (αφαίρεση)
	5.	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. Προσθήκη στο καλάθι (αφαίρεση)
	6.	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. Προσθήκη στο καλάθι (αφαίρεση)
	7.	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. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Using sophisticated models in resolution theorem proving David M. Sandford από Sandford, David M [aut] Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1980 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SAN. Προσθήκη στο καλάθι (αφαίρεση)
	9.	Compiling natural semantics Mikael Pettersson από Pettersson, Mikael Σειρά: Lecture notes in computer science ; 1549 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 P. Προσθήκη στο καλάθι (αφαίρεση)
	10.	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. Προσθήκη στο καλάθι (αφαίρεση)
	11.	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. Προσθήκη στο καλάθι (αφαίρεση)
	12.	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. Προσθήκη στο καλάθι (αφαίρεση)
	13.	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. Προσθήκη στο καλάθι (αφαίρεση)
	14.	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. Προσθήκη στο καλάθι (αφαίρεση)
	15.	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. Προσθήκη στο καλάθι (αφαίρεση)
	16.	Verifying concurrent processes using temporal logic Brent T. Hailpern από Hailpern, Brent T. ((Brent Tzion)), 1955- [aut] Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1982 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 001.642 HAI. Προσθήκη στο καλάθι (αφαίρεση)
	17.	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. Προσθήκη στο καλάθι (αφαίρεση)
	18.	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. Προσθήκη στο καλάθι (αφαίρεση)
	19.	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. Προσθήκη στο καλάθι (αφαίρεση)
	20.	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. Προσθήκη στο καλάθι (αφαίρεση)

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

Διαθεσιμότητα

Συγγραφείς

Συλλογές

Βιβλιοθήκες που διαθέτουν αντίτυπα

Τύποι τεκμηρίου

Τοποθεσίες

Σειρά

Θέματα

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