Limit Search Results
Author
SpringerLink (Online service)
(225)
Lopez, Cesar. author.
(9)
Joshi, Amit. editor.
(8)
Akashe, Shyam. editor.
(4)
Dey, Nilanjan. editor.
(4)
Language
English
(316)
Publication Date
-
Subject
Software engineering.
(61)
Programming Language.
(41)
Programming languages (Electronic computers).
(41)
Compilers (Computer programs).
(39)
Compilers and Interpreters.
(39)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
316 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python
Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python
Author 
Sundararajan, Srikrishnan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0353-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
Cover image for Natural language processing for software engineering
Natural language processing for software engineering
Author 
Chakrawarti, Rajesh Kuma, editor.
Preferred Shelf Number 
QA76.9 .N38 N38 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272464
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
42. 
Cover image for Fundamentals of VHDL for FPGA programming using Vivado
Fundamentals of VHDL for FPGA programming using Vivado
Author 
Pakdel, Majid, author.
Preferred Shelf Number 
TK7885.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394343126
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers
Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers
Author 
Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84913-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
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:
45. 
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:
46. 
Cover image for Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Author 
Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74558-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
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-78750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action