Αποτελέσματα
|
81.
|
Computational Logic in Multi-Agent Systems [electronic resource] 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings edited by JΓΌrgen Dix, JoΓo Leite, Guido Governatori, Wojtek Jamroga από
- Dix, JΓΌrgen
- Leite, JoΓo
- Governatori, Guido
- Jamroga, Wojtek
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6245
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
82.
|
Research into Practice β Reality and Gaps [electronic resource] 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings edited by George T. Heineman, Jan Kofron, Frantisek Plasil από
- Heineman, George T
- Kofron, Jan
- Plasil, Frantisek
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6093
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
83.
|
Conceptual Modeling β ER 2010 [electronic resource] 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand από
- Parsons, Jeffrey
- Saeki, Motoshi
- Shoval, Peretz
- Woo, Carson
- Wand, Yair
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6412
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
84.
|
|
|
85.
|
|
|
86.
|
|
|
87.
|
|
|
88.
|
Theoretical Computer Science [electronic resource] 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings edited by Cristian S. Calude, Vladimiro Sassone από
- Calude, Cristian S
- Sassone, Vladimiro
- SpringerLink (Online service)
Σειρά: IFIP Advances in Information and Communication Technology ; 323
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
89.
|
|
|
90.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings edited by Gilles Barthe, Manuel Hermenegildo από
- Barthe, Gilles
- Hermenegildo, Manuel
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5944
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
91.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings edited by Javier Esparza, Rupak Majumdar από
- Esparza, Javier
- Majumdar, Rupak
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6015
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
92.
|
|
|
93.
|
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).
|
|
94.
|
|
|
95.
|
|
|
96.
|
Formal Techniques for Distributed Systems [electronic resource] Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings edited by John Hatcliff, Elena Zucca από
- Hatcliff, John
- Zucca, Elena
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6117
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
97.
|
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).
|
|
98.
|
New Modeling Concepts for Todayβs Software Processes [electronic resource] International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings edited by JΓΌrgen MΓΌnch, Ye Yang, Wilhelm SchΓ€fer από
- MΓΌnch, JΓΌrgen
- Yang, Ye
- SchΓ€fer, Wilhelm
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6195
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
99.
|
Developments in Language Theory [electronic resource] 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu από
- Gao, Yuan
- Lu, Hanlin
- Seki, Shinnosuke
- Yu, Sheng
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6224
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
100.
|
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).
|