Search Results for Art -- Language. - Narrowed by: Compilers and Interpreters. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArt$002b--$002bLanguage.$0026qf$003dSUBJECT$002509Subject$002509Compilers$002band$002bInterpreters.$002509Compilers$002band$002bInterpreters.$0026ps$003d300?dt=list 2026-03-22T13:40:00Z Present and Ulterior Software Engineering ent://SD_ILS/0/SD_ILS:610759 2026-03-22T13:40:00Z 2026-03-22T13:40:00Z Author&#160;Mazzara, Manuel. editor.&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67425-4">https://doi.org/10.1007/978-3-319-67425-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deductive Software Verification - The KeY Book From Theory to Practice ent://SD_ILS/0/SD_ILS:616009 2026-03-22T13:40:00Z 2026-03-22T13:40:00Z Author&#160;Ahrendt, Wolfgang. editor.&#160;Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291&#160;Bubel, Richard. editor.&#160;H&auml;hnle, Reiner. editor.&#160;Schmitt, Peter H. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transitioning to Swift ent://SD_ILS/0/SD_ILS:618658 2026-03-22T13:40:00Z 2026-03-22T13:40:00Z Author&#160;Gardner, Scott. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0406-1">https://doi.org/10.1007/978-1-4842-0406-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> MATLAB Optimization Techniques ent://SD_ILS/0/SD_ILS:618577 2026-03-22T13:40:00Z 2026-03-22T13:40:00Z Author&#160;Lopez, Cesar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0292-0">https://doi.org/10.1007/978-1-4842-0292-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>