Your search returned 122 results.

Sort
Results
1.
2.
Full-Chip Nanometer Routing Techniques [electronic resource] / by Tsung-Yi Ho, Yao-Wen Chang, Sao-Jie Chen. by Series: Analog Circuits And Signal Processing Series
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.8 H68 2007 .

3.
Embedded System Design [electronic resource] / by Peter Marwedel. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 M37 2006.

4.
Visualization of Digital Terrain and Landscape Data [electronic resource] : A Manual / by Rüdiger Mach, Peter Petschek. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: No items available.

5.
Interconnect Noise Optimization in Nanometer Technologies [electronic resource] / by Mohamed A. Elgamel, Magdy A. Bayoumi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.53 E55 2006.

6.
Systems Modeling and Simulation: Theory and Applications [electronic resource] : Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / edited by Doo-Kwon Baik. by Series: Lecture Notes in Computer Science ; 3398
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C65 B35 2005.

7.
Large-Scale Scientific Computing [electronic resource] : 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Series: Lecture Notes in Computer Science ; 3743
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q183.9 L57 2006.

8.
Verilog and SystemVerilog Gotchas [electronic resource] : 101 Common Coding Errors and How to Avoid Them / by Stuart Sutherland, Don Mills. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 S88 2007 .

9.
Interconnect-Centric Design for Advanced SoC and NoC [electronic resource] / edited by Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, Axel Jantsch. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.53 N87 2005.

10.
Model-Driven Architecture in Practice [electronic resource] : A Software Production Environment Based on Conceptual Modeling / by Oscar Pastor, Juan Carlos Molina. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 P37 2007.

11.
12.
Practical Grey-box Process Identification [electronic resource] : Theory and Applications / by Torsten Bohlin. by Series: Advances in Industrial Control
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TS156.8 B65 2006.

13.
Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Series: Lecture Notes in Computer Science ; 4818
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q183.9 L57 2008.

14.
System Verilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features / by Chris Spear. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 S64 2008.

15.
Distributed Network Systems [electronic resource] : From Concepts to Implementations / by Weijia Jia, Wanlei Zhou. by Series: Network Theory and Applications ; 15
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 .J53 2005.

16.
17.
18.
Rigid Body Dynamics Algorithms [electronic resource] / by Roy Featherstone. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9 A43 2008.

19.
Boundary Representation Modelling Techniques [electronic resource] / by Ian Stroud. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA347.B69 S76 2006.

20.
Verification Methodology Manual for SystemVerilog [electronic resource] / by Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Synopsys, Inc. and ARM Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 .V44 2005.

Pages

Powered by Koha