|
6231 |
SAT based scalable formal verification solutions New York, NY : Springer, 2007
|
|
|
6232 |
SATRIX Aachen : Shaker, 2007, 1. Auflage
|
|
|
6233 |
Schottky Technology for THz-Electronics Cojocari, Oleg. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
6234 |
Scientific computing in electrical engineering Berlin : Springer, 2007
|
|
|
6235 |
Selbstorganisation von Kohlenstoffnanoröhren zu Feldeffekttransistoren Taeger, Sebastian, 2007
|
|
|
6236 |
Sensorschaltungstechnik Schmidt, Wolf D.. - Würzburg : Vogel Communications Group GmbH & Co. KG, 2007, 3., Auflage, revidierte Ausgabe
|
|
|
6237 |
Shortest paths and Steiner trees in VLSI routing Peyer, Sven, 2007
|
|
|
6238 |
Sichere, schnelle, ortsbasierte Handover in hybriden Netzen Kastell, Kira. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
6239 |
Sigma-Delta Analog-to-Digital Modulators with a Single Operational Transconductance Amplifier for Low-Power SoC Design in Biomedical Applications Mora Sánchez, Alexander. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
6240 |
Signalverarbeitung mit MATLAB und Simulink Hoffmann, Josef. - Berlin/Boston : De Gruyter, 2007
|
|