Search Results for Compiler.

15 Results Found

1 2

000000000000DEFAULT

Cover image for OpenMP: Advanced Task-Based, Device and Compiler Programming 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings

OpenMP: Advanced Task-Based, Device and Compiler Programming 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings

Author

McIntosh-Smith, Simon. editor. Klemm, Michael. editor. de Supinski, Bronis R. editor. Deakin, Tom. editor. Klinkenberg, Jannis. editor. (orcid)

Preferred Shelf Number

XX(520881.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Aktör, müttefik, şakî : Kürt aşiretleri

Author

Şur, Tuncay, compiler. Çakmak, Yalçın, compiler. Koçak, Kıvanç, editor.

Preferred Shelf Number

DS51.K7 A38 2023

Format:

Availability

Beytepe Library~1

Available:
Copies:

Tarihi ve kültürel mirasıyla : Kocaali, geçmişten günümüze

Author

Kır, Oğuzhan, compiler. Kofoğlu, Mücahit, graphic designer. Genç, Davut, photographer.

Preferred Shelf Number

DS51.S25 K63 2023

Format:

Availability

Beytepe Library~1

Available:
Copies:

High energy physics

Author

Burhop, E. H. S. (Eric Henry Stoneley), compiler.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780121443054

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

Author

Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520857.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

Author

Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521305.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520319.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Author

Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520788.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Author

Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520797.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Author

Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520802.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings

Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings

Author

Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521132.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Author

Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521324.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}