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

Αποτελέσματα
	1.	Nonmonotonic logics basic concepts, results, and techniques Karl Schlechta από Schlechta, Karl Σειρά: Lecture notes in computer science ; 1187 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 S. Προσθήκη στο καλάθι (αφαίρεση)
	2.	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. Προσθήκη στο καλάθι (αφαίρεση)
	3.	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. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Computer Algebra in Scientific Computing [electronic resource] 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov από Gerdt, Vladimir P Koepf, Wolfram Mayr, Ernst W Vorozhtsov, Evgenii V SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6244 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	5.	High Performance Embedded Architectures and Compilers [electronic resource] 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings edited by Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell από Patt, Yale N Foglia, Pierfrancesco Duesterwald, Evelyn Faraboschi, Paolo Martorell, Xavier SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5952 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	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.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985 από Jouannaud, Jean-Pierre [edt] Σειρά: Lecture Notes in Computer Science = 202 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005. Προσθήκη στο καλάθι (αφαίρεση)
	8.	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. Προσθήκη στο καλάθι (αφαίρεση)
	9.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	10.	Logic programming and nonmonotonic reasoning proceedings V.W. Marek, A. Nerode, M. Truszczynski (eds) Σειρά: Lecture notes in artificial intelligence ; 928 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer Verlag 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 Μ. Προσθήκη στο καλάθι (αφαίρεση)
	11.	Efficient Graph Rewriting and its Implementation από Dorr, Heiko [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 922 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 DOR. Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας