Limit Search Results
Author
SpringerLink (Online service)
(40)
Guarda, Teresa. editor. (orcid)0000-0002-9602-0692
(6)
Portela, Filipe. editor. (orcid)0000-0003-2181-6837
(6)
Riedel, Ralph. editor. (orcid)0000-0002-3704-8230
(5)
Romero, David. editor. (orcid)0000-0003-3610-0751
(5)
Language
Publication Date
-
Subject
Computer Engineering and Networks.
(37)
Computer networks .
(37)
Application software.
(11)
Artificial intelligence.
(11)
Computer and Information Systems Applications.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
41 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions
Author 
Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Artificial intelligence hardware design : challenges and solutions
Artificial intelligence hardware design : challenges and solutions
Author 
Liu, Albert Chun-Chen, author. Law, Oscar Ming Kin, author.
Preferred Shelf Number 
QA76.87
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119810483
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Manufacturing II Volume 1 - Solutions for Industry 4.0
Advances in Manufacturing II Volume 1 - Solutions for Industry 4.0
Author 
Trojanowska, Justyna. editor. Ciszak, Olaf. editor. Machado, José Mendes. editor. Pavlenko, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18715-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for BizTalk 2013 EDI for Health Care HIPAA-Compliant 834 (Enrollment) and 837 (Claims) Solutions
BizTalk 2013 EDI for Health Care HIPAA-Compliant 834 (Enrollment) and 837 (Claims) Solutions
Author 
Beckner, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6608-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Applied Acoustics: Concepts, Absorbers, and Silencers for Acoustical Comfort and Noise Control Alternative Solutions - Innovative Tools - Practical Examples
Applied Acoustics: Concepts, Absorbers, and Silencers for Acoustical Comfort and Noise Control Alternative Solutions - Innovative Tools - Practical Examples
Author 
Fuchs, Helmut V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333232.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29367-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I
Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I
Author 
Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83207-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II
Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II
Author 
Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83210-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part III
Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part III
Author 
Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84078-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 4
ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 4
Author 
Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8605-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 2
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 2
Author 
Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8591-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings
Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings
Author 
Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81900-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Cellular Radio Access Networks RF Fundamentals and Protocols
Cellular Radio Access Networks RF Fundamentals and Protocols
Author 
Maljević, Ivo. author. Alfarhan, Faris. author. Adve, Raviraj. author. (orcid)0000-0003-0224-2209 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76455-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action