Limit Search Results
Author
SpringerLink (Online service)
(319)
Barthès, Jean-Paul A. editor.
(4)
Khatri, Sunil P. author.
(4)
Shen, Weiming. editor.
(4)
Wang, Lihui. editor.
(4)
Language
Publication Date
-
2011
(57)
2010
(38)
2006
(34)
2012
(34)
2009
(32)
Subject
Engineering.
(253)
Systems engineering.
(144)
Computer science.
(67)
Engineering design.
(61)
Software engineering.
(39)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
319 Results Found Subscribe to search results
0000000DEFAULT
Print
313. 
Cover image for Assertion-Based Design
Assertion-Based Design
Author 
Foster, Harry. author. Krolnik, Adam. author. Lacey, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117047
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for Direct Transistor-level Layout for Digital Blocks
Direct Transistor-level Layout for Digital Blocks
Author 
Gopalakrishnan, Prakash. author. Rutenbar, Rob A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117054
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
Author 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117249
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Numerik-Algorithmen Verfahren, Beispiele, Anwendungen
Numerik-Algorithmen Verfahren, Beispiele, Anwendungen
Author 
Engeln-Müllges, Gisela. author. Niederdrenk, Klaus. author. Wodicka, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137462
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Embedded Systems - qualitätsorientierte Entwicklung
Embedded Systems - qualitätsorientierte Entwicklung
Author 
Bender, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138984
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for Analytical Methods in Anisotropic Elasticity with Symbolic Computational Tools
Analytical Methods in Anisotropic Elasticity with Symbolic Computational Tools
Author 
Rand, Omri. author. Rovenski, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138765
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for An Introduction to Meshfree Methods and Their Programming
An Introduction to Meshfree Methods and Their Programming
Author 
Liu, G.R. author. Gu, Y.T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action