Limit Search Results
Author
Huang, De-Shuang. editor.
(5)
Hussain, Abir. editor.
(3)
Dolev, Shlomi. editor.
(2)
Jo, Kang-Hyun. editor.
(2)
Liu, Baoxiang. editor.
(2)
Language
Publication Date
-
Subject
Computing Methodologies.
(15)
Electronic data processing.
(15)
Computer science.
(10)
Artificial intelligence.
(7)
Engineering.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings
Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings
Author 
Dolev, Shlomi. editor. Schieber, Baruch. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521210.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44274-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Diversity in Computer Science Design Artefacts for Equity and Inclusion
Diversity in Computer Science Design Artefacts for Equity and Inclusion
Author 
Bjørn, Pernille. author. Menendez-Blanco, Maria. author. Borsotti, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520152.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-13314-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Design Automation of Quantum Computers
Design Automation of Quantum Computers
Author 
Topaloglu, Rasit O. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520174.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-15699-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for New Trends in Information and Communications Technology Applications 6th International Conference, NTICT 2022, Baghdad, Iraq, November 16-17, 2022, Proceedings
New Trends in Information and Communications Technology Applications 6th International Conference, NTICT 2022, Baghdad, Iraq, November 16-17, 2022, Proceedings
Author 
Al-Bakry, Abbas M. editor. (orcid) Al-Mamory, Safaa O. editor. Sahib, Mouayad A. editor. (orcid) George, Loay E. editor. Aldhaibani, Jaafar A. editor. (orcid)
Preferred Shelf Number 
XX(520772.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35442-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings
Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings
Author 
Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518485.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22689-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers
Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers
Author 
Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518782.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28448-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Essential Speech and Language Technology for Dutch Results by the STEVIN-programme
Essential Speech and Language Technology for Dutch Results by the STEVIN-programme
Author 
Spyns, Peter. editor. Odijk, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333372.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30910-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Analog/RF and Mixed-Signal Circuit Systematic Design
Analog/RF and Mixed-Signal Circuit Systematic Design
Author 
Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Castro-Lopez, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36329-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II
Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II
Author 
Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335218.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53703-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Author 
Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Author 
Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
ONLINE(334332.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36961-2
Format: 
Availability 
Online Library~1
Available:
Copies: