Limit Search Results
Author
SpringerLink (Online service)
(73)
Pal, Indrajit. editor. (orcid)0000-0002-8743-8122
(3)
LaMarche, Jeff. author.
(2)
Marconi, Lorenzo. editor. (orcid)0000-0001-5519-5448
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Language
Publication Date
-
2016
(19)
2024
(17)
2025
(17)
2017
(13)
2014
(7)
Subject
Software engineering.
(15)
Artificial intelligence.
(10)
Compilers (Computer programs).
(9)
Compilers and Interpreters.
(9)
Computational intelligence.
(7)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
73 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72044-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Plant Genebank Utilization for Trait Discovery in Millets Volume IV
Plant Genebank Utilization for Trait Discovery in Millets Volume IV
Author 
Tripathi, Kuldeep. editor. Kumari, Jyoti. editor. Pandey, Sushil. editor. Singh, Badal. editor. Archak, Sunil. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4043-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for The Kihansi Spray Toad (Nectophrynoides asperginis): Crisis Biology in the 21st Century
The Kihansi Spray Toad (Nectophrynoides asperginis): Crisis Biology in the 21st Century
Author 
Newmark, William D. author. (orcid)0000-0002-0359-9763 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89599-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Proceedings of the 3rd International Symposium on Disaster Resilience and Sustainable Development-Volume 3 Multi-Hazard Approach of GIS and Remote Sensing for Disaster Risk Reduction (DRR)
Proceedings of the 3rd International Symposium on Disaster Resilience and Sustainable Development-Volume 3 Multi-Hazard Approach of GIS and Remote Sensing for Disaster Risk Reduction (DRR)
Author 
Pal, Indrajit. editor. (orcid)0000-0002-8743-8122 Mukhopadhyay, Anirban. editor. (orcid)0000-0003-3340-6202 Virdis, Salvatore G.P. editor. (orcid)0000-0003-3927-9494 Tawhidul Islam, Sheikh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-7488-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Engineering Mathematics with MATLAB Applications: Vol. 2, Advanced Topics
Engineering Mathematics with MATLAB Applications: Vol. 2, Advanced Topics
Author 
Kurtaran, Hasan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81876-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Author 
Morazán, Marco T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43973-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Genetic Programming Theory and Practice XX
Genetic Programming Theory and Practice XX
Author 
Winkler, Stephan. editor. (orcid)0000-0002-5196-4294 Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736 Ofria, Charles. editor. Hu, Ting. editor. (orcid)0000-0001-6382-0602 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8413-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings
Author 
Skliarova, Iouliia. editor. (orcid)0000-0002-6684-9416 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Véstias, Mário. editor. Diniz, Pedro C. editor. (orcid)0000-0003-3131-9367 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55673-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing
Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing
Author 
Bayro-Corrochano, Eduardo. author. (orcid)0000-0002-4738-3593 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66342-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference
Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference
Author 
Zayas-Gato, Francisco. editor. Díaz-Longueira, Antonio. editor. Casteleiro-Roca, José-Luis. editor. (orcid)0000-0001-9740-6477 Jove, Esteban. editor. (orcid)0000-0002-0625-359X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73910-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Curriculum Design, Evaluation, and Teaching in Medical Education Recognizing Challenges and Opportunities
Curriculum Design, Evaluation, and Teaching in Medical Education Recognizing Challenges and Opportunities
Author 
Benbassat, Jochanan. author. (orcid)0000-0002-6217-5821 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76845-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Science, Technology and Innovation Ecosystem: An Indian and Global Perspective
Science, Technology and Innovation Ecosystem: An Indian and Global Perspective
Author 
Singh, Kashmir. editor. (orcid)0000-0002-9646-9043 Chongtham, Nirmala. editor. (orcid)0000-0001-7969-3492 Trikha, Radhika. editor. Bhardwaj, Mamta. editor. Kaur, Sukhdeep. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2815-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action