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

Αποτελέσματα
	541.	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I edited by Tiziana Margaria, Bernhard Steffen από Margaria, Tiziana Steffen, Bernhard SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6415 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	542.	Agents and Data Mining Interaction [electronic resource] 6th International Workshop on Agents and Data Mining Interaction, ADMI 2010, Toronto, ON, Canada, May 11, 2010, Revised Selected Papers edited by Longbing Cao, Ana L. C. Bazzan, Vladimir Gorodetsky, Pericles A. Mitkas, Gerhard Weiss, Philip S. Yu από Cao, Longbing Bazzan, Ana L. C Gorodetsky, Vladimir Mitkas, Pericles A Weiss, Gerhard Yu, Philip S SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5980 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	543.	Research in Computational Molecular Biology [electronic resource] 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010. Proceedings edited by Bonnie Berger από Berger, Bonnie SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6044 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	544.	Foundations of Intelligent Systems [electronic resource] 12th International Symposium, ISMIS 2000 Charlotte, NC, USA, October 11β14, 2000 Proceedings edited by Zbigniew W. RaΕ, Setsuo Ohsuga από RaΕ, Zbigniew W Ohsuga, Setsuo SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 1932 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	545.	Interactive Theorem Proving [electronic resource] First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings edited by Matt Kaufmann, Lawrence C. Paulson από Kaufmann, Matt Paulson, Lawrence C SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6172 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	546.	Post-Quantum Cryptography [electronic resource] Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings edited by Nicolas Sendrier από Sendrier, Nicolas SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6061 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	547.	Finite-State Methods and Natural Language Processing [electronic resource] 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers edited by Anssi Yli-JyrΓ€, AndrΓ's Kornai, Jacques Sakarovitch, Bruce Watson από Yli-JyrΓ€, Anssi Kornai, AndrΓ's Sakarovitch, Jacques Watson, Bruce SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6062 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	548.	Natural Language Processing and Information Systems [electronic resource] 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, SaarbrΓΌcken, Germany, June 24-26, 2009. Revised Papers edited by Helmut Horacek, Elisabeth MΓ©tais, Rafael MuΓoz, Magdalena Wolska από Horacek, Helmut MΓ©tais, Elisabeth MuΓoz, Rafael Wolska, Magdalena SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5723 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	549.	Research and Advanced Technology for Digital Libraries [electronic resource] 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010. Proceedings edited by Mounia Lalmas, Joemon Jose, Andreas Rauber, Fabrizio Sebastiani, Ingo Frommholz από Lalmas, Mounia Jose, Joemon Rauber, Andreas Sebastiani, Fabrizio Frommholz, Ingo SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6273 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	550.	Trusted Systems [electronic resource] First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Revised Selected Papers edited by Liqun Chen, Moti Yung από Chen, Liqun Yung, Moti SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6163 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	551.	Advances in Computation and Intelligence [electronic resource] 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings edited by Zhihua Cai, Chengyu Hu, Zhuo Kang, Yong Liu από Cai, Zhihua Hu, Chengyu Kang, Zhuo Liu, Yong SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6382 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	552.	Database Systems for Advanced Applications [electronic resource] 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2010, Revised Selected Papers edited by Masatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe από Yoshikawa, Masatoshi Meng, Xiaofeng Yumoto, Takayuki Ma, Qiang Sun, Lifeng Watanabe, Chiemi SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6193 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	553.	Computer Safety, Reliability, and Security [electronic resource] 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings edited by Erwin Schoitsch από Schoitsch, Erwin SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6351 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	554.	Verified Software: Theories, Tools, Experiments [electronic resource] Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings edited by Gary T. Leavens, Peter OβHearn, Sriram K. Rajamani από Leavens, Gary T OβHearn, Peter Rajamani, Sriram K SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6217 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	555.	Recent Advances in the Message Passing Interface [electronic resource] 17th European MPI Usersβ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings edited by Rainer Keller, Edgar Gabriel, Michael Resch, Jack Dongarra από Keller, Rainer Gabriel, Edgar Resch, Michael Dongarra, Jack SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6305 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	556.	Automata for Branching and Layered Temporal Structures [electronic resource] An Investigation into Regularities of Infinite Transition Systems by Gabriele Puppis από Puppis, Gabriele SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5955 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	557.	Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] 7th International Conference, DIMVA 2010, Bonn, Germany, July 8-9, 2010. Proceedings edited by Christian Kreibich, Marko Jahnke από Kreibich, Christian Jahnke, Marko SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6201 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	558.	Membrane Computing [electronic resource] 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers edited by Gheorghe PΔun, Mario J. PΓ©rez-JimΓ©nez, AgustΓn Riscos-NΓΊΓez, Grzegorz Rozenberg, Arto Salomaa από PΔun, Gheorghe PΓ©rez-JimΓ©nez, Mario J Riscos-NΓΊΓez, AgustΓn Rozenberg, Grzegorz Salomaa, Arto SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5957 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	559.	Image and Signal Processing [electronic resource] 4th International Conference, ICISP 2010, Trois-RiviΓ¨res, QC, Canada, June 30-July 2, 2010. Proceedings edited by Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass, Jean Meunier από Elmoataz, Abderrahim Lezoray, Olivier Nouboud, Fathallah Mammass, Driss Meunier, Jean SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6134 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	560.	Modeling Decisions for Artificial Intelligence [electronic resource] 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings edited by VicenΓ§ Torra, Yasuo Narukawa, Marc Daumas από Torra, VicenΓ§ Narukawa, Yasuo Daumas, Marc SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6408 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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