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

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

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
661.
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems από
  • Sudan, Madhu [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1001
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag Association for Computing Machinery c1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 515.252 SUD.
Προσθήκη στο καλάθι
662.
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.
Προσθήκη στο καλάθι
663.
Database Theory ICDT '95 Proceedings of the 5th International Conference Prague, Gzech Republic, January 11-13, 1995 από
  • Gottlob, Georg [edt]
  • Vardi, Moshe Y [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 893
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.74.
Προσθήκη στο καλάθι
664.
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 Μ.
Προσθήκη στο καλάθι
665.
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.
Προσθήκη στο καλάθι
666.
Research and Advanced Technology for Digital Libraries 2nd European Conference, ECDL'98 Heraklion, Crete,Greece September 21-23, 1998 Proceedings από
  • Nikolaou, Christos [edt]
  • Stephanidis, Constantine [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1513
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.759 2 RES.
Προσθήκη στο καλάθι
667.
Treewidth Computations and Approximations από
  • Kloks, Ton [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 842
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1 KLO.
Προσθήκη στο καλάθι
668.
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.
Προσθήκη στο καλάθι
669.
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.
Προσθήκη στο καλάθι
670.
Mobile Agents and Security από
  • Vigna, Giovani [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1419
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.8 VIG.
Προσθήκη στο καλάθι
671.
Temporal Databases:Research and Practice από
  • Etzion, Opher [edt]
  • Jajodia, Sushil [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1399
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.74 ETZ.
Προσθήκη στο καλάθι
672.
Formal hardware verification : methods and systems in comparison / Thomas Kropf, ed. από
  • Kropf, Thomas, 1961- [επιμελητής.]
Σειρά: Lecture notes in computer science ; 1287.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 621.395 FOR.
Προσθήκη στο καλάθι
673.
Foundations of inductive logic programming από
  • Nienhuys-Cheng, Shan-Hwei [aut]
  • Wolf de, Ronald [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1228
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 NIE.
Προσθήκη στο καλάθι
674.
Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht από
  • Mycielski, Jan [edt]
  • Rozenberg, Grzegorz [edt]
  • Salomaa, Arto [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1261
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004 MYC.
Προσθήκη στο καλάθι
675.
Semantics in databases από
  • Libkin, Leonid [edt]
  • Thalheim, Bernhard [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1358
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.74 THA.
Προσθήκη στο καλάθι
676.
New trends in formal languages Control,cooperation and combinatorics από
  • Paun, Gheorghe [aut]
  • Salomaa, Arto [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1218
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 PAU.
Προσθήκη στο καλάθι
677.
Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990 από
  • Clarke, E. M [edt]
  • Kurshan, R. P [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 531
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: berlin Springer-Verlag c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.14.
Προσθήκη στο καλάθι
678.
Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem από
  • Godefroid, Patrice [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1032
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.14 GOD.
Προσθήκη στο καλάθι
679.
Online Algorithms The state of the art [Proceedings} of the Workshop 1996 από
  • Fiat, Amos [edt]
  • Woeginger, Gerhard J [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1442
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 FIA.
Προσθήκη στο καλάθι
680.
Advances in Petri nets 1991 / Grzegorz Rozenberg (ed.). από
  • Rozenberg, Grzegorz [επιμελητής]
Σειρά: Lecture notes in computer science ; 524
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV.
Προσθήκη στο καλάθι
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud