Search Results for Programming languages (Electronic computers) -- Semantics
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002blanguages$002b$002528Electronic$002bcomputers$002529$002b--$002bSemantics$0026ic$003dtrue$0026ps$003d300?
2026-01-21T09:48:40Z
Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python
ent://SD_ILS/0/SD_ILS:596753
2026-01-21T09:48:40Z
2026-01-21T09:48:40Z
Author Hardin, Therese. Jaume, Mathieu. Pessaux, François. Donzeau-Gouge, Véronique.<br/>Preferred Shelf Number QA76.7<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java
ent://SD_ILS/0/SD_ILS:597082
2026-01-21T09:48:40Z
2026-01-21T09:48:40Z
Author Hardin, Thérèse, author. Jaume, Mathieu, author. Pessaux, Francois, author. Donzeau-Gouge, Véronique, author.<br/>Preferred Shelf Number QA76.7<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119851196">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119851196</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generating language-based environments
ent://SD_ILS/0/SD_ILS:220159
2026-01-21T09:48:40Z
2026-01-21T09:48:40Z
Author Reps, Thomas W. (Thomas William)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical aspects of logic programming semantics
ent://SD_ILS/0/SD_ILS:541704
2026-01-21T09:48:40Z
2026-01-21T09:48:40Z
Author Hitzler, Pascal., author. Seda, Anthony.<br/>Preferred Shelf Number QA76.63 .H58 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439829622">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Algebraic semantics of imperative programs
ent://SD_ILS/0/SD_ILS:220125
2026-01-21T09:48:40Z
2026-01-21T09:48:40Z
Author Goguen, Joseph. Malcolm, Grant.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The formal semantics of programming languages an introduction
ent://SD_ILS/0/SD_ILS:220170
2026-01-21T09:48:40Z
2026-01-21T09:48:40Z
Author Winskel, G. (Glynn)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>