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
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 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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets