Search Results for Simulation

51 Results Found

1 2 3 4 5

000000000000DEFAULT

Processor and System-on-Chip Simulation

Author

Leupers, Rainer. editor. Temam, Olivier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6175-4

Format:

Availability

Online Library~1

Available:
Copies:

Scalable Hardware Verification with Symbolic Simulation

Author

Bertacco, Valeria. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-29906-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming Analysis, Simulation and Engineering Applications

Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming Analysis, Simulation and Engineering Applications

Author

Hu, Ping. author. Ma, Ning. author. Liu, Li-zhong. author. Zhu, Yi-guo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330905.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4099-3

Format:

Availability

Online Library~1

Available:
Copies:

3D TCAD Simulation for Semiconductor Processes, Devices and Optoelectronics

Author

Li, Simon. author. Fu, Yue. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-0481-1

Format:

Availability

Online Library~1

Available:
Copies:

Simulation Methods for Reliability and Availability of Complex Systems

Author

Faulin, Javier. editor. Juan, Angel A. editor. Martorell, Sebastián. editor. Ramírez-Márquez, José-Emmanuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-213-9

Format:

Availability

Online Library~1

Available:
Copies:

Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions

Author

Bangsow, Steffen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05074-9

Format:

Availability

Online Library~1

Available:
Copies:

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:

Cover image for Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

Author

Baik, Doo-Kwon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105611

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Author

Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11556930

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335219.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-53856-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335220.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-53862-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Digitale Produktion

Author

Westkämper, Engelbert. editor. Spath, Dieter. editor. Constantinescu, Carmen. editor. Lentes, Joachim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336884.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-20259-9

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

	{displayName}	{count}
{error}