Search Results for Logic. - Narrowed by: Computational Science and Engineering. SirsiDynix Enterprise http://librarycatalog.yyu.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dSUBJECT$002509Konu$002509Computational$002bScience$002band$002bEngineering.$002509Computational$002bScience$002band$002bEngineering.$0026ps$003d300?dt=list 2025-02-14T23:14:33Z A Concise Introduction to Mathematical Logic ent://SD_ILS/0/SD_ILS:149089 2025-02-14T23:14:33Z 2025-02-14T23:14:33Z by&#160;Rautenberg, Wolfgang. author.<br/><a href="https://doi.org/10.1007/978-1-4419-1221-3">https://doi.org/10.1007/978-1-4419-1221-3</a><br/>Format:&#160;Electronic Resources<br/> A Concise Introduction to Mathematical Logic ent://SD_ILS/0/SD_ILS:152884 2025-02-14T23:14:33Z 2025-02-14T23:14:33Z by&#160;Rautenberg, Wolfgang. author.<br/><a href="https://doi.org/10.1007/0-387-34241-9">https://doi.org/10.1007/0-387-34241-9</a><br/>Format:&#160;Electronic Resources<br/> Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume ent://SD_ILS/0/SD_ILS:144309 2025-02-14T23:14:33Z 2025-02-14T23:14:33Z by&#160;Agrawal, Manindra. editor.<br/><a href="https://doi.org/10.1007/978-3-319-05446-9">https://doi.org/10.1007/978-3-319-05446-9</a><br/>Format:&#160;Electronic Resources<br/> Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings ent://SD_ILS/0/SD_ILS:170864 2025-02-14T23:14:33Z 2025-02-14T23:14:33Z by&#160;Gent, Ian P. editor.<br/><a href="https://doi.org/10.1007/978-3-642-04244-7">https://doi.org/10.1007/978-3-642-04244-7</a><br/>Format:&#160;Electronic Resources<br/> Modellbildung und Simulation Eine anwendungsorientierte Einf&uuml;hrung ent://SD_ILS/0/SD_ILS:184239 2025-02-14T23:14:33Z 2025-02-14T23:14:33Z by&#160;Bungartz, Hans-Joachim. author.<br/><a href="https://doi.org/10.1007/978-3-540-79810-1">https://doi.org/10.1007/978-3-540-79810-1</a><br/>Format:&#160;Electronic Resources<br/> New Approaches to Circle Packing in a Square With Program Codes ent://SD_ILS/0/SD_ILS:136764 2025-02-14T23:14:33Z 2025-02-14T23:14:33Z by&#160;Szab&oacute;, P&eacute;ter G&aacute;bor. author.<br/><a href="https://doi.org/10.1007/978-0-387-45676-8">https://doi.org/10.1007/978-0-387-45676-8</a><br/>Format:&#160;Electronic Resources<br/> Modern Formal Methods and Applications ent://SD_ILS/0/SD_ILS:137271 2025-02-14T23:14:33Z 2025-02-14T23:14:33Z by&#160;Gabbar, Hossam A. editor.<br/><a href="https://doi.org/10.1007/1-4020-4223-X">https://doi.org/10.1007/1-4020-4223-X</a><br/>Format:&#160;Electronic Resources<br/>