Αποτελέσματα
|
1581.
|
|
|
1582.
|
|
|
1583.
|
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).
|
|
1584.
|
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).
|
|
1585.
|
|
|
1586.
|
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).
|
|
1587.
|
|
|
1588.
|
Facets of Virtual Environments [electronic resource] First International Conference, FaVE 2009, Berlin, Germany, July 27-29, 2009, Revised Selected Papers edited by Fritz Lehmann-Grube, Jan Sablatnig από
- Lehmann-Grube, Fritz
- Sablatnig, Jan
- SpringerLink (Online service)
Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 33
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
1589.
|
|
|
1590.
|
|
|
1591.
|
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).
|
|
1592.
|
Beginning Microsoft Office 2010 [electronic resource] by Guy Hart-Davis; edited by Steve Anglin, Douglas Pundick, Clay Andres, Mark Beckner, Ewan Buckingham, Gary Cornell, Jonathan Gennick, Jonathan Hassell, Michelle Lowman, Matthew Moodie, Duncan Parkes, Jeffrey Pepper, Frank Pohlmann, Ben Renow-Clarke, Dominic Shakeshaft, Matt Wade, Tom Welsh, Laurin Becker, Andy Rosenthal, Katie Stence από
- Hart-Davis, Guy
- Anglin, Steve
- Pundick, Douglas
- Andres, Clay
- Beckner, Mark
- Buckingham, Ewan
- Cornell, Gary
- Gennick, Jonathan
- Hassell, Jonathan
- Lowman, Michelle
- Moodie, Matthew
- Parkes, Duncan
- Pepper, Jeffrey
- Pohlmann, Frank
- Renow-Clarke, Ben
- Shakeshaft, Dominic
- Wade, Matt
- Welsh, Tom
- Becker, Laurin
- Rosenthal, Andy
- Stence, Katie
- SpringerLink (Online service)
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berkeley, CA Guy Hart-Davis 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
1593.
|
|
|
1594.
|
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).
|
|
1595.
|
Modeling Decisions for Artificial Intelligence [electronic resource] 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings edited by VicenΓ§ Torra, Yasuo Narukawa, Marc Daumas από
- Torra, Vicenç
- Narukawa, Yasuo
- Daumas, Marc
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6408
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
1596.
|
|
|
1597.
|
|
|
1598.
|
Reliable and Autonomous Computational Science [electronic resource] International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 edited by Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong από
- Shin, Sung Y
- Gantenbein, Rex
- Kuo, Tei-Wei
- Hong, Jiman
- SpringerLink (Online service)
Σειρά: Autonomic Systems
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Basel Springer Basel AG 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
1599.
|
|
|
1600.
|
Algorithms and Computation [electronic resource] 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I edited by Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park από
- Cheong, Otfried
- Chwa, Kyung-Yong
- Park, Kunsoo
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6506
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|