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

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

Ταξινόμηση
Αποτελέσματα
41.
Transactions on Computational Science XI [electronic resource] Special Issue on Security in Computing, Part II edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno από
  • Gavrilova, Marina L
  • Tan, C. J. Kenneth
  • Moreno, Edward David
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6480
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
42.
Logical Analysis of Hybrid Systems [electronic resource] Proving Theorems for Complex Dynamics by AndrΓ© Platzer από
  • Platzer, AndrΓ©
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
43.
The P=NP Question and GΓΆdel’s Lost Letter [electronic resource] by Richard J. Lipton από
  • Lipton, Richard J
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
44.
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [electronic resource] International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings edited by Yanwen Wu, Qi Luo από
  • Wu, Yanwen
  • Luo, Qi
  • SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 66
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
45.
Logic and the Foundations of Game and Decision Theory – LOFT 8 [electronic resource] 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers edited by Giacomo Bonanno, Benedikt LΓΆwe, Wiebe Hoek από
  • Bonanno, Giacomo
  • LΓΆwe, Benedikt
  • Hoek, Wiebe
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6006
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
46.
Deontic Logic in Computer Science [electronic resource] 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings edited by Guido Governatori, Giovanni Sartor από
  • Governatori, Guido
  • Sartor, Giovanni
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6181
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
47.
Parallel Processing and Applied Mathematics [electronic resource] 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski από
  • Wyrzykowski, Roman
  • Dongarra, Jack
  • Karczewski, Konrad
  • Wasniewski, Jerzy
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6068
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
48.
Theory and Applications of Satisfiability Testing – SAT 2010 [electronic resource] 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings edited by Ofer Strichman, Stefan Szeider από
  • Strichman, Ofer
  • Szeider, Stefan
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6175
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg Berlin 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
49.
Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise [electronic resource] A selection of common capabilities validated in real-life business trials by the BEinGRID consortium edited by Theo Dimitrakos, Josep Martrat, Stefan Wesner από
  • Dimitrakos, Theo
  • Martrat, Josep
  • Wesner, Stefan
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
50.
Foundations of Information and Knowledge Systems [electronic resource] 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings edited by Sebastian Link, Henri Prade από
  • Link, Sebastian
  • Prade, Henri
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5956
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
51.
Computer Science – Theory and Applications [electronic resource] 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings edited by Farid Ablayev, Ernst W. Mayr από
  • Ablayev, Farid
  • Mayr, Ernst W
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6072
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
52.
Theory and Applications of Models of Computation [electronic resource] 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings edited by Jan KratochvΓ­l, Angsheng Li, JiΕ™Γ­ Fiala, Petr Kolman από
  • KratochvΓ­l, Jan
  • Li, Angsheng
  • Fiala, JiΕ™Γ­
  • Kolman, Petr
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6108
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
53.
A 25-Year Perspective on Logic Programming [electronic resource] Achievements of the Italian Association for Logic Programming, GULP edited by Agostino Dovier, Enrico Pontelli από
  • Dovier, Agostino
  • Pontelli, Enrico
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6125
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
54.
Frontiers in Algorithmics [electronic resource] 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings edited by Der-Tsai Lee, Danny Z. Chen, Shi Ying από
  • Lee, Der-Tsai
  • Chen, Danny Z
  • Ying, Shi
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6213
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heielberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
55.
Abstract State Machines, Alloy, B and Z [electronic resource] Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings edited by Marc Frappier, Uwe GlΓ€sser, Sarfraz Khurshid, RΓ©gine Laleau, Steve Reeves από
  • Frappier, Marc
  • GlΓ€sser, Uwe
  • Khurshid, Sarfraz
  • Laleau, RΓ©gine
  • Reeves, Steve
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5977
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
56.
Parallel Processing and Applied Mathematics [electronic resource] 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski από
  • Wyrzykowski, Roman
  • Dongarra, Jack
  • Karczewski, Konrad
  • Wasniewski, Jerzy
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6067
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
57.
Database Theory and Application, Bio-Science and Bio-Technology [electronic resource] International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings edited by Yanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-il Chung, Tughrul Arslan, Xiaofeng Song από
  • Zhang, Yanchun
  • Cuzzocrea, Alfredo
  • Ma, Jianhua
  • Chung, Kyo-il
  • Arslan, Tughrul
  • Song, Xiaofeng
  • SpringerLink (Online service)
Σειρά: Communications in Computer and Information Science ; 118
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
58.
The Mathematics of Language [electronic resource] 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers edited by Christian Ebert, Gerhard JΓ€ger, Jens Michaelis από
  • Ebert, Christian
  • JΓ€ger, Gerhard
  • Michaelis, Jens
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6149
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
59.
Optimisation combinatoire [electronic resource] ThΓorie et algorithmes by Bernhard Korte, Jens Vygen, Jean Fonlupt, Alexandre Skoda από
  • Korte, B. H. (Bernhard H.), 1938-
  • Vygen, Jens
  • Fonlupt, Jean
  • Skoda, Alexandre
  • SpringerLink (Online service)
Σειρά: Collection IRIS
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: French
Λεπτομέρειες δημοσίευσης: Paris Springer-Verlag Paris 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
60.
by Roozbeh Hazrat από
  • Hazrat, Roozbeh
  • SpringerLink (Online service)
Σειρά: Springer Undergraduate Mathematics Series ; 53
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud