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

Αποτελέσματα
	101.	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). Προσθήκη στο καλάθι (αφαίρεση)
	102.	Business Process Technology [electronic resource] A Unified View on Business Processes, Workflows and Enterprise Applications by Dirk Draheim από Draheim, Dirk SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	103.	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). Προσθήκη στο καλάθι (αφαίρεση)
	104.	S-BPM ONE β Setting the Stage for Subject-Oriented Business Process Management [electronic resource] First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers edited by Hagen Buchwald, Albert Fleischmann, Detlef Seese, Christian Stary από Buchwald, Hagen Fleischmann, Albert Seese, Detlef Stary, Christian SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 85 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	105.	Quality-Driven SystemC Design [electronic resource] by Daniel GroΓe, Rolf Drechsler από GroΓe, Daniel Drechsler, Rolf SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	106.	High Performance Computing Systems and Applications [electronic resource] 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers edited by Douglas J. K. Mewhort, Natalie M. Cann, Gary W. Slater, Thomas J. Naughton από Mewhort, Douglas J. K Cann, Natalie M Slater, Gary W Naughton, Thomas J SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5976 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	107.	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). Προσθήκη στο καλάθι (αφαίρεση)
	108.	Parallel Processing and Applied Mathematics [electronic resource] 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I 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 ; 6067 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	109.	Open Source Software: New Horizons [electronic resource] 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 β June 2, 2010. Proceedings edited by PΓ€r Γgerfalk, Cornelia Boldyreff, JesΓΊs M. GonzΓ'lez-Barahona, Gregory R. Madey, John Noll από Γgerfalk, PΓ€r Boldyreff, Cornelia GonzΓ'lez-Barahona, JesΓΊs M Madey, Gregory R Noll, John SpringerLink (Online service) Σειρά: IFIP Advances in Information and Communication Technology ; 319 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	110.	Advances in Software Engineering [electronic resource] International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings edited by Tai-hoon Kim, Haeng-Kon Kim, Muhammad Khurram Khan, Akingbehin Kiumi, Wai-chi Fang, Dominik ΕlΔzak από Kim, Tai-hoon Kim, Haeng-Kon Khan, Muhammad Khurram Kiumi, Akingbehin Fang, Wai-chi Ślęzak, Dominik SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 117 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	111.	Thriving Systems Theory and Metaphor-Driven Modeling [electronic resource] by Leslie J. Waguespack από Waguespack, Leslie J SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	112.	Tools for High Performance Computing 2009 [electronic resource] Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden edited by Matthias S. MΓΌller, Michael M. Resch, Alexander Schulz, Wolfgang E. Nagel από MΓΌller, Matthias S Resch, Michael M Schulz, Alexander Nagel, Wolfgang E SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	113.	VLSI-SoC: Design Methodologies for SoC and SiP [electronic resource] 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers edited by Christian Piguet, Ricardo Reis, Dimitrios Soudris από Piguet, Christian Reis, Ricardo Soudris, Dimitrios SpringerLink (Online service) Σειρά: IFIP Advances in Information and Communication Technology ; 313 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg IFIP International Federation for Information Processing 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	114.	Information Computing and Applications [electronic resource] International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu από Zhu, Rongbo Zhang, Yanchun Liu, Baoxiang Liu, Chunfeng SpringerLink (Online service) Σειρά: Communications in Computer and Information Science ; 106 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	115.	Specification and Verification of Multi-agent Systems [electronic resource] edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer από Dastani, Mehdi Hindriks, Koen V Meyer, John-Jules Charles SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	116.	Software Composition [electronic resource] 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings από Baudry, Benoit Wohlstadter, Eric SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6144 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	117.	Automated Technology for Verification and Analysis [electronic resource] 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings edited by Ahmed Bouajjani, Wei-Ngan Chin από Bouajjani, Ahmed Chin, Wei-Ngan SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6252 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας