Search Results for Art -- Language. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArt$002b--$002bLanguage.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-22T19:31:17Z
Present and Ulterior Software Engineering
ent://SD_ILS/0/SD_ILS:610759
2026-03-22T19:31:17Z
2026-03-22T19:31:17Z
Author Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Deductive Software Verification - The KeY Book From Theory to Practice
ent://SD_ILS/0/SD_ILS:616009
2026-03-22T19:31:17Z
2026-03-22T19:31:17Z
Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems
ent://SD_ILS/0/SD_ILS:529575
2026-03-22T19:31:17Z
2026-03-22T19:31:17Z
Author Garcia, Emilia. author. Giret, Adriana. author. Botti, Vicente. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11572-6">https://doi.org/10.1007/978-3-319-11572-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
R Quick Syntax Reference
ent://SD_ILS/0/SD_ILS:618603
2026-03-22T19:31:17Z
2026-03-22T19:31:17Z
Author Tollefson, Margot. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6641-9">https://doi.org/10.1007/978-1-4302-6641-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>