Search Results for - Narrowed by: Mathematics of Computing. - 2016SirsiDynix Enterprisehttps://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:07ZMathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:177952024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:177112024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:180842024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar Kozubek, Tomáš. 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: Electronic Resources<br/>Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180652024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:179932024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Compression-Based Methods of Statistical Analysis and Prediction of Time Seriesent://SD_ILS/0/SD_ILS:177252024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:184252024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Relaxed Abduction Robust Information Interpretation for Industrial Applicationsent://SD_ILS/0/SD_ILS:185182024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Parallelism in Matrix Computationsent://SD_ILS/0/SD_ILS:188002024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Random-Like Bi-level Decision Makingent://SD_ILS/0/SD_ILS:191572024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182532024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Evolutionary and Biologically Inspired Music, Sound, Art and Design 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:175872024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:176062024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:176112024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180682024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Cryptography Made Simpleent://SD_ILS/0/SD_ILS:167412024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183072024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Advances in Neural Networks – ISNN 2016 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181192024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181292024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equationsent://SD_ILS/0/SD_ILS:188352024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:181972024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:177762024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:177122024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Linear Algebra for Computational Sciences and Engineeringent://SD_ILS/0/SD_ILS:180802024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programsent://SD_ILS/0/SD_ILS:184822024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>Boolean Functions and Their Applications in Cryptographyent://SD_ILS/0/SD_ILS:186112024-05-28T12:51:07Z2024-05-28T12:51:07ZYazar 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: Electronic Resources<br/>