Limit Search Results
Author
SpringerLink (Online service)
(901)
Voronkov, Andrei. editor.
(13)
Bernardo, Marco. editor.
(11)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Language
Publication Date
-
2012
(107)
2007
(98)
2010
(98)
2011
(96)
2013
(86)
Subject
Computer science.
(814)
Logic design.
(742)
Computer Communication Networks.
(268)
Artificial intelligence.
(213)
Information Systems.
(100)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
908 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
Cover image for Formal Verification of Floating-Point Hardware Design A Mathematical Approach
Formal Verification of Floating-Point Hardware Design A Mathematical Approach
Author 
Russinoff, David M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95513-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV
Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV
Author 
Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23535-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III
Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22636-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets