Limit Search Results
Author
SpringerLink (Online service)
(29)
Abbas, Karim. author.
(1)
Abd Elaziz, Mohamed. editor.
(1)
Abd Wahab, Mohd Helmy. editor.
(1)
Ahonen, Pertti, contributor.
(1)
Language
Subject
Artificial intelligence.
(4)
Computational intelligence.
(4)
Electronic Circuits and Systems.
(4)
Electronic circuits.
(4)
Embedded Systems.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
31 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Author 
Mostowski, Andrzej
Preferred Shelf Number 
BC 135 M6 1952
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Approximate Arithmetic Circuit Architectures for FPGA-based Systems
Approximate Arithmetic Circuit Architectures for FPGA-based Systems
Author 
Ullah, Salim. author. Kumar, Akash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21294-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
Author 
Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32180-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
Author 
Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22944-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author 
Schreiner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24934-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Guide to Java A Concise Introduction to Programming
Guide to Java A Concise Introduction to Programming
Author 
Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22842-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for GeNeDis 2022 Molecular, Chemical, and Cellular Biology
GeNeDis 2022 Molecular, Chemical, and Cellular Biology
Author 
Vlamos, Panagiotis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31978-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Futuristic Communication and Network Technologies Select Proceedings of VICFCNT 2021, Volume 2
Futuristic Communication and Network Technologies Select Proceedings of VICFCNT 2021, Volume 2
Author 
Subhashini, N. editor. Ezra, Morris. A. G. editor. Liaw, Shien-Kuei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9748-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Inventive Communication and Computational Technologies Proceedings of ICICCT 2022
Inventive Communication and Computational Technologies Proceedings of ICICCT 2022
Author 
Ranganathan, G. editor. Fernando, Xavier. editor. Rocha, Álvaro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4960-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Author 
Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Author 
Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44245-2
Format: 
Availability 
Online Library~1
Available:
Copies: