Αποτελέσματα
|
2681.
|
Verified Software: Theories, Tools, Experiments [electronic resource] Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings edited by Gary T. Leavens, Peter OβHearn, Sriram K. Rajamani από
- Leavens, Gary T
- OβHearn, Peter
- Rajamani, Sriram K
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6217
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
2682.
|
Recent Advances in the Message Passing Interface [electronic resource] 17th European MPI Usersβ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings edited by Rainer Keller, Edgar Gabriel, Michael Resch, Jack Dongarra από
- Keller, Rainer
- Gabriel, Edgar
- Resch, Michael
- Dongarra, Jack
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6305
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
2683.
|
|
|
2684.
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] 7th International Conference, DIMVA 2010, Bonn, Germany, July 8-9, 2010. Proceedings edited by Christian Kreibich, Marko Jahnke από
- Kreibich, Christian
- Jahnke, Marko
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6201
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
2685.
|
|
|
2686.
|
|
|
2687.
|
Membrane Computing [electronic resource] 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers edited by Gheorghe PΔun, Mario J. PΓ©rez-JimΓ©nez, AgustΓn Riscos-NΓΊΓez, Grzegorz Rozenberg, Arto Salomaa από
- PΔun, Gheorghe
- PΓ©rez-JimΓ©nez, Mario J
- Riscos-NΓΊΓez, AgustΓn
- Rozenberg, Grzegorz
- Salomaa, Arto
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5957
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
2688.
|
Multiple Criteria Decision Making for Sustainable Energy and Transportation Systems [electronic resource] Proceedings of the 19th International Conference on Multiple Criteria Decision Making, Auckland, New Zealand, 7th - 12th January 2008 edited by Matthias Ehrgott, Boris Naujoks, Theodor J. Stewart, Jyrki Wallenius από
- Ehrgott, Matthias
- Naujoks, Boris
- Stewart, Theodor J
- Wallenius, Jyrki
- SpringerLink (Online service)
Σειρά: Lecture Notes in Economics and Mathematical Systems ; 634
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
2689.
|
Surgery for Low Back Pain [electronic resource] edited by Marek Szpalski, Robert Gunzburg, BjΓΆrn L. Rydevik, Jean-Charles Le Huec, H. Michael Mayer από
- Szpalski, Marek
- Gunzburg, Robert
- Rydevik, BjΓΆrn L
- Le Huec, Jean-Charles
- Mayer, H. Michael
- SpringerLink (Online service)
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
2690.
|
Holomorphic Dynamical Systems [electronic resource] Cetraro, Italy, July 7-12, 2008 by Marco Abate, Eric Bedford, Marco Brunella, Tien-Cuong Dinh, Dierk Schleicher, Nessim Sibony; edited by Graziano Gentili, Jacques Guenot, Giorgio Patrizio από
- Abate, Marco
- Bedford, Eric
- Brunella, Marco
- Dinh, Tien-Cuong
- Schleicher, Dierk
- Sibony, Nessim
- Gentili, Graziano
- Guenot, Jacques
- Patrizio, Giorgio
- SpringerLink (Online service)
Σειρά: Lecture Notes in Mathematics ; 1998
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
|
|
2691.
|
|
|
2692.
|
|
|
2693.
|
|
|
2694.
|
|
|
2695.
|
|
|
2696.
|
Image and Signal Processing [electronic resource] 4th International Conference, ICISP 2010, Trois-RiviΓ¨res, QC, Canada, June 30-July 2, 2010. Proceedings edited by Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass, Jean Meunier από
- Elmoataz, Abderrahim
- Lezoray, Olivier
- Nouboud, Fathallah
- Mammass, Driss
- Meunier, Jean
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6134
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
2697.
|
|
|
2698.
|
|
|
2699.
|
|
|
2700.
|
|