Αποτελέσματα
|
1261.
|
Web Services and Formal Methods [electronic resource] 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers edited by Cosimo Laneve, Jianwen Su από
- Laneve, Cosimo
- Su, Jianwen
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6194
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
1262.
|
|
|
1263.
|
|
|
1264.
|
Collaboration and Technology [electronic resource] 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings edited by Gwendolyn Kolfschoten, Thomas Herrmann, Stephan Lukosch από
- Kolfschoten, Gwendolyn
- Herrmann, Thomas
- Lukosch, Stephan
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6257
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
1265.
|
|
|
1266.
|
|
|
1267.
|
|
|
1268.
|
|
|
1269.
|
|
|
1270.
|
|
|
1271.
|
|
|
1272.
|
|
|
1273.
|
|
|
1274.
|
Computational Science and Its Applications β ICCSA 2010 [electronic resource] International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II edited by David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan από
- Taniar, David
- Gervasi, Osvaldo
- Murgante, Beniamino
- Pardede, Eric
- Apduhan, Bernady O
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6017
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
1275.
|
Software engineering in C από
- Darnell, Peter A [aut]
- Margolis, Philip E [aut]
Σειρά: Springer Books on Professional Computing
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 DAR.
|
|
1276.
|
Multivariable feedback systems από
- Callier, Frank M [aut]
- Desoer, Charles A [aut]
- Thomas, John B [edt]
Σειρά: Springer Texts in Electrical Engineering
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1982
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 629.83 CAL.
|
|
1277.
|
|
|
1278.
|
|