Limit Search Results
Author
SpringerLink (Online service)
(225)
Lopez, Cesar. author.
(9)
Joshi, Amit. editor.
(8)
Tungut, H. Burak
(5)
Akashe, Shyam. editor.
(4)
Language
Publication Date
-
Subject
Software engineering.
(61)
Programming languages (Electronic computers).
(42)
Programming Language.
(41)
Compilers (Computer programs).
(39)
Compilers and Interpreters.
(39)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
348 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 6
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 6
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-9523-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
Author 
Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. (orcid)0000-0001-6312-7728 Bakurov, Illya. editor. (orcid)0000-0002-6458-942X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89991-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for The microprocessor : a practical introduction using the Arm Cortex-M0 processor
The microprocessor : a practical introduction using the Arm Cortex-M0 processor
Author 
Vasavada, Darshak S., author. Sinha, Sudhir Kumar, author.
Preferred Shelf Number 
TK7895 .M5 V37 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394245321
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Beginning Solidity : learn to program smart contracts with solidity
Beginning Solidity : learn to program smart contracts with solidity
Author 
Dolgov, Alexandros, author.
Preferred Shelf Number 
QA76.73 .S57 D65 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for R programming for mass spectrometry : effective and reproducible data analysis
R programming for mass spectrometry : effective and reproducible data analysis
Author 
Julian, Randall K., author.
Preferred Shelf Number 
QD96 .M3 J85 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119872405
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Author 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Author 
Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Understanding Modelling and Programming
Understanding Modelling and Programming
Author 
Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71280-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Author 
Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action