Search Results for Compiler.

80 Results Found

1 .. 3 4 5 6 7

000000000000DEFAULT

61.

Nasıl sosyalizm? hangi yeşil? niçin tinsellik?

Author

Bahro, Rudolf, 1935- author. Bora, Tanıl, 1963- translator, compiler.

Preferred Shelf Number

HX550.E25 B34 1996

Format:

Availability

Beytepe Library~1

Available:
Copies:

62.

Aynü’l-hayat : fi tefsiri kelami halıkı’l-beriyyat bi-iradi ahseni’l-i’tirazat

Author

İlyâs B. Muhammed B. Ali, author. Alpaydın, Mehmet Akif, 1986- compiler. Duman, Musa, editor.

Preferred Shelf Number

BP130.4 I49 2021 V.1

Format:

Availability

Beytepe Library~3

Available:
Copies:

63.

A sleepless eye aphorisms from the Sahara

Author

Kūnī, Ibrāhīm, author. Sebe, Alain, photographer. Allen, Roger, translator. Fähndrich, Hartmut, compiler. Project Muse, distributor.

Preferred Shelf Number

ONLINE(322939.1)

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

64.

Professor Unrat, oder, Das Ende eines Tyrannen : roman

Author

Mann, Heinrich, 1871-1950. Wolff, Rudolf, writer of afterword. Schneider, Peter-Paul, compiler.

Preferred Shelf Number

PT2625.A43 P7 1994

Format:

Availability

Beytepe Library~1

Available:
Copies:

65.

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:

66.

Cover image for Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings

Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings

Author

Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.

Preferred Shelf Number

XX(520919.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

Information Security and Privacy 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedings

Author

Simpson, Leonie. editor. Rezazadeh Baee, Mir Ali. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520995.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7

	{displayName}	{count}
{error}