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
109. 
Cover image for R Programming Statistical Data Analysis in Research
R Programming Statistical Data Analysis in Research
Author 
Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3385-9
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Author 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Programming with Python for Engineers
Programming with Python for Engineers
Author 
Kalkan, Sinan. author. (orcid)0000-0003-0915-5917 Şehitoğlu, Onur T. author. (orcid)0000-0001-5146-5017 Üçoluk, Göktürk. author. (orcid)0000-0002-1479-6113 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57148-0
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Author 
Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67114-2
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
Author 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66673-5
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I
Author 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66676-6
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Digital convergence in antenna designs : applications for real-time solutions
Digital convergence in antenna designs : applications for real-time solutions
Author 
Srividya, P., editor.
Preferred Shelf Number 
TK7871.6 .D54 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for R for Basic Biostatistics in Medical Research
R for Basic Biostatistics in Medical Research
Author 
Srinivasan, Anand. editor. Mishra, Archana. editor. (orcid)0000-0001-8837-299X Kumar-M, Praveen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6980-3
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for MATLAB Lessons, Examples, and Exercises A Tutorial for Beginners and Experts
MATLAB Lessons, Examples, and Exercises A Tutorial for Beginners and Experts
Author 
Rahmani-Andebili, Mehdi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76177-5
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Introduction to Compiler Design
Introduction to Compiler Design
Author 
Mogensen, Torben Ægidius. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46460-7
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers
Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers
Author 
Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Author 
Weirich, Stephanie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57267-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action