Αποτελέσματα
|
|
41.
|
|
|
|
42.
|
|
|
|
43.
|
|
|
|
44.
|
|
|
|
45.
|
|
|
|
46.
|
Business Process Management [electronic resource] 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings edited by Richard Hull, Jan Mendling, Stefan Tai από
- Hull, Richard
- Mendling, Jan
- Tai, Stefan
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6336
Τύπος υλικού:  Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
47.
|
Functional and Logic Programming [electronic resource] 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings edited by Matthias Blume, Naoki Kobayashi, GermΓ'n Vidal από
- Blume, Matthias
- Kobayashi, Naoki
- Vidal, GermΓ'n
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6009
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
48.
|
|
|
|
49.
|
Database and XML Technologies [electronic resource] 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings edited by Mong Li Lee, Jeffrey Xu Yu, Zohra BellahsΓ¨ne, Rainer Unland από
- Lee, Mong Li
- Yu, Jeffrey Xu
- Bellahsene, Zohra
- Unland, Rainer
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6309
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
50.
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings edited by Bruno MΓΌller-Clostermann, Klaus Echtle, Erwin P. Rathgeb από
- MΓΌller-Clostermann, Bruno
- Echtle, Klaus
- Rathgeb, Erwin P
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5987
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
51.
|
Computational Logic in Multi-Agent Systems [electronic resource] 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers edited by JΓΌrgen Dix, Michael Fisher, Peter NovΓ'k από
- Dix, JΓΌrgen
- Fisher, Michael
- NovΓ'k, Peter
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6214
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
52.
|
Task Models and Diagrams for User Interface Design [electronic resource] 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers edited by David England, Philippe Palanque, Jean Vanderdonckt, Peter J. Wild από
- England, David
- Palanque, Philippe
- Vanderdonckt, Jean
- Wild, Peter J
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5963
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
53.
|
|
|
|
54.
|
Unconventional Computation [electronic resource] 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis από
- Calude, Cristian S
- Hagiya, Masami
- Morita, Kenichi
- Rozenberg, Grzegorz
- Timmis, Jon
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6079
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
55.
|
|
|
|
56.
|
|
|
|
57.
|
Testing Software and Systems [electronic resource] 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings edited by Alexandre Petrenko, Adenilso SimΓo, JosΓ© Carlos Maldonado από
- Petrenko, Alexandre
- SimΓo, Adenilso
- Maldonado, JosΓ© Carlos
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6435
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
58.
|
Graph Transformations and Model-Driven Engineering [electronic resource] Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday edited by Gregor Engels, Claus Lewerentz, Wilhelm SchΓ€fer, Andy SchΓΌrr, Bernhard Westfechtel από
- Engels, Gregor
- Lewerentz, Claus
- SchΓ€fer, Wilhelm
- SchΓΌrr, Andy
- Westfechtel, Bernhard
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5765
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
59.
|
Distributed, Parallel and Biologically Inspired Systems [electronic resource] 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf από
- Hinchey, Mike
- Kleinjohann, Bernd
- Kleinjohann, Lisa
- Lindsay, Peter A
- Rammig, Franz J
- Timmis, Jon
- Wolf, Marilyn, 1958-
- SpringerLink (Online service)
Σειρά: IFIP Advances in Information and Communication Technology ; 329
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
|
60.
|
Testing Techniques in Software Engineering [electronic resource] Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook από
- Borba, Paulo
- Cavalcanti, Ana
- Sampaio, Augusto
- Woodcook, Jim
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6153
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
