Search Results for Software

1.

Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

Author

Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Foundations of Software Science and Computation Structures 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 I

Foundations of Software Science and Computation Structures 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 I

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Foundations of Software Science and Computation Structures 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

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

Author

Beebe, Nelson H.F. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64110-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Author

Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-43904-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Author

Beck, J. Christopher. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66158-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Author

Rueher, Michel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-44953-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Author

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

Author

Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV

Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV

Author

Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I

Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I

Author

Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-92366-1

Format:

Availability

Online Library~1

Available:
Copies:

14.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

Author

Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II

Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II

Author

Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

Author

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

Author

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III

Author

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Code-Based Cryptography 12th International Workshop, CBCrypto 2024, Zurich, Switzerland, May 25-26, 2024, Revised Selected Papers

Author

Weger, Violetta. editor. (orcid)0000-0001-9186-2885 Deneuville, Jean-Christophe. editor. (orcid)0000-0002-5128-6729 Horlemann, Anna-Lena. editor. (orcid)0000-0003-2685-2343 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90229-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers

Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers

Author

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings

Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings

Author

Megow, Nicole. editor. (orcid)0000-0002-3531-7644 Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

Author

Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Author

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97626-1

Format:

Availability

Online Library~1

Available:
Copies:

33.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Operations Research and Enterprise Systems 11th International Conference, ICORES 2022, Virtual Event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Operations Research and Enterprise Systems 11th International Conference, ICORES 2022, Virtual Event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Author

Liberatore, Federico. editor. (orcid)0000-0001-9900-5108 Wesolkowski, Slawo. editor. Demange, Marc. editor. (orcid)0000-0001-6195-2919 Parlier, Greg H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Next Generation Data Science Second Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023, Revised Selected Papers

Next Generation Data Science Second Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023, Revised Selected Papers

Author

Han, Henry. editor. (orcid)0000-0003-0273-6719 Baker, Erich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-61816-1

Format:

Availability

Online Library~1

Available:
Copies:

38.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Author

Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

KI 2024: Advances in Artificial Intelligence 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024, Proceedings

Author

Hotho, Andreas. editor. (orcid)0000-0002-0483-5772 Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part I

Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part I

Author

Li, Kangshun. editor. (orcid)0000-0002-0429-446X Liu, Yong. editor. (orcid)0000-0002-4663-6739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-4393-3

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

Author

Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-51057-1

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

Author

Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Fernandez-Llatas, Carlos. editor. (orcid)0000-0002-2819-5597 Bielza, Concha. editor. (orcid)0000-0001-7109-2668 Johnson, Owen. editor. (orcid)0000-0003-3998-541X Kocbek, Primoz. editor. (orcid)0000-0002-9064-5085

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

Author

Vygen, Jens. editor. Byrka, Jarosław. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Recent Advances in Next-Generation Data Science Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

Recent Advances in Next-Generation Data Science Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

Author

Han, Henry. editor. (orcid)0000-0003-0273-6719 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Author

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9799-2

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Discrete Geometry and Mathematical Morphology Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings

Discrete Geometry and Mathematical Morphology Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings

Author

Brunetti, Sara. author. (orcid)0000-0001-8607-6900 Frosini, Andrea. author. (orcid)0000-0001-7210-2231 Rinaldi, Simone. author. (orcid)0000-0003-3377-5331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

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:

55.

Cover image for Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Author

Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Distributed Computer and Communication Networks 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

Distributed Computer and Communication Networks 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

Author

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part II

Author

Li, Kangshun. editor. (orcid)0000-0002-0429-446X Liu, Yong. editor. (orcid)0000-0002-4663-6739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Simulation for a Sustainable Future 11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3-5, 2023, Proceedings, Part I

Author

Mujica Mota, Miguel. editor. (orcid)0000-0002-0160-6827 Scala, Paolo. editor. (orcid)0000-0002-8253-3411 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

Internet of Vehicles. Technologies and Services for Smart Cities 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings

Author

Peng, Sheng-Lung. editor. Lee, Guan-Ling. editor. Klette, Reinhard. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72329-7

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66320-3

Format:

Availability

Online Library~1

Available:
Copies:

62.

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Author

Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67582-4

Format:

Availability

Online Library~1

Available:
Copies:

63.

Modern Language Models and Computation Theory with Applications

Author

Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63100-4

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

Operations Research and Enterprise Systems 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

Author

Vitoriano, Begoña. editor. Parlier, Greg H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53982-9

Format:

Availability

Online Library~1

Available:
Copies:

65.

Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings

Author

Alba, Enrique. editor. Chicano, Francisco. editor. Luque, Gabriel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59513-9

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Author

Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61982-8

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Author

Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72453-9

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

Author

Yue, Wuyi. editor. Li, Quan-Lin. editor. Jin, Shunfu. editor. (orcid)0000-0002-5845-5601 Ma, Zhanyou. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68520-5

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Author

Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61581-3

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

Author

Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40361-8

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

Author

Squillero, Giovanni. editor. Burelli, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-31204-0

Format:

Availability

Online Library~1

Available:
Copies:

72.

An Introduction to Data Analysis using Aggregation Functions in R

Author

James, Simon. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46762-7

Format:

Availability

Online Library~1

Available:
Copies:

73.

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Author

Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40229-1

Format:

Availability

Online Library~1

Available:
Copies:

74.

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II

Author

Squillero, Giovanni. editor. Burelli, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-31153-1

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Author

Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40970-2

Format:

Availability

Online Library~1

Available:
Copies:

76.

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Author

Herdt, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-12680-3

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-32149-3

Format:

Availability

Online Library~1

Available:
Copies:

78.

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-32152-3

Format:

Availability

Online Library~1

Available:
Copies:

79.

Quantum Attacks on Public-Key Cryptosystems

Author

Yan, Song Y. author. SpringerLink (Online service)