Αποτελέσματα
|
61.
|
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).
|
|
62.
|
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).
|
|
63.
|
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).
|
|
64.
|
|
|
65.
|
Advances in Natural Language Processing [electronic resource] 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 edited by Hrafn Loftsson, EirΓkur RΓΆgnvaldsson, SigrΓΊn HelgadΓ³ttir από
- Loftsson, Hrafn
- RΓΆgnvaldsson, EirΓkur
- HelgadΓ³ttir, SigrΓΊn
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6233
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
66.
|
Logic, Language, Information and Computation [electronic resource] 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings edited by Anuj Dawar, Ruy Queiroz από
- Dawar, Anuj
- Queiroz, Ruy
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6188
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
67.
|
Logic and the Foundations of Game and Decision Theory β LOFT 8 [electronic resource] 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers edited by Giacomo Bonanno, Benedikt LΓΆwe, Wiebe Hoek από
- Bonanno, Giacomo
- LΓΆwe, Benedikt
- Hoek, Wiebe
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6006
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
68.
|
New Frontiers in Artificial Intelligence [electronic resource] JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers edited by Kumiyo Nakakoji, Yohei Murakami, Eric McCready από
- Nakakoji, Kumiyo
- Murakami, Yohei
- McCready, Eric
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6284
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
69.
|
Argumentation in Multi-Agent Systems [electronic resource] 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers edited by Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet από
- McBurney, Peter
- Rahwan, Iyad
- Parsons, Simon
- Maudet, Nicolas
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6057
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
70.
|
Automata, Languages and Programming [electronic resource] 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis από
- Abramsky, Samson, 1953-
- Gavoille, Cyril
- Kirchner, Claude
- Meyer auf der Heide, Friedhelm
- Σπυράκης, Παύλος Γ
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6198
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
71.
|
|
|
72.
|
|
|
73.
|
|
|
74.
|
Objects, Models, Components, Patterns [electronic resource] 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings edited by Jan Vitek από
- Vitek, Jan
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6141
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
75.
|
|
|
76.
|
|
|
77.
|
Approaches and Applications of Inductive Programming [electronic resource] Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer από
- Schmid, Ute
- Kitzelmann, Emanuel
- Plasmeijer, Rinus
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5812
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
78.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] 16th International Conference, LPAR-16, Dakar, Senegal, April 25βMay 1, 2010, Revised Selected Papers edited by Edmund M. Clarke, Andrei Voronkov από
- Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
- Voronkov, Andrei
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6355
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
79.
|
|
|
80.
|
Computer Aided Verification [electronic resource] 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings edited by Tayssir Touili, Byron Cook, Paul Jackson από
- Touili, Tayssir
- Cook, Byron
- Jackson, Paul
- SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 6174
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|