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

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

Ταξινόμηση
Αποτελέσματα
81.
Minimizing and Exploiting Leakage in VLSI Design [electronic resource] by Nikhil Jayakumar, Suganth Paul, Rajesh Garg, Kanupriya Gulati, Sunil P. Khatri από
  • Jayakumar, Nikhil
  • Paul, Suganth
  • Garg, Rajesh
  • Gulati, Kanupriya
  • Khatri, Sunil P
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
82.
Geometric Algebra Computing [electronic resource] in Engineering and Computer Science edited by Eduardo Bayro-Corrochano, Gerik Scheuermann από
  • Bayro-Corrochano, Eduardo
  • Scheuermann, Gerik
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
83.
Designing Embedded Systems with the SIGNAL Programming Language [electronic resource] Synchronous, Reactive Specification by Abdoulaye Gamatie από
  • Gamatie, Abdoulaye
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer-Verlag New York 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
84.
Structural Optimization with Uncertainties [electronic resource] by N.V. Banichuk, Pekka NeittaanmΓ€ki από
  • Banichuk, N. V
  • NeittaanmΓ€ki, Pekka
  • SpringerLink (Online service)
Σειρά: Solid Mechanics and Its Applications ; 162
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
85.
FPGA Design [electronic resource] Best Practices for Team-based Design by Philip Simpson από
  • Simpson, Philip
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
86.
Simulation Methods for Reliability and Availability of Complex Systems [electronic resource] edited by Javier Faulin, Angel A. Juan, SebastiΓ'n Martorell, JosΓ©-Emmanuel RamΓ­rez-MΓ'rquez από
  • Faulin, Javier
  • Juan, Angel A
  • Martorell, SebastiΓ'n
  • RamΓ­rez-MΓ'rquez, JosΓ©-Emmanuel
  • SpringerLink (Online service)
Σειρά: Springer Series in Reliability Engineering
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
87.
VLSI Design for Video Coding [electronic resource] H.264/AVC Encoding from Standard Specification to Chip by Youn-Long Steve Lin, Chao-Yang Kao, Hung-Chih Kuo, Jian-Wen Chen από
  • Lin, Youn-Long Steve
  • Kao, Chao-Yang
  • Kuo, Hung-Chih
  • Chen, Jian-Wen
  • SpringerLink (Online service)
Έκδοση: 1st
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer-Verlag US 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
88.
Composing Software Components [electronic resource] A Software-testing Perspective by Dick Hamlet από
  • Hamlet, Dick
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
89.
Scalable Techniques for Formal Verification [electronic resource] by Sandip Ray από
  • Ray, Sandip
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
90.
Security in Embedded Devices [electronic resource] by Catherine H. Gebotys από
  • Gebotys, Catherine H
  • SpringerLink (Online service)
Σειρά: Embedded Systems
Έκδοση: 1
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer-Verlag US 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
91.
Manufacturing Simulation with Plant Simulation and SimTalk [electronic resource] Usage and Programming with Examples and Solutions by Steffen Bangsow από
  • Bangsow, Steffen
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
92.
Designing Inclusive Interactions [electronic resource] Inclusive Interactions Between People and Products in Their Contexts of Use edited by Patrick Martin Langdon, Peter John Clarkson, Peter Robinson από
  • Langdon, Patrick Martin
  • Clarkson, Peter John
  • Robinson, Peter, 1979-
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer London 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
93.
Dynamic Modelling for Supply Chain Management [electronic resource] Dealing with Front-end, Back-end and Integration Issues by Adolfo Crespo MΓ'rquez από
  • Crespo MΓ'rquez, Adolfo
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer London 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
94.
Mathematical Methods for Curves and Surfaces [electronic resource] 7th International Conference, MMCS 2008, TΓΈnsberg, Norway, June 26-July 1, 2008, Revised Selected Papers edited by Morten DΓ¦hlen, Michael Floater, Tom Lyche, Jean-Louis Merrien, Knut MΓΈrken, Larry L. Schumaker από
  • DΓ¦hlen, Morten
  • Floater, Michael
  • Lyche, Tom
  • Merrien, Jean-Louis
  • MΓΈrken, Knut
  • Schumaker, Larry L, 1939-
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5862
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
95.
Extreme Low-Power Mixed Signal IC Design [electronic resource] Subthreshold Source-Coupled Circuits by Armin Tajalli, Yusuf Leblebici από
  • Tajalli, Armin
  • Leblebici, Yusuf
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, LLC 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
96.
ESL Models and their Application [electronic resource] Electronic System Level Design and Verification in Practice by Brian Bailey, Grant Martin από
  • Bailey, Brian
  • SpringerLink (Online service)
  • Martin, Grant (Grant Edmund)
Σειρά: Embedded Systems
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer-Verlag US 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
97.
SystemC: From the Ground Up [electronic resource] by David C. Black, Jack Donovan, Bill Bunton, Anna Keist από
  • Black, David C
  • Donovan, Jack
  • Bunton, Bill
  • Keist, Anna
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer-Verlag US 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
98.
Large-Scale Scientific Computing [electronic resource] 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers edited by Ivan Lirkov, Svetozar Margenov, Jerzy WaΕ›niewski από
  • Lirkov, Ivan
  • Margenov, Svetozar
  • WaΕ›niewski, Jerzy
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5910
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
99.
Advanced Manufacturing and Sustainable Logistics [electronic resource] 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings edited by Wilhelm Dangelmaier, Alexander Blecken, Robin Delius, Stefan KlΓΆpfer από
  • Dangelmaier, Wilhelm
  • Blecken, Alexander
  • Delius, Robin
  • KlΓΆpfer, Stefan
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Business Information Processing ; 46
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
100.
Power-Aware Testing and Test Strategies for Low Power Devices [electronic resource] edited by Patrick Girard, Nicola Nicolici, Xiaoqing Wen από
  • Girard, Patrick
  • Nicolici, Nicola
  • Wen, Xiaoqing
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer-Verlag US 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud