Search Results for USA.

19 Results Found

1 2

000000000000DEFAULT

Cover image for Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

Author

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Author

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Author

de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Author

Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Author

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Author

Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Author

Ranzato, Francesco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Author

Perner, Petra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

Author

Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

Author

Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Author

Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Author

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}