Search Results for Hardness.

1.

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Author

Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520976.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Combinatorial Algorithms 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings

Author

Hsieh, Sun-Yuan. editor. Hung, Ling-Ju. editor. Lee, Chia-Wei. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520985.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Cryptology and Network Security 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings

Cryptology and Network Security 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings

Author

Deng, Jing. editor. Kolesnikov, Vladimir. editor. Schwarzmann, Alexander A. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521278.1)

Electronic Access

https://doi.org/10.1007/978-981-99-7563-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Graph-Theoretic Concepts in Computer Science 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Graph-Theoretic Concepts in Computer Science 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023, Revised Selected Papers

Author

Paulusma, Daniël. editor. Ries, Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521173.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for String Processing and Information Retrieval 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

String Processing and Information Retrieval 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Author

Nardini, Franco Maria. editor. (orcid) Pisanti, Nadia. editor. Venturini, Rossano. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521158.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Science of Cyber Security 5th International Conference, SciSec 2023, Melbourne, VIC, Australia, July 11-14, 2023, Proceedings

Author

Yung, Moti. editor. (orcid) Chen, Chao. editor. Meng, Weizhi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521332.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for WALCOM: Algorithms and Computation 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings

WALCOM: Algorithms and Computation 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023, Proceedings

Author

Lin, Chun-Cheng. editor. Lin, Bertrand M. T. editor. Liotta, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520899.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings

Author

Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520873.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings

Author

Li, Minming. editor. Sun, Xiaoming. editor. Wu, Xiaowei. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520878.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings

SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings

Author

Gąsieniec, Leszek. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520786.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

Author

Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.

Preferred Shelf Number

XX(518910.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46078-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II

Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II

Author

Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518913.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46803-6

Format:

Availability

Online Library~1

Available:
Copies:

13.

Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers

Author

Jan, Kratochvíl. editor. Miller, Mirka. editor. Froncek, Dalibor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519181.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Author

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519222.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47672-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings

Author

Cicalese, Ferdinando. editor. Porat, Ely. editor. Vaccaro, Ugo. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(518842.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Author

Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518797.1)

Electronic Access

https://doi.org/10.1007/978-3-319-20297-6

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}