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 ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 1
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 1
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-8526-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Big Data - BigData 2024 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Big Data - BigData 2024 13th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Author 
Zhang, Yong. editor. Cai, Ting. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77088-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
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 Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers
Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers
Author 
Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93631-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 3
ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 3
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-8602-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action