Limit Search Results
Author
SpringerLink (Online service)
(34)
Leondes, Cornelius T.
(3)
Halgamuge, Saman. editor.
(2)
Wang, Lipo. editor.
(2)
Adamski, Marian Andrzej. author.
(1)
Language
Subject
Computer aided design.
(32)
Engineering.
(19)
Computer science.
(17)
Systems engineering.
(9)
Artificial intelligence.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
46 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Distributed Network Systems From Concepts to Implementations
Distributed Network Systems From Concepts to Implementations
Author 
Jia, Weijia. author. Zhou, Wanlei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b102545
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Taxonomies for the Development and Verification of Digital Systems
Taxonomies for the Development and Verification of Digital Systems
Author 
Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104217
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Author 
Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136935
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Robust Control Design with MATLAB®
Robust Control Design with MATLAB®
Author 
Gu, Da-Wei. author. Petkov, Petko Hristov. author. Konstantinov, Mihail Mihaylov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135806
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
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:
19. 
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:
20. 
Cover image for Differential Evolution A Practical Approach to Global Optimization
Differential Evolution A Practical Approach to Global Optimization
Author 
Price, Kenneth V. author. Storn, Rainer M. author. Lampinen, Jouni A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31306-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
Author 
Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11568421
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
Author 
Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11556985
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings
Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings
Author 
Mařík, Vladimír. editor. Brennan, Robert. editor. Pěchouček, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11537847
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Author 
Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560548
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action