Search Results for hardware. - Narrowed by: Compilers (Computer programs).
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dhardware.$0026qf$003dSUBJECT$002509Subject$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ps$003d300$0026isd$003dtrue?
2026-05-14T23:57:15Z
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612246
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FPGA EDA Design Principles and Implementation
ent://SD_ILS/0/SD_ILS:602481
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611151
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Robotics with ROBOTIS Systems
ent://SD_ILS/0/SD_ILS:613067
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Thai, Chi N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59831-4">https://doi.org/10.1007/978-3-319-59831-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Separation Logic for High-level Synthesis
ent://SD_ILS/0/SD_ILS:614385
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Winterstein, Felix. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53222-6">https://doi.org/10.1007/978-3-319-53222-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616126
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67531-2">https://doi.org/10.1007/978-3-319-67531-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Language Concepts
ent://SD_ILS/0/SD_ILS:617492
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Sestoft, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60789-4">https://doi.org/10.1007/978-3-319-60789-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616098
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45550-1">https://doi.org/10.1007/978-3-319-45550-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Control Flow Concurrent Programming Using μC++
ent://SD_ILS/0/SD_ILS:612212
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Buhr, Peter A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616886
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Instruction Level Parallelism
ent://SD_ILS/0/SD_ILS:611976
2026-05-14T23:57:15Z
2026-05-14T23:57:15Z
Author Aiken, Alex. author. Banerjee, Utpal. author. Kejariwal, Arun. author. Nicolau, Alexandru. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4899-7797-7">https://doi.org/10.1007/978-1-4899-7797-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>