Search Results for - Narrowed by: Springer E-Book Collection - Computer science -- Mathematics. - 2016SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience$002b--$002bMathematics.$002509Computer$002bscience$002b--$002bMathematics.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092016$0025092016$0026ps$003d300?2024-05-19T19:08:06ZDescriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:181372024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Câmpeanu, Cezar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41114-9">http://dx.doi.org/10.1007/978-3-319-41114-9</a><br/>Format: Electronic Resources<br/>Algorithmic Aspects in Information and Management 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181412024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Dondi, Riccardo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41168-2">http://dx.doi.org/10.1007/978-3-319-41168-2</a><br/>Format: Electronic Resources<br/>LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186472024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Kranakis, Evangelos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49529-2">http://dx.doi.org/10.1007/978-3-662-49529-2</a><br/>Format: Electronic Resources<br/>Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:172722024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Hajiaghayi, Mohammad Taghi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28678-5">http://dx.doi.org/10.1007/978-3-319-28678-5</a><br/>Format: Electronic Resources<br/>Fuzzy Logic of Quasi-Truth: An Algebraic Treatmentent://SD_ILS/0/SD_ILS:175042024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Di Nola, Antonio. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30406-9">http://dx.doi.org/10.1007/978-3-319-30406-9</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Mathematical 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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:175372024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Heywood, Malcolm I. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30668-1">http://dx.doi.org/10.1007/978-3-319-30668-1</a><br/>Format: Electronic Resources<br/>Compression-Based Methods of Statistical Analysis and Prediction of Time Seriesent://SD_ILS/0/SD_ILS:177252024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Discrete Geometry for Computer Imagery 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedingsent://SD_ILS/0/SD_ILS:177392024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Normand, Nicolas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32360-2">http://dx.doi.org/10.1007/978-3-319-32360-2</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180982024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar León, Raúl. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40506-3">http://dx.doi.org/10.1007/978-3-319-40506-3</a><br/>Format: Electronic Resources<br/>Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180312024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Zhu, Daming. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39817-4">http://dx.doi.org/10.1007/978-3-319-39817-4</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Diagrammatic Representation and Inference 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182042024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Jamnik, Mateja. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42333-3">http://dx.doi.org/10.1007/978-3-319-42333-3</a><br/>Format: Electronic Resources<br/>Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:176492024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Yung, Moti. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31550-8">http://dx.doi.org/10.1007/978-3-319-31550-8</a><br/>Format: Electronic Resources<br/>Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183042024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Kochetov, Yury. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44914-2">http://dx.doi.org/10.1007/978-3-319-44914-2</a><br/>Format: Electronic Resources<br/>Algorithms in Bioinformatics 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedingsent://SD_ILS/0/SD_ILS:182462024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Frith, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43681-4">http://dx.doi.org/10.1007/978-3-319-43681-4</a><br/>Format: Electronic Resources<br/>Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:183382024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Cerulli, Raffaele. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45587-7">http://dx.doi.org/10.1007/978-3-319-45587-7</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:186792024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Robshaw, Matthew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53015-3">http://dx.doi.org/10.1007/978-3-662-53015-3</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:186802024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Robshaw, Matthew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53018-4">http://dx.doi.org/10.1007/978-3-662-53018-4</a><br/>Format: Electronic Resources<br/>Random-Like Bi-level Decision Makingent://SD_ILS/0/SD_ILS:191572024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equationsent://SD_ILS/0/SD_ILS:188352024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Graph-Based Representation and Reasoning 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181312024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Haemmerlé, Ollivier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40985-6">http://dx.doi.org/10.1007/978-3-319-40985-6</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183142024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Bartocci, Ezio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45177-0">http://dx.doi.org/10.1007/978-3-319-45177-0</a><br/>Format: Electronic Resources<br/>Parallel Problem Solving from Nature – PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183482024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Handl, Julia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45823-6">http://dx.doi.org/10.1007/978-3-319-45823-6</a><br/>Format: Electronic Resources<br/>Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsent://SD_ILS/0/SD_ILS:186812024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Foret, Annie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53042-9">http://dx.doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186832024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Brlek, Srečko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53132-7">http://dx.doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>Graph-Theoretic Concepts in Computer Science 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papersent://SD_ILS/0/SD_ILS:186852024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Mayr, Ernst W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53174-7">http://dx.doi.org/10.1007/978-3-662-53174-7</a><br/>Format: Electronic Resources<br/>Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:186172024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Kushilevitz, Eyal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49096-9">http://dx.doi.org/10.1007/978-3-662-49096-9</a><br/>Format: Electronic Resources<br/>Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:186182024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Kushilevitz, Eyal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49099-0">http://dx.doi.org/10.1007/978-3-662-49099-0</a><br/>Format: Electronic Resources<br/>Graph-Theoretic Concepts in Computer Science 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:186942024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Heggernes, Pinar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53536-3">http://dx.doi.org/10.1007/978-3-662-53536-3</a><br/>Format: Electronic Resources<br/>SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186272024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Freivalds, Rūsiņš Mārtiņš. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49192-8">http://dx.doi.org/10.1007/978-3-662-49192-8</a><br/>Format: Electronic Resources<br/>Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3 2015ent://SD_ILS/0/SD_ILS:189922024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Senthilkumar, Muthukrishnan. editor.<br/><a href="http://dx.doi.org/10.1007/978-981-10-0251-9">http://dx.doi.org/10.1007/978-981-10-0251-9</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181282024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Han, Yo-Sub. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40946-7">http://dx.doi.org/10.1007/978-3-319-40946-7</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Mathematical Progress in Expressive Image Synthesis III Selected and Extended Results from the Symposium MEIS2015ent://SD_ILS/0/SD_ILS:191212024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Dobashi, Yoshinori. editor.<br/><a href="http://dx.doi.org/10.1007/978-981-10-1076-7">http://dx.doi.org/10.1007/978-981-10-1076-7</a><br/>Format: Electronic Resources<br/>Numerical Methods and Modelling for Engineeringent://SD_ILS/0/SD_ILS:166882024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Khoury, Richard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21176-3">http://dx.doi.org/10.1007/978-3-319-21176-3</a><br/>Format: Electronic Resources<br/>Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:173722024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Lipták, Zsuzsanna. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29516-9">http://dx.doi.org/10.1007/978-3-319-29516-9</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:174262024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Karydis, Ioannis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29919-8">http://dx.doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Integer Programming and Combinatorial Optimization 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178532024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Louveaux, Quentin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33461-5">http://dx.doi.org/10.1007/978-3-319-33461-5</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179802024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Cook, Matthew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39300-1">http://dx.doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:181972024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182832024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Mäkinen, Veli. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44543-4">http://dx.doi.org/10.1007/978-3-319-44543-4</a><br/>Format: Electronic Resources<br/>Big Data Technologies and Applicationsent://SD_ILS/0/SD_ILS:182842024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Furht, Borko. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44550-2">http://dx.doi.org/10.1007/978-3-319-44550-2</a><br/>Format: Electronic Resources<br/>Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:182362024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Standaert, François-Xavier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43283-0">http://dx.doi.org/10.1007/978-3-319-43283-0</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXVIIent://SD_ILS/0/SD_ILS:186652024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Gavrilova, Marina L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-50412-3">http://dx.doi.org/10.1007/978-3-662-50412-3</a><br/>Format: Electronic Resources<br/>Relaxed Abduction Robust Information Interpretation for Industrial Applicationsent://SD_ILS/0/SD_ILS:185182024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedingsent://SD_ILS/0/SD_ILS:186752024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Väänänen, Jouko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52921-8">http://dx.doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:186772024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Peyrin, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52993-5">http://dx.doi.org/10.1007/978-3-662-52993-5</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – CRYPTO 2016 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:186782024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Robshaw, Matthew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53008-5">http://dx.doi.org/10.1007/978-3-662-53008-5</a><br/>Format: Electronic Resources<br/>Imprecision and Uncertainty in Information Representation and Processing New Tools Based on Intuitionistic Fuzzy Sets and Generalized Netsent://SD_ILS/0/SD_ILS:170512024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Angelov, Plamen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26302-1">http://dx.doi.org/10.1007/978-3-319-26302-1</a><br/>Format: Electronic Resources<br/>More Math Into LaTeXent://SD_ILS/0/SD_ILS:168802024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Grätzer, George. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23796-1">http://dx.doi.org/10.1007/978-3-319-23796-1</a><br/>Format: Electronic Resources<br/>Cryptography Made Simpleent://SD_ILS/0/SD_ILS:167412024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:175562024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Caballero, Juan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30806-7">http://dx.doi.org/10.1007/978-3-319-30806-7</a><br/>Format: Electronic Resources<br/>Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182092024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Greuel, Gert-Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42432-3">http://dx.doi.org/10.1007/978-3-319-42432-3</a><br/>Format: Electronic Resources<br/>Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:183752024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Kordy, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46263-9">http://dx.doi.org/10.1007/978-3-319-46263-9</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182452024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Dutot, Pierre-François. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43659-3">http://dx.doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183392024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Gerdt, Vladimir P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45641-6">http://dx.doi.org/10.1007/978-3-319-45641-6</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:186632024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Fischlin, Marc. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49896-5">http://dx.doi.org/10.1007/978-3-662-49896-5</a><br/>Format: Electronic Resources<br/>Parallelism in Matrix Computationsent://SD_ILS/0/SD_ILS:188002024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Algorithms and Discrete Applied Mathematics Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:173382024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Govindarajan, Sathish. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29221-2">http://dx.doi.org/10.1007/978-3-319-29221-2</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:175442024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Chicano, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30698-8">http://dx.doi.org/10.1007/978-3-319-30698-8</a><br/>Format: Electronic Resources<br/>Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179052024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Quimper, Claude-Guy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33954-2">http://dx.doi.org/10.1007/978-3-319-33954-2</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179232024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Kulikov, Alexander S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34171-2">http://dx.doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Algorithms for Computational Biology Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179352024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Botón-Fernández, María. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-38827-4">http://dx.doi.org/10.1007/978-3-319-38827-4</a><br/>Format: Electronic Resources<br/>Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179382024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Goldberg, Andrew V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-38851-9">http://dx.doi.org/10.1007/978-3-319-38851-9</a><br/>Format: Electronic Resources<br/>Information Security and Cryptology 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:179412024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Lin, Dongdai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-38898-4">http://dx.doi.org/10.1007/978-3-319-38898-4</a><br/>Format: Electronic Resources<br/>DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:182582024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Rondelez, Yannick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43994-5">http://dx.doi.org/10.1007/978-3-319-43994-5</a><br/>Format: Electronic Resources<br/>Selected Areas in Cryptography - SAC 2015 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:176232024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Dunkelman, Orr. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31301-6">http://dx.doi.org/10.1007/978-3-319-31301-6</a><br/>Format: Electronic Resources<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:182852024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar O'Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44561-8">http://dx.doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182162024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Dinh, Thang N. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42634-1">http://dx.doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:184252024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:186622024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Fischlin, Marc. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49890-3">http://dx.doi.org/10.1007/978-3-662-49890-3</a><br/>Format: Electronic Resources<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:186762024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Skrzypczak, Michał. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52947-8">http://dx.doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Boolean Functions and Their Applications in Cryptographyent://SD_ILS/0/SD_ILS:186112024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applicationsent://SD_ILS/0/SD_ILS:169652024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Möller, Dietmar P.F. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25178-3">http://dx.doi.org/10.1007/978-3-319-25178-3</a><br/>Format: Electronic Resources<br/>Linear and Integer Programming Made Easyent://SD_ILS/0/SD_ILS:168912024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Hu, T. C. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24001-5">http://dx.doi.org/10.1007/978-3-319-24001-5</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:174382024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30000-9">http://dx.doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Electronic Resources<br/>Linear Algebra for Computational Sciences and Engineeringent://SD_ILS/0/SD_ILS:180802024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180172024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Blesa, Maria J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39636-1">http://dx.doi.org/10.1007/978-3-319-39636-1</a><br/>Format: Electronic Resources<br/>Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181022024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Echahed, Rachid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40530-8">http://dx.doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Information Security 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedingsent://SD_ILS/0/SD_ILS:183522024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Bishop, Matt. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45871-7">http://dx.doi.org/10.1007/978-3-319-45871-7</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-19T19:08:06Z2024-05-19T19:08:06ZYazar 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/>WALCOM: Algorithms and Computation 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:174532024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Kaykobad, Mohammad. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30139-6">http://dx.doi.org/10.1007/978-3-319-30139-6</a><br/>Format: Electronic Resources<br/>Directed Algebraic Topology and Concurrencyent://SD_ILS/0/SD_ILS:165252024-05-19T19:08:06Z2024-05-19T19:08:06ZYazar Fajstrup, Lisbeth. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15398-8">http://dx.doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Electronic Resources<br/>