Limit Search Results
Author
SpringerLink (Online service)
(228)
Rozenberg, Grzegorz. editor.
(7)
Fages, François. editor.
(5)
Potapov, Igor. editor.
(5)
Rossi, Francesca. editor.
(5)
Language
Publication Date
-
Subject
Computer science.
(221)
Logic design.
(201)
Software engineering.
(99)
Artificial intelligence.
(63)
Computational complexity.
(61)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
230 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The Algorithm Design Manual
The Algorithm Design Manual
Author 
Skiena, Steven S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-070-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Readings in hardware/software co-design
Readings in hardware/software co-design
Author 
De Micheli, Giovanni. Ernst, Rolf. Wolf, Wayne.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558607026
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Design and Analysis of Approximation Algorithms
Design and Analysis of Approximation Algorithms
Author 
Du, Ding-Zhu. author. Ko, Ker-I. author. Hu, Xiaodong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1701-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Algorithmic Mechanism Design Eine Einführung
Algorithmic Mechanism Design Eine Einführung
Author 
Steimle, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76402-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Design by Evolution Advances in Evolutionary Design
Design by Evolution Advances in Evolutionary Design
Author 
Hingston, Philip F. editor. Barone, Luigi C. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74111-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Practical Problems in VLSI Physical Design Automation
Practical Problems in VLSI Physical Design Automation
Author 
Lim, Sung Kyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6627-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings
Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings
Author 
Liapis, Antonios. editor. Romero Cardalda, Juan Jesús. editor. Ekárt, Anikó. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77583-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Hydraulically Actuated Hexapod Robots Design, Implementation and Control
Hydraulically Actuated Hexapod Robots Design, Implementation and Control
Author 
Nonami, Kenzo. author. Barai, Ranjit Kumar. author. Irawan, Addie. author. Daud, Mohd Razali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-54349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334330.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36955-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers
Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers
Author 
Prouff, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334880.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40026-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
Author 
Schindler, Werner. editor. Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29912-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Author 
Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31494-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action