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

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

Ταξινόμηση
Αποτελέσματα
1.
Public-key cryptography Arto Salomaa από
  • Salomaa, Arto
Σειρά: Texts in theoretical computer science
Έκδοση: 2nd, enlarged edition
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.82 S, ...
2.
Introduction to circuit complexity : a uniform approach / Heribert Vollmer. από
  • Vollmer, Heribert [συγγραφέας.]
Σειρά: Texts in theoretical computer science (Springer)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.324 VOL, ...
3.
DNA computing new computing paradigms G. Paun, G. Rozenberg, A. Salomaa από
  • Paun, G
  • Rozenberg, Grzegorz
  • Salomaa, A
Σειρά: Texts in theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 P.
4.
The complexity theory companion Lane A. Hemaspaandra, Mitsunori Ogihara από
  • Hemaspaandra, Lane A
  • Ogihara, Mitsunori, 1963-
Σειρά: Texts in theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 2002
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 003 HEM.
5.
Finite model theory and its applications Erich Gradel ... [et al.] από
  • Grädel, Erich, 1958- [aut]
  • Κολαϊτης, Φωκίων [aut]
  • Libkin, Leonid [aut]
Σειρά: Texts in theoretical computer science : an EATCS series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 2007
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (1)Ταξιθετικός αριθμός: 511.34 FIN. ΒΚΠ - Μεσολόγγι (2)Ταξιθετικός αριθμός: 511.3 FIN, ... ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.34 GRA, ...
6.
Dissemination of Information in Communication Networks [electronic resource] Broadcasting, Gossiping, Leader Election, and Fault-Tolerance by Juraj Hromkovič, Ralf Klasing, Andrzej Pelc, Peter RuΕička†, Walter Unger από
  • Hromkovic, Juraj
  • Klasing, Ralf
  • Pelc, Andrzej
  • RuΕička†, Peter
  • Unger, Walter
Σειρά: Texts in Theoretical Computer Science An EATCS Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
7.
Universal Artificial Intellegence [electronic resource] Sequential Decisions Based on Algorithmic Probability by Marcus Hutter από
  • Hutter, Marcus
Σειρά: Texts in Theoretical Computer Science An EATCS Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
8.
A Practical Theory of Reactive Systems [electronic resource] Incremental Modeling of Dynamic Behaviors by Reino Kurki-Suonio από
  • Kurki-Suonio, Reino
Σειρά: Texts in Theoretical Computer Science An EATCS Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
9.
Abstract Computing Machines [electronic resource] A Lambda Calculus Perspective by W. Kluge; edited by W. Brauer, G. Rozenberg, A. Salomaa από
  • Kluge, William S
  • Brauer, W
  • Rozenberg, Grzegorz
  • Salomaa, A
Σειρά: Texts in Theoretical Computer Science, An EATCS Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
10.
Design and Analysis of Randomized Algorithms : Introduction to design paradigms / by Juraj Hromkovic. από
  • Hromkovic, Juraj [συγγραφέας.]
Σειρά: Texts in theoretical computer science an EATCS Series / Springer
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 519.53 HRO, ...
11.
Complexity Theory and Cryptology [electronic resource] An Introduction to Cryptocomplexity by JΓΆrg Rothe από
  • Rothe, JΓΆrg
Σειρά: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
12.
Parameterized Complexity Theory [electronic resource] by JΓΆrg Flum, Martin Grohe από
  • Flum, JΓΆrg
  • Grohe, Martin
Σειρά: Texts in Theoretical Computer Science. An EATCS Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
13.
Software Engineering 3 [electronic resource] Domains, Requirements, and Software Design by Dines BjΓΈner από
  • BjΓΈner, Dines
Σειρά: Texts in Theoretical Computer Science An EATC Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
14.
Graphs and Algorithms in Communication Networks [electronic resource] Studies in Broadband, Optical, Wireless and Ad Hoc Networks edited by Arie Koster, Xavier MuΓoz από
  • Koster, Arie
  • MuΓoz, Xavier
  • SpringerLink (Online service)
Σειρά: Texts in Theoretical Computer Science. An EATCS Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
15.
Exact Exponential Algorithms [electronic resource] by Fedor V. Fomin, Dieter Kratsch από
  • Fomin, Fedor V
  • Kratsch, Dieter
  • SpringerLink (Online service)
Σειρά: Texts in Theoretical Computer Science. An EATCS Series
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
16.
Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon. από
  • Garzon, Max, 1953- [συγγραφέας.]
Σειρά: Texts in theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004.35 GAR, ...
17.
Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró. από
  • Balcázar, José Luis [συγγραφέας]
  • Díaz, J. (Josep), 1950- [συγγραφέας]
  • Gabarró, Joaquim [συγγραφέας]
Σειρά: Texts in theoretical computer science
Έκδοση: 2nd, rev. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1995
Άλλος τίτλος:
  • Structural complexity I
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BAL.
18.
Communication Complexity and Parallel Computing από
  • Hromkovic, Juraj [aut]
Σειρά: Texts in Theoretical Computer Science An EATCS Series / W. Brauer G. Rozenberg A. Salomaa | Texts in Theoretical Computer Science - An EATCS Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.275 HRO.
19.
Introduction to Circuit Complexity A Uniform Approach Heribert Vollmer από
  • Vollmer, Heribert [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
20.
Extremal Combinatorics With Applications in Computer Science Stasys Jukna από
  • JUKNA, STASYS [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin Springer 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud