Limit Search Results
Author
SpringerLink (Online service)
(108)
Cagnoni, Stefano. editor.
(4)
Doya, Kenji. editor.
(4)
Hirose, Akira. editor.
(4)
Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121
(4)
Language
Publication Date
-
Subject
Computer hardware.
(88)
Software engineering.
(39)
Computer network architectures.
(35)
Computer Communication Networks.
(23)
Artificial intelligence.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
110 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II
Author 
Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46672-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV
Author 
Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46681-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
Author 
Gadducci, Fabio. editor. Tavosanis, Mirko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47286-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Applied Computer Science
Applied Computer Science
Author 
Torbert, Shane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30866-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Behavioural Models From Modelling Finite Automata to Analysing Business Processes
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
Author 
Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44960-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III
Author 
Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46675-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I
Author 
Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46687-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Embedded Multimedia Security Systems Algorithms and Architectures
Embedded Multimedia Security Systems Algorithms and Architectures
Author 
Pande, Amit. author. Zambreno, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330984.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4459-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
Author 
Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334299.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36812-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
Author 
Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336495.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-92-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action