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

Αποτελέσματα
	41.	Abstraction Refinement for Large Scale Model Checking [electronic resource] by Chao Wang, Gary D. Hachtel, Fabio Somenzi από Wang, Chao Hachtel, Gary D Somenzi, Fabio Σειρά: Series on Integrated Circuits and Systems Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	42.	The Core Test Wrapper Handbook [electronic resource] Rationale and Application of IEEE Std. 1500β' by Francisco Silva, Teresa McLaurin, Tom Waayers από Silva, Francisco McLaurin, Teresa Waayers, Tom Σειρά: Frontiers in Electronic Testing ; 35 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	43.	SystemVerilog for Design [electronic resource] A Guide to Using SystemVerilog for Hardware Design and Modeling by Stuart Sutherland, Simon Davidmann, Peter Flake από Sutherland, Stuart Davidmann, Simon Flake, Peter Έκδοση: Second Edition Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	44.	Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms [electronic resource] by Tim Kogel, Rainer Leupers, Heinrich Meyr από Kogel, Tim Leupers, Rainer Meyr, Heinrich Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	45.	Assembly Line Design [electronic resource] The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms by Brahim Rekiek, Alain Delchambre από Rekiek, Brahim Delchambre, Alain Σειρά: Springer Series in Advanced Manufacturing Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	46.	Condition Monitoring and Control for Intelligent Manufacturing [electronic resource] edited by Lihui Wang, Robert X. Gao από Wang, Lihui Gao, Robert X Σειρά: Springer Series in Advanced Manufacturing Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	47.	Practical Grey-box Process Identification [electronic resource] Theory and Applications by Torsten Bohlin από Bohlin, Torsten Σειρά: Advances in Industrial Control Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	48.	Semiconductor Modeling [electronic resource] For Simulating Signal, Power, and Electromagnetic Integrity by Roy G. Leventhal, Lynne Green από Leventhal, Roy G Green, Lynne Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	49.	by Erdogan Madenci, Ibrahim Guven από Madenci, Erdogan Guven, Ibrahim Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	50.	Hardware Verification with C++ [electronic resource] A Practitionerβs Handbook by Mike Mintz, Robert Ekendahl από Mintz, Mike Ekendahl, Robert Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	51.	A Roadmap for Formal Property Verification [electronic resource] by Pallab DasGupta από DasGupta, Pallab Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	52.	Innovations in Design & Decision Support Systems in Architecture and Urban Planning [electronic resource] edited by Jos P. Leeuwen, Harry J. P. Timmermans από Leeuwen, Jos P Timmermans, Harry J. P Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	53.	Advanced Test Methods for SRAMs [electronic resource] Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies by Alberto Bosio, Luigi Dilillo, Patrick Girard, Serge Pravossoudovitch, Arnaud Virazel από Bosio, Alberto Dilillo, Luigi Girard, Patrick Pravossoudovitch, Serge Virazel, Arnaud SpringerLink (Online service) Έκδοση: 1 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer-Verlag US 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	54.	Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications [electronic resource] by Gaurav Singh, Sandeep K. Shukla από Singh, Gaurav Shukla, Sandeep K SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	55.	Processor and System-on-Chip Simulation [electronic resource] edited by Rainer Leupers, Olivier Temam από Leupers, Rainer Temam, Olivier SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	56.	Embedded Software Design and Programming of Multiprocessor System-on-Chip [electronic resource] Simulink and System C Case Studies by Katalin Popovici, FrΓ©dΓ©ric Rousseau, Ahmed A. Jerraya, Marilyn Wolf από Popovici, Katalin Rousseau, FrΓ©dΓ©ric Jerraya, Ahmed A Wolf, Marilyn, 1958- SpringerLink (Online service) Σειρά: Embedded Systems Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer-Verlag New York 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	57.	On and Off-Chip Crosstalk Avoidance in VLSI Design [electronic resource] by Chunjie Duan, Brock J. LaMeres, Sunil P. Khatri από Duan, Chunjie LaMeres, Brock J Khatri, Sunil P SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	58.	C Compilers for ASIPs [electronic resource] Automatic Compiler Generation with LISA by Manuel Hohenauer, Rainer Leupers από Hohenauer, Manuel Leupers, Rainer SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	59.	OntoCAPE [electronic resource] A Re-Usable Ontology for Chemical Process Engineering by Wolfgang Marquardt, Jan Morbach, Andreas Wiesner, Aidong Yang από Marquardt, Wolfgang Morbach, Jan Wiesner, Andreas Yang, Aidong SpringerLink (Online service) Σειρά: RWTHedition Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	60.	Synthesis of Embedded Software [electronic resource] Frameworks and Methodologies for Correctness by Construction edited by Sandeep K. Shukla, Jean-Pierre Talpin από Shukla, Sandeep K Talpin, Jean-Pierre SpringerLink (Online service) Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

Τίτλοι

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