1
Functional and Logic Programming [E-Book] : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings /
2
The French School of Programming [E-Book] /
Subject (ZB): ...Computer science....

Full text 
3
Computability and Complexity [E-Book] : Foundations and Tools for Pursuing Scientific Applications /
4
Modelling and Mining Networks [E-Book] : 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings /
5
Logics and Type Systems in Theory and Practice [E-Book] : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
6
Large-Scale Scientific Computations [E-Book] : 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers /
7
Parallel and Distributed Computing, Applications and Technologies [E-Book] : Proceedings of PDCAT 2023 /
8
Structural Decision Diagrams in Digital Test [E-Book] : Theory and Applications /
9
Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology [E-Book] : 5th MICCAI Workshop, GRAIL 2023 and 1st MICCAI Challenge, OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023, Proceedings /
10
Agents and Artificial Intelligence [E-Book] : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers /
11
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 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 /
12
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 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 III /
13
Foundations of Software Science and Computation Structures [E-Book] : 27th International Conference, FoSSaCS 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 /
14
Incentive Mechanism for Mobile Crowdsensing [E-Book] : A Game-theoretic Approach /
15
Neural Information Processing [E-Book] : 30th International Conference, ICONIP 2023, Changsha, China, November 20-23, 2023, Proceedings, Part VII /
16
Theoretical Computer Science [E-Book] : 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers /
17
Advances in Optimization and Applications [E-Book] : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers /
18
Search-Based Software Engineering [E-Book] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings /
19
Computing and Combinatorics [E-Book] : 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I /
20
Computing and Combinatorics [E-Book] : 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II /