Limit Search Results
Author
SpringerLink (Online service)
(530)
Wiley InterScience (Online service)
(10)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Taylor and Francis.
(6)
Language
Publication Date
-
Subject
Computer programming.
(337)
Software engineering.
(282)
Computer science.
(264)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Computer Science Logic and Foundations of Programming.
(231)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1363 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic in Computer Science
Logic in Computer Science
Author 
Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Author 
Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74776-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Author 
Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80889-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Multi-valued Logic for Decision-Making Under Uncertainty
Multi-valued Logic for Decision-Making Under Uncertainty
Author 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
Author 
He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2292-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Theory of Computation Automata, Formal Languages, Computation and Complexity
Theory of Computation Automata, Formal Languages, Computation and Complexity
Author 
Chowdhary, K.R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
Author 
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88045-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
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:
Select an Action