Search Results for Design

1.

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:

2.

Guide to Distributed Algorithms Design, Analysis and Implementation Using Python

Author

Erciyes, K. author. (orcid)0000-0001-9111-7156 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-79018-8

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Bio-inspired Information and Communications Technologies 15th EAI International Conference, BICT 2024, Quzhou, China, August 15-16, 2024, Proceedings

Bio-inspired Information and Communications Technologies 15th EAI International Conference, BICT 2024, Quzhou, China, August 15-16, 2024, Proceedings

Author

Chen, Yifan. editor. (orcid)0000-0002-2776-9456 Yang, Kun. editor. Sun, Yue. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-81599-7

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part IV

Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part IV

Author

Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1545-2

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

Author

Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2845-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

Author

Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-81202-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part III

Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part III

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-81596-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part I

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-84353-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part II

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-84356-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Arithmetic of Finite Fields 10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024, Revised Selected Papers

Author

Petkova-Nikova, Svetla. editor. (orcid)0000-0003-3133-9261 Panario, Daniel. editor. (orcid)0000-0003-3551-4063 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-81824-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part I

Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part I

Author

Chu, Wei-Ta. editor. (orcid)0000-0001-5722-7239 Shen, Chih-Ya. editor. Shuai, Hong-Han. editor. (orcid)0000-0003-2216-077X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4589-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part II

Author

Chu, Wei-Ta. editor. (orcid)0000-0001-5722-7239 Shen, Chih-Ya. editor. Shuai, Hong-Han. editor. (orcid)0000-0003-2216-077X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4596-1

Format:

Availability

Online Library~1

Available:
Copies:

13.

The Semantic Web 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part II

Author

Curry, Edward. editor. Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Ojo, Adegboyega. editor. (orcid)0000-0003-0565-2115

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-94578-6

Format:

Availability

Online Library~1

Available:
Copies:

14.

The Semantic Web 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part I

Author

Curry, Edward. editor. Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Ojo, Adegboyega. editor. (orcid)0000-0003-0565-2115

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-94575-5

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

16.

Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Author

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-95908-0

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings

Structural Information and Communication Complexity 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025, Proceedings

Author

Schmid, Ulrich. editor. (orcid)0000-0001-9831-8583 Kuznets, Roman. editor. (orcid)0000-0001-5894-8724 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-91736-3

Format:

Availability

Online Library~1

Available:
Copies:

18.

Numbers and Computers

Author

Kneusel, Ronald T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-67482-2

Format:

Availability

Online Library~1

Available:
Copies:

19.

Algorithmics of Wireless Networks 20th International Symposium, ALGOWIN 2024, Egham, UK, September 5-6, 2024, Proceedings

Author

Bramas, Quentin. editor. (orcid)0000-0003-0612-5616 Casteigts, Arnaud. editor. (orcid)0000-0002-7819-7013 Meeks, Kitty. editor. (orcid)0000-0001-5299-3073 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-74580-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings

Author

Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7752-5

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025, Proceedings, Part II

Integrated Uncertainty in Knowledge Modelling and Decision Making 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025, Proceedings, Part II

Author

Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Honda, Katsuhiro. editor. (orcid)0000-0001-9080-5942 Le, Bac. editor. (orcid)0000-0002-4306-6945 Inuiguchi, Masahiro. editor. (orcid)0000-0001-9970-1621 Huynh, Hieu T. editor. (orcid)0000-0002-2097-0704

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4603-6

Format:

Availability

Online Library~1

Available:
Copies:

22.

Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part I

Author

Finocchi, Irene. editor. (orcid)0000-0002-6394-6798 Georgiadis, Loukas. editor. (orcid)0000-0002-9706-7409 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-92932-8

Format:

Availability

Online Library~1

Available:
Copies:

23.

Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II

Author

Finocchi, Irene. editor. (orcid)0000-0002-6394-6798 Georgiadis, Loukas. editor. (orcid)0000-0002-9706-7409 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-92935-9

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Author

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-94706-3

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part I

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part I

Author

Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8170-9

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VII

Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VII

Author

Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8298-0

Format:

Availability

Online Library~1

Available:
Copies:

27.

Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation

Author

Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-88946-2

Format:

Availability

Online Library~1

Available:
Copies:

28.

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part V

Author

Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8186-0

Format:

Availability

Online Library~1

Available:
Copies:

29.

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part IV

Author

Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8183-9

Format:

Availability

Online Library~1

Available:
Copies:

30.

Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VI

Author

Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8295-9

Format:

Availability

Online Library~1

Available:
Copies:

31.

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part II

Author

Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8173-0

Format:

Availability

Online Library~1

Available:
Copies:

32.

Applied Antifragility in Natural Systems From Principles to Applications

Author

Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90391-5

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings

String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings

Author

Lipták, Zsuzsanna. editor. (orcid)0000-0002-3233-0691 Moura, Edleno. editor. (orcid)0000-0002-7860-9575 Figueroa, Karina. editor. (orcid)0000-0002-4680-5950 Baeza-Yates, Ricardo. editor. (orcid)0000-0003-3208-9778 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72200-4

Format:

Availability

Online Library~1

Available:
Copies:

34.

Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings

Author

Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8312-3

Format:

Availability

Online Library~1

Available:
Copies:

35.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

Author

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98679-6

Format:

Availability

Online Library~1

Available:
Copies:

36.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

Author

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98668-0

Format:

Availability

Online Library~1

Available:
Copies:

37.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

Author

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98682-6

Format:

Availability

Online Library~1

Available:
Copies:

38.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

Author

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98685-7

Format:

Availability

Online Library~1

Available:
Copies:

39.

Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings

Author

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98740-3

Format:

Availability

Online Library~1

Available:
Copies:

40.

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part III

Author

Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-8180-8

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Graph-Theoretic Concepts in Computer Science 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers

Graph-Theoretic Concepts in Computer Science 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers

Author

Kráľ, Daniel. editor. (orcid)0000-0001-8680-0890 Milanič, Martin. editor. (orcid)0000-0002-8222-8097 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75409-8

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9-10, 2024, Revised Selected Papers

Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9-10, 2024, Revised Selected Papers

Author

Torsello, Andrea. editor. (orcid)0000-0001-9189-4924 Rossi, Luca. editor. (orcid)0000-0002-6116-9761 Cosmo, Luca. editor. (orcid)0000-0001-7729-4666 Minello, Giorgia. editor. (orcid)0000-0002-0923-7640 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-80507-3

Format:

Availability

Online Library~1

Available:
Copies:

43.

Approximation and Online Algorithms 22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024, Proceedings

Author

Bieńkowski, Marcin. editor. (orcid)0000-0002-2453-7772 Englert, Matthias. editor. (orcid)0000-0002-8859-7731 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-81396-2

Format:

Availability

Online Library~1

Available:
Copies:

44.

Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part II

Author

Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1528-5

Format:

Availability

Online Library~1

Available:
Copies:

45.

Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III

Author

Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1542-1

Format:

Availability

Online Library~1

Available:
Copies:

46.

Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part I

Author

Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1525-4

Format:

Availability

Online Library~1

Available:
Copies:

47.

Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part V

Author

Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1548-3

Format:

Availability

Online Library~1

Available:
Copies:

48.

Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part VI

Author

Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1551-3

Format:

Availability

Online Library~1

Available:
Copies:

49.

Integrated Uncertainty in Knowledge Modelling and Decision Making 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025, Proceedings, Part I

Author

Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Honda, Katsuhiro. editor. (orcid)0000-0001-9080-5942 Le, Bac. editor. (orcid)0000-0002-4306-6945 Inuiguchi, Masahiro. editor. (orcid)0000-0001-9970-1621 Huynh, Hieu T. editor. (orcid)0000-0002-2097-0704

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4606-7

Format:

Availability

Online Library~1

Available:
Copies:

50.

Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers

Author

Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-86585-5

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part V

Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part V

Author

Tari, Zahir. editor. Li, Keqiu. editor. Wu, Hongyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0808-6

Format:

Availability

Online Library~1

Available:
Copies:

52.

Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VI

Author

Tari, Zahir. editor. Li, Keqiu. editor. Wu, Hongyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0811-6

Format:

Availability

Online Library~1

Available:
Copies:

53.

Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part IV

Author

Tari, Zahir. editor. Li, Keqiu. editor. Wu, Hongyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0859-8

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

Author

Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0566-5

Format:

Availability

Online Library~1

Available:
Copies:

55.

Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part III

Author

Tari, Zahir. editor. Li, Keqiu. editor. Wu, Hongyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0798-0

Format:

Availability

Online Library~1

Available:
Copies:

56.

Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part II

Author

Tari, Zahir. editor. Li, Keqiu. editor. Wu, Hongyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0801-7

Format:

Availability

Online Library~1

Available:
Copies:

57.

Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VII

Author

Tari, Zahir. editor. Li, Keqiu. editor. Wu, Hongyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0862-8

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I

Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I

Author

Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1711-8

Format:

Availability

Online Library~1

Available:
Copies:

59.

Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part II

Author

Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1714-9

Format:

Availability

Online Library~1

Available:
Copies:

60.

Comparative Genomics 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings

Author

Scornavacca, Celine. editor. (orcid)0009-0004-0179-9771 Hernández-Rosales, Maribel. editor. (orcid)0000-0003-1878-1223 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-58072-7

Format:

Availability

Online Library~1

Available:
Copies:

61.

Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings

Author

Hamann, Heiko. editor. (orcid)0000-0002-2458-8289 Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Pérez Cáceres, Leslie. editor. (orcid)0000-0001-5553-6150 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X Kuckling, Jonas. editor. (orcid)0000-0003-2391-2275

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70932-6

Format:

Availability

Online Library~1

Available:
Copies:

62.

Web and Internet Economics 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings

Author

Garg, Jugal. editor. Klimm, Max. editor. Kong, Yuqing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48974-7

Format:

Availability

Online Library~1

Available:
Copies:

63.

Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach

Author

Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-6921-0

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

Author

Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60924-4

Format:

Availability

Online Library~1

Available:
Copies:

65.

Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings

Author

Rescigno, Adele Anna. editor. (orcid)0000-0001-9124-610X Vaccaro, Ugo. editor. (orcid)0000-0003-4085-7300 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63021-7

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Pattern Recognition and Machine Intelligence 9th International Conference, PReMI 2021, Kolkata, India, December 15-18, 2021, Proceedings

Pattern Recognition and Machine Intelligence 9th International Conference, PReMI 2021, Kolkata, India, December 15-18, 2021, Proceedings

Author

Ghosh, Ashish. editor. King, Irwin. editor. Bhattacharyya, Malay. editor. Sankar Ray, Shubhra. editor. K. Pal, Sankar. editor. (orcid)0000-0003-3301-4751

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-12700-7

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Applications of Computational Intelligence 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers

Applications of Computational Intelligence 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers

Author

Orjuela-Cañón, Alvaro David. editor. (orcid)0000-0002-2057-7603 Lopez, Jesus A. editor. (orcid)0000-0002-9731-8458 Arias-Londoño, Julián David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48415-5

Format:

Availability

Online Library~1

Available:
Copies:

68.

Digital Signal Processing Illustration Using Python

Author

Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-6752-0

Format:

Availability

Online Library~1

Available:
Copies:

69.

Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part I

Author

Tari, Zahir. editor. Li, Keqiu. editor. Wu, Hongyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0834-5

Format:

Availability

Online Library~1

Available:
Copies:

70.

Toward Connected, Cooperative and Intelligent IoV Frontier Technologies and Applications

Author

Liu, Kai. author. Dai, Penglin. author. (orcid)0000-0002-3074-4620 Lee, Victor C.S. author. Ng, Joseph Kee-Yin. author. Son, Sang Hyuk. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9647-6

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part I

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part I

Author

Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2242-6

Format:

Availability

Online Library~1

Available:
Copies:

72.

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part II

Author

Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2253-2

Format:

Availability

Online Library~1

Available:
Copies:

73.

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part III

Author

Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2259-4

Format:

Availability

Online Library~1

Available:
Copies:

74.

5G Edge Computing Technologies, Applications and Future Visions

Author

Ma, Xiao. author. (orcid)0000-0001-5742-8890 Xu, Mengwei. author. Li, Qing. author. Li, Yuanzhe. author. Zhou, Ao. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0213-8

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cover image for Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Author

Emek, Yuval. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60603-8

Format:

Availability

Online Library~1

Available:
Copies:

76.

The Semantic Web 21st International Conference, ESWC 2024, Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I

Author

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Dimou, Anastasia. editor. (orcid)0000-0003-2138-7972 Troncy, Raphaël. editor. (orcid)0000-0003-0457-1436 Hartig, Olaf. editor. (orcid)0000-0002-1741-2090 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60626-7

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Advances in Neural Networks - ISNN 2024 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Advances in Neural Networks - ISNN 2024 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Author

Le, Xinyi. editor. (orcid)0000-0003-0318-9497 Zhang, Zhijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-4399-5

Format:

Availability

Online Library~1

Available:
Copies:

78.

Intelligent Optimization Principles, Algorithms and Applications

Author

Li, Changhe. author. Han, Shoufei. author. (orcid)0000-0003-3583-7735 Zeng, Sanyou. author. Yang, Shengxiang. author. (orcid)0000-0001-7222-4917 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-3286-9

Format:

Availability

Online Library~1

Available:
Copies:

79.

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part V

Author

Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2262-4

Format:

Availability

Online Library~1

Available:
Copies:

80.

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part VI

Author

Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2266-2

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Author

Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-64285-2

Format:

Availability

Online Library~1

Available:
Copies:

82.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65630-9

Format:

Availability

Online Library~1

Available:
Copies:

83.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65633-0

Format:

Availability

Online Library~1

Available:
Copies:

84.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65627-9

Format:

Availability

Online Library~1

Available:
Copies:

85.

Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings

Author

Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702 Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66997-2

Format:

Availability

Online Library~1

Available:
Copies:

86.

Computer Algebra in Scientific Computing 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings

Author

Boulier, François. editor. (orcid)0000-0002-6663-719X Mou, Chenqi. editor. (orcid)0000-0002-5070-5928 Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-69070-9

Format:

Availability

Online Library~1

Available:
Copies:

87.

Advances in Knowledge Discovery and Data Mining 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IV

Author

Yang, De-Nian. editor. (orcid)0000-0002-3765-9293 Xie, Xing. editor. (orcid)0000-0002-8608-8482 Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2238-9

Format:

Availability

Online Library~1

Available:
Copies:

88.

Business Process Management 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings

Author

Marrella, Andrea. editor. (orcid)0000-0002-1031-0374 Resinas, Manuel. editor. (orcid)0000-0003-1575-406X Jans, Mieke. editor. (orcid)0000-0002-9171-2403 Rosemann, Michael. editor. (orcid)0000-0003-3303-2896 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70396-6

Format:

Availability

Online Library~1

Available:
Copies:

89.

Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

Author

Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)