Η αναζήτηση επέστρεψε 125 αποτελέσματα.

Αποτελέσματα
	81.	Verification, Induction, Termination Analysis [electronic resource] Festschrift for Christoph Walther on the Occasion of His 60th Birthday edited by Simon Siegler, Nathan Wasser από Siegler, Simon Wasser, Nathan SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6463 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	82.	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). Προσθήκη στο καλάθι (αφαίρεση)
	83.	Transactions on Computational Science IX [electronic resource] Special Issue on Voronoi Diagrams in Science and Engineering edited by Marina L. Gavrilova, C. J. Kenneth Tan, FranΓois Anton από Gavrilova, Marina L Tan, C. J. Kenneth Anton, Francois SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6290 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	84.	Computational Processing of the Portuguese Language [electronic resource] 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings edited by Thiago Alexandre Salgueiro Pardo, AntΓ³nio Branco, Aldebaro Klautau, Renata Vieira, Vera LΓΊcia Strube Lima από Pardo, Thiago Alexandre Salgueiro Branco, Antonio Klautau, Aldebaro Vieira, Renata Lima, Vera LΓΊcia Strube SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6001 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	85.	Unifying Theories of Programming [electronic resource] Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers edited by Andrew Butterfield από Butterfield, Andrew SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5713 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	86.	Foundations of Information and Knowledge Systems [electronic resource] 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings edited by Sebastian Link, Henri Prade από Link, Sebastian Prade, Henri SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5956 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	87.	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). Προσθήκη στο καλάθι (αφαίρεση)
	88.	Computer Science β Theory and Applications [electronic resource] 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings edited by Farid Ablayev, Ernst W. Mayr από Ablayev, Farid Mayr, Ernst W SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6072 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	89.	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). Προσθήκη στο καλάθι (αφαίρεση)
	90.	A 25-Year Perspective on Logic Programming [electronic resource] Achievements of the Italian Association for Logic Programming, GULP edited by Agostino Dovier, Enrico Pontelli από Dovier, Agostino Pontelli, Enrico SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6125 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	91.	Testing β Practice and Research Techniques [electronic resource] 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings edited by Leonardo Bottaci, Gordon Fraser από Bottaci, Leonardo Fraser, Gordon SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6303 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	92.	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). Προσθήκη στο καλάθι (αφαίρεση)
	93.	Formal Methods: State of the Art and New Directions [electronic resource] edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi από Boca, Paul Bowen, Jonathan P Siddiqi, Jawed SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	94.	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). Προσθήκη στο καλάθι (αφαίρεση)
	95.	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). Προσθήκη στο καλάθι (αφαίρεση)
	96.	Computational Linguistics and Intelligent Text Processing [electronic resource] 11th International Conference, CICLing 2010, IaΕi, Romania, March 21-27, 2010. Proceedings edited by Alexander Gelbukh από Gelbukh, Alexander SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6008 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	97.	Logic-Based Program Synthesis and Transformation [electronic resource] 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers edited by Danny Schreye από Schreye, Danny SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6037 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	98.	Sanskrit Computational Linguistics [electronic resource] 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings edited by Girish Nath Jha από Jha, Girish Nath SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6465 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	99.	Formal Methods and Software Engineering [electronic resource] 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings edited by Jin Song Dong, Huibiao Zhu από Dong, Jin Song Zhu, Huibiao SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6447 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	100.	Compiler Construction [electronic resource] 19th International Conference, CC 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 Rajiv Gupta από Gupta, Rajiv SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6011 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας

Διαθεσιμότητα

Συγγραφείς

Βιβλιοθήκες που διαθέτουν αντίτυπα

Τύποι τεκμηρίου

Τοποθεσίες

Σειρά

Θέματα

Η αναζήτηση επέστρεψε 125 αποτελέσματα.