Search Results for - Narrowed by: Mathematics of Computing. - 2016 SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Mathematics$002bof$002bComputing.$002509Mathematics$002bof$002bComputing.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092016$0025092016$0026ps$003d300? 2024-05-28T12:51:07Z Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:17795 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Kotsireas, Ilias S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32859-1">http://dx.doi.org/10.1007/978-3-319-32859-1</a><br/>Format:&#160;Electronic Resources<br/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:17711 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Wyrzykowski, Roman. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32149-3">http://dx.doi.org/10.1007/978-3-319-32149-3</a><br/>Format:&#160;Electronic Resources<br/> High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Sol&aacute;ň, Czech Republic, May 25-28, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:18084 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Kozubek, Tom&aacute;&scaron;. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40361-8">http://dx.doi.org/10.1007/978-3-319-40361-8</a><br/>Format:&#160;Electronic Resources<br/> Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18065 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Beckmann, Arnold. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40189-8">http://dx.doi.org/10.1007/978-3-319-40189-8</a><br/>Format:&#160;Electronic Resources<br/> Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:17993 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Cazenave, Tristan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39402-2">http://dx.doi.org/10.1007/978-3-319-39402-2</a><br/>Format:&#160;Electronic Resources<br/> Compression-Based Methods of Statistical Analysis and Prediction of Time Series ent://SD_ILS/0/SD_ILS:17725 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Ryabko, Boris. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32253-7">http://dx.doi.org/10.1007/978-3-319-32253-7</a><br/>Format:&#160;Electronic Resources<br/> Turing Computability Theory and Applications ent://SD_ILS/0/SD_ILS:18425 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Soare, Robert I. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-31933-4">http://dx.doi.org/10.1007/978-3-642-31933-4</a><br/>Format:&#160;Electronic Resources<br/> Relaxed Abduction Robust Information Interpretation for Industrial Applications ent://SD_ILS/0/SD_ILS:18518 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Hubauer, Thomas. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-14407-4">http://dx.doi.org/10.1007/978-3-658-14407-4</a><br/>Format:&#160;Electronic Resources<br/> Parallelism in Matrix Computations ent://SD_ILS/0/SD_ILS:18800 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Gallopoulos, Efstratios. author.<br/><a href="http://dx.doi.org/10.1007/978-94-017-7188-7">http://dx.doi.org/10.1007/978-94-017-7188-7</a><br/>Format:&#160;Electronic Resources<br/> Random-Like Bi-level Decision Making ent://SD_ILS/0/SD_ILS:19157 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Xu, Jiuping. author.<br/><a href="http://dx.doi.org/10.1007/978-981-10-1768-1">http://dx.doi.org/10.1007/978-981-10-1768-1</a><br/>Format:&#160;Electronic Resources<br/> Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18253 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Wittevrongel, Sabine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43904-4">http://dx.doi.org/10.1007/978-3-319-43904-4</a><br/>Format:&#160;Electronic Resources<br/> Evolutionary and Biologically Inspired Music, Sound, Art and Design 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17587 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Johnson, Colin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31008-4">http://dx.doi.org/10.1007/978-3-319-31008-4</a><br/>Format:&#160;Electronic Resources<br/> Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:17606 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Squillero, Giovanni. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31153-1">http://dx.doi.org/10.1007/978-3-319-31153-1</a><br/>Format:&#160;Electronic Resources<br/> Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:17611 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Squillero, Giovanni. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31204-0">http://dx.doi.org/10.1007/978-3-319-31204-0</a><br/>Format:&#160;Electronic Resources<br/> Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 &ndash; July 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18068 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Olivetti, Nicola. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40229-1">http://dx.doi.org/10.1007/978-3-319-40229-1</a><br/>Format:&#160;Electronic Resources<br/> Cryptography Made Simple ent://SD_ILS/0/SD_ILS:16741 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Smart, Nigel P. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21936-3">http://dx.doi.org/10.1007/978-3-319-21936-3</a><br/>Format:&#160;Electronic Resources<br/> Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18307 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Rueher, Michel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44953-1">http://dx.doi.org/10.1007/978-3-319-44953-1</a><br/>Format:&#160;Electronic Resources<br/> Advances in Neural Networks &ndash; ISNN 2016 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18119 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Cheng, Long. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40663-3">http://dx.doi.org/10.1007/978-3-319-40663-3</a><br/>Format:&#160;Electronic Resources<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18129 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Creignou, Nadia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40970-2">http://dx.doi.org/10.1007/978-3-319-40970-2</a><br/>Format:&#160;Electronic Resources<br/> Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equations ent://SD_ILS/0/SD_ILS:18835 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Banagaaya, N. author.<br/><a href="http://dx.doi.org/10.2991/978-94-6239-189-5">http://dx.doi.org/10.2991/978-94-6239-189-5</a><br/>Format:&#160;Electronic Resources<br/> Finitely Supported Mathematics An Introduction ent://SD_ILS/0/SD_ILS:18197 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Alexandru, Andrei. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42282-4">http://dx.doi.org/10.1007/978-3-319-42282-4</a><br/>Format:&#160;Electronic Resources<br/> Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:17776 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Rossi, Federico. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32695-5">http://dx.doi.org/10.1007/978-3-319-32695-5</a><br/>Format:&#160;Electronic Resources<br/> Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:17712 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Wyrzykowski, Roman. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32152-3">http://dx.doi.org/10.1007/978-3-319-32152-3</a><br/>Format:&#160;Electronic Resources<br/> Linear Algebra for Computational Sciences and Engineering ent://SD_ILS/0/SD_ILS:18080 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Neri, Ferrante. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40341-0">http://dx.doi.org/10.1007/978-3-319-40341-0</a><br/>Format:&#160;Electronic Resources<br/> Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs ent://SD_ILS/0/SD_ILS:18482 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Herdt, Vladimir. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-12680-3">http://dx.doi.org/10.1007/978-3-658-12680-3</a><br/>Format:&#160;Electronic Resources<br/> Boolean Functions and Their Applications in Cryptography ent://SD_ILS/0/SD_ILS:18611 2024-05-28T12:51:07Z 2024-05-28T12:51:07Z Yazar&#160;Wu, Chuan-Kun. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48865-2">http://dx.doi.org/10.1007/978-3-662-48865-2</a><br/>Format:&#160;Electronic Resources<br/>