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

Αποτελέσματα
	121.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings edited by Christian G. FermΓΌller, Andrei Voronkov από FermΓΌller, Christian G Voronkov, Andrei SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6397 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	122.	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). Προσθήκη στο καλάθι (αφαίρεση)
	123.	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). Προσθήκη στο καλάθι (αφαίρεση)
	124.	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). Προσθήκη στο καλάθι (αφαίρεση)
	125.	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). Προσθήκη στο καλάθι (αφαίρεση)
	126.	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). Προσθήκη στο καλάθι (αφαίρεση)
	127.	Programming Languages and Systems [electronic resource] 19th European Symposium on Programming, ESOP 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 Andrew D. Gordon από Gordon, Andrew D SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6012 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	128.	Advanced Lectures on Software Engineering [electronic resource] LASER Summer School 2007/2008 edited by Peter MΓΌller από MΓΌller, Peter SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6029 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	129.	Foundational and Practical Aspects of Resource Analysis [electronic resource] First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers edited by Marko Eekelen, Olha Shkaravska από Eekelen, Marko Shkaravska, Olha SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6324 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	130.	VHDL for logic synthesis / Andrew Rushton. από Rushton, Andrew Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Chichester New York : Wiley, 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (Πα.Πελ.) (1)Ταξιθετικός αριθμός: 621.395 RUS. Προσθήκη στο καλάθι (αφαίρεση)
	131.	Σχεδίαση ψηφιακών συστημάτων με τη γλώσσα VHDL / Stephen Brown και Zvonko Vranesic ; επιμέλεια μετάφρασης Νικόλαος Ι. Μάργαρης, Παύλος Χρ. Κούρος, Χρήστος Β. Τζίκας ; μετάφραση Ιωάννης Πεταλάς. από Brown, Stephen D Vranesic, Zvonko G [συγγραφέας. ] Κούρος, Παύλος Χρ [επιμελητής μετάφρασης.] Μάργαρης, Νίκος Ι [επιμελητής μετάφρασης.] Πεταλάς, Ιωάννης [μεταφραστής.] Τζίκας, Χρήστος Β [επιμελητής μετάφρασης.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Greek, Modern (1453- ) Original language: Αγγλικά Λεπτομέρειες δημοσίευσης: Θεσσαλονίκη : Τζιόλας, 2001 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (38)Ταξιθετικός αριθμός: 621.395 BRO, ... ΒΚΠ - Κουκούλι (Πα.Πελ.) (23)Ταξιθετικός αριθμός: 621.395 BRO, ... Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Κουκούλι: Not For Loan (1)Ταξιθετικός αριθμός: 621.395 BRO. Προσθήκη στο καλάθι (αφαίρεση)
	132.	Introductory digital design : a_programmable_approach / Nixon, Mark S. από Nixon, Mark S Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: London : McMillan, c 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (Πα.Πελ.) (3)Ταξιθετικός αριθμός: 621.395 NIX, ... Προσθήκη στο καλάθι (αφαίρεση)
	133.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Digital Logic Design / Holdsworth, B. , Woods R. C. από Holdsworth, B Woods, R. C Έκδοση: 4th ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Oxford , Boston : Newnes, c 2002 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (Πα.Πελ.) (3)Ταξιθετικός αριθμός: 621.395 HOL, ... Προσθήκη στο καλάθι (αφαίρεση)
	134.	Fundamentals of digital logic with VHDL design / Brown, Stephen , Vranesic, Zvonko. από Brown, Stephen D Vranesic, Zvonko G Σειρά: McGraw-Hill series in electrical and computer engineering Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Boston : McGraw-Hill Higher Education, c 2005 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (Πα.Πελ.) (2)Ταξιθετικός αριθμός: 621.395 BRO, ... Προσθήκη στο καλάθι (αφαίρεση)
	135.	Digital design with CPLD applications and VHDL / Dueck, Robert K. από Dueck, Robert K Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Clifton Park , N. Y. : Thomson / Delmar Learning, c 2005 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (Πα.Πελ.) (2)Ταξιθετικός αριθμός: 621.395 DUE, ... Προσθήκη στο καλάθι (αφαίρεση)
	136.	Degital design / M. Morris Mano. από Mano, M. Morris, 1927- Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: Englewood Cliffs : Prentice Hall, 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (Πα.Πελ.) (4)Ταξιθετικός αριθμός: 621.395 MAN, ... Προσθήκη στο καλάθι (αφαίρεση)
	137.	Modern digital design. από Sandige, Richard S McGraw-Hill Σειρά: McGraw-Hill series in electrical engineering Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Λεπτομέρειες δημοσίευσης: New York : McGraw-Hill, c1990 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (1)Ταξιθετικός αριθμός: 621.395 SAN. Προσθήκη στο καλάθι (αφαίρεση)
	138.	Digital designing with programmable logic devices / John W. Carter. από Carter, John W Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: Upper Saddle River : Prentice Hall, c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (1)Ταξιθετικός αριθμός: 621.395 CAR. Προσθήκη στο καλάθι (αφαίρεση)
	139.	The practical Xilinx designer lab book / Dave Van den Bout. από Van den Bout, David E Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: Upper Saddle River, N.J. : Prentice Hall, c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (1)Ταξιθετικός αριθμός: 621.3916 VAN. Προσθήκη στο καλάθι (αφαίρεση)

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