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

Αποτελέσματα
	161.	Theory and Practice of Model Transformations [electronic resource] Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings edited by Laurence Tratt, Martin Gogolla από Tratt, Laurence Gogolla, Martin SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6142 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	162.	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). Προσθήκη στο καλάθι (αφαίρεση)
	163.	Reachability Problems [electronic resource] 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings edited by AntonΓn KuΔera, Igor Potapov από KuΔera, AntonΓn Potapov, Igor SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6227 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	164.	Sensor Applications, Experimentation, and Logistics [electronic resource] First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers edited by Nikos Komninos από Komninos, Nikos SpringerLink (Online service) Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 29 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	165.	Information Processing in Computer-Assisted Interventions [electronic resource] First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings edited by Nassir Navab, Pierre Jannin από Navab, Nassir Jannin, Pierre SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6135 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	166.	Enterprise Architecture, Integration and Interoperability [electronic resource] IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings edited by Peter Bernus, Guy Doumeingts, Mark Fox από Bernus, Peter Doumeingts, Guy Fox, Mark SpringerLink (Online service) Σειρά: IFIP Advances in Information and Communication Technology ; 326 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	167.	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). Προσθήκη στο καλάθι (αφαίρεση)
	168.	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). Προσθήκη στο καλάθι (αφαίρεση)
	169.	Specification and Verification of Declarative Open Interaction Models [electronic resource] A Logic-Based Approach by Marco Montali από Montali, Marco SpringerLink (Online service) Σειρά: Lecture Notes in Business Information Processing ; 56 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	170.	Parallel Processing and Applied Mathematics [electronic resource] 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski από Wyrzykowski, Roman Dongarra, Jack Karczewski, Konrad Wasniewski, Jerzy SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6068 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	171.	Theory and Applications of Satisfiability Testing β SAT 2010 [electronic resource] 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings edited by Ofer Strichman, Stefan Szeider από Strichman, Ofer Szeider, Stefan SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6175 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg Berlin 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	172.	Access Networks [electronic resource] 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers edited by Xiao Jun Hei, Lawrence Cheung από Hei, Xiao Jun Cheung, Lawrence SpringerLink (Online service) Σειρά: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 37 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	173.	Ad-Hoc, Mobile and Wireless Networks [electronic resource] 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings edited by Ioanis Nikolaidis, Kui Wu από Nikolaidis, Ioanis Wu, Kui SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6288 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	174.	Future Generation Information Technology [electronic resource] Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings edited by Tai-hoon Kim, Young-hoon Lee, Byeong-Ho Kang, Dominik Ślęzak από Kim, Tai-hoon Lee, Young-hoon Kang, Byeong-Ho Ślęzak, Dominik SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6485 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	175.	Advances in Information Technology [electronic resource] 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings edited by Borworn Papasratorn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja από Papasratorn, Borworn Lavangnananda, Kittichai Chutimaskul, Wichian Vanijja, Vajirasak SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 114 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	176.	The Engineering of Mixed Reality Systems [electronic resource] edited by Emmanuel Dubois, Philip Gray, Laurence Nigay από Dubois, Emmanuel Gray, Philip Nigay, Laurence SpringerLink (Online service) Σειρά: Human-Computer Interaction Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	177.	Evaluation of Novel Approaches to Software Engineering [electronic resource] 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers edited by Leszek A. Maciaszek, CΓ©sar GonzΓ'lez-PΓ©rez, Stefan Jablonski από Maciaszek, Leszek A GonzΓ'lez-PΓ©rez, CΓ©sar Jablonski, Stefan SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 69 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	178.	SOFSEM 2010: Theory and Practice of Computer Science [electronic resource] 36th Conference on Current Trends in Theory and Practice of Computer Science, Ε pindlerΕ-v MlΓ½n, Czech Republic, January 23-29, 2010. Proceedings edited by Jan Leeuwen, Anca Muscholl, David Peleg, Jaroslav PokornΓ½, Bernhard Rumpe από Leeuwen, J. Van ((Jan)), 1850-1924 Muscholl, Anca Peleg, David PokornΓ½, Jaroslav Rumpe, Bernhard SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5901 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	179.	Fundamental Approaches to Software Engineering [electronic resource] 13th International Conference, FASE 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 David S. Rosenblum, Gabriele Taentzer από Rosenblum, David S Taentzer, Gabriele SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6013 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	180.	RoboCup 2009: Robot Soccer World Cup XIII [electronic resource] edited by Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry Ghidary από Baltes, Jacky Lagoudakis, Michail G Naruse, Tadashi Ghidary, Saeed Shiry SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5949 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

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

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

Σειρά

Θέματα

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