Search Results for Features. - Narrowed by: Compilers and Interpreters.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFeatures.$0026qf$003dSUBJECT$002509Konu$002509Compilers$002band$002bInterpreters.$002509Compilers$002band$002bInterpreters.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2026-03-25T16:22:28ZConcurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6108512026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Finite Element Simulation with MSC Marc Application of User Subroutinesent://SD_ILS/0/SD_ILS:6129332026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Javanbakht, Zia. author. Öchsner, Andreas. author. (orcid)0000-0002-8844-3206 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47668-1">https://doi.org/10.1007/978-3-319-47668-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming with Scala Language Explorationent://SD_ILS/0/SD_ILS:6132982026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Upadhyaya, Bhim P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69368-2">https://doi.org/10.1007/978-3-319-69368-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:6175552026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Lee, Kent D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Scientific Computing in C++ent://SD_ILS/0/SD_ILS:6175612026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6114332026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6122882026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deductive Software Verification - The KeY Book From Theory to Practiceent://SD_ILS/0/SD_ILS:6160092026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor 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/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:6177432026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>More Math Into LaTeXent://SD_ILS/0/SD_ILS:6177482026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Grätzer, George. author. (orcid)0000-0002-5149-3883 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23796-1">https://doi.org/10.1007/978-3-319-23796-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>MATLAB Numerical Calculationsent://SD_ILS/0/SD_ILS:6185452026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0346-0">https://doi.org/10.1007/978-1-4842-0346-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>MATLAB Symbolic Algebra and Calculus Toolsent://SD_ILS/0/SD_ILS:6186442026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0343-9">https://doi.org/10.1007/978-1-4842-0343-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro TypeScript Application-Scale JavaScript Developmentent://SD_ILS/0/SD_ILS:6186722026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Fenton, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6790-4">https://doi.org/10.1007/978-1-4302-6790-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn C++ for Game Developmentent://SD_ILS/0/SD_ILS:6186912026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Sutherland, Bruce. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6458-3">https://doi.org/10.1007/978-1-4302-6458-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Haskell A Project-Based Approachent://SD_ILS/0/SD_ILS:6186942026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Serrano Mena, Alejandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6251-0">https://doi.org/10.1007/978-1-4302-6251-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning COBOL for Programmersent://SD_ILS/0/SD_ILS:6185622026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Coughlan, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6254-1">https://doi.org/10.1007/978-1-4302-6254-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>MATLAB Programming for Numerical Analysisent://SD_ILS/0/SD_ILS:6186072026-03-25T16:22:28Z2026-03-25T16:22:28ZAuthor Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0295-1">https://doi.org/10.1007/978-1-4842-0295-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>