Limit Search Results
Author
SpringerLink (Online service)
(907)
Voronkov, Andrei. editor.
(13)
Bernardo, Marco. editor.
(11)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Language
Publication Date
-
Subject
Computer science.
(814)
Logic design.
(742)
Computer Communication Networks.
(268)
Artificial intelligence.
(214)
Information Systems.
(100)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
917 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Harnessing VLSI System Design with EDA Tools
Harnessing VLSI System Design with EDA Tools
Author 
Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1864-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Pro Objective-C Design Patterns for iOS
Pro Objective-C Design Patterns for iOS
Author 
Chung, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-3331-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Scientific Software Design The Object-Oriented Way
Scientific Software Design The Object-Oriented Way
Author 
Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Architecture-Based Design of Multi-Agent Systems
Architecture-Based Design of Multi-Agent Systems
Author 
Weyns, Danny. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01064-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Embedded System Design Modeling, Synthesis and Verification
Embedded System Design Modeling, Synthesis and Verification
Author 
Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Ingredients for Successful System Level Design Methodology
Ingredients for Successful System Level Design Methodology
Author 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer-Aided Design of User Interfaces V
Computer-Aided Design of User Interfaces V
Author 
Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5820-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Moderne C++ Programmierung Klassen, Templates, Design Patterns
Moderne C++ Programmierung Klassen, Templates, Design Patterns
Author 
Schneeweiß, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-45954-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Biometric Systems Technology, Design and Performance Evaluation
Biometric Systems Technology, Design and Performance Evaluation
Author 
Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138151
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21435-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Author 
Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17910-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings
Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings
Author 
Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30949-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action