Limit Search Results
Author
SpringerLink (Online service)
(229)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(3)
Lopez, Cesar. author.
(3)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Deelman, Ewa. editor. (orcid)0000-0001-5106-503X
(2)
Language
English
(229)
Publication Date
-
2017
(71)
2016
(56)
2024
(42)
2025
(34)
2014
(26)
Subject
Computer programming.
(147)
Programming Techniques.
(147)
Software engineering.
(92)
Compilers (Computer programs).
(85)
Compilers and Interpreters.
(85)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
229 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Author 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-7956-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2
Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2
Author 
Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-00267-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Python for Agriculturists
Python for Agriculturists
Author 
Iqbal, Muhammad Azhar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-01442-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for 12th International Copper Conference Proceedings of the Extraction 2025 Meeting & Exhibition, Volume I.
12th International Copper Conference Proceedings of the Extraction 2025 Meeting & Exhibition, Volume I.
Author 
SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-00102-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design
Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design
Author 
Ren, Jianfeng. author. Li, Andric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3201-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
Author 
Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86054-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Optimizing Solutions for Real-Life Problems
Optimizing Solutions for Real-Life Problems
Author 
Dey, Nilanjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3216-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Optimization: An Introduction
Optimization: An Introduction
Author 
Pekař, Libor. author. (orcid)0000-0002-2401-5886 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86326-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 1
Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 1
Author 
Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90606-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Object-based Programming with Go
Object-based Programming with Go
Author 
Maurer, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-44704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Urban Railway Alignment Optimization: Theory and Practice
Urban Railway Alignment Optimization: Theory and Practice
Author 
Gao, Yan. author. (orcid)0000-0003-0192-8786 He, Qing. author. (orcid)0000-0003-2596-4984 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-95-0776-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action