Limit Search Results
Author
SpringerLink (Online service)
(51)
Pichler, Franz. editor.
(7)
Moreno-Díaz, Roberto. editor.
(5)
Quesada-Arencibia, Alexis. editor.
(5)
Lirkov, Ivan. editor.
(4)
Language
Publication Date
-
Subject
Computer simulation.
(45)
Computer science.
(29)
Engineering.
(22)
Artificial intelligence.
(15)
Computer vision.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
51 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Processor and System-on-Chip Simulation
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:
2. 
Cover image for Scalable Hardware Verification with Symbolic Simulation
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:
3. 
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:
4. 
Cover image for 3D TCAD Simulation for Semiconductor Processes, Devices and Optoelectronics
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:
5. 
Cover image for Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions
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:
6. 
Cover image for Simulation Methods for Reliability and Availability of Complex Systems
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:
7. 
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:
8. 
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:
9. 
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. 
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 II
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. 
Cover image for Digitale Produktion
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:
Select an Action