Search Results for USA.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

11 Results Found

00000000000DEFAULT

Algorithmic Decision Theory 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14-16, 2024, Proceedings

Author

Freeman, Rupert. editor. (orcid)0000-0003-4744-9449 Mattei, Nicholas. editor. (orcid)0000-0002-3569-4335 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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

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:

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:

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

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

Cover image for Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Author

Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Author

Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

10.

Cover image for Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

Author

Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings

Author

Chen, Yiling. editor. Immorlica, Nicole. editor. SpringerLink (Online service)