Limit Search Results
Author
SpringerLink (Online service)
(18)
Liang, Qilian. editor.
(4)
Wang, Wei. editor.
(4)
Zhang, Baoju. editor.
(4)
Liu, Xin. editor.
(3)
Language
Publication Date
-
Subject
Computer Communication Networks.
(9)
Computer Engineering and Networks.
(9)
Computer engineering.
(9)
Logic design.
(8)
Artificial intelligence.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
Cover image for Digital Logic for Computing
Digital Logic for Computing
Author 
Seiffertt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56839-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Author 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Author 
Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-7236-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1
Author 
Jain, Lakhmi C. editor. Patnaik, Srikanta. editor. Ichalkaranje, Nikhil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2012-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for The Proceedings of the Third International Conference on Communications, Signal Processing, and Systems
The Proceedings of the Third International Conference on Communications, Signal Processing, and Systems
Author 
Mu, Jiasong. editor. Liang, Qilian. editor. Wang, Wei. editor. Zhang, Baoju. editor. Pi, Yiming. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08991-1
Format: 
Availability 
Online Library~1
Available:
Copies: