Search Results for - Narrowed by: SpringerLink (Online service) - Computational complexity. - Software engineering.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Subject$002509Computational$002bcomplexity.$002509Computational$002bcomplexity.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?2024-06-17T05:36:16ZAdvances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854832024-06-17T05:36:16Z2024-06-17T05:36:16Zby Alves, Ronnie. editor. (orcid)0000-0003-4139-0562<br/><a href="https://doi.org/10.1007/978-3-030-01722-4">https://doi.org/10.1007/978-3-030-01722-4</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:20855802024-06-17T05:36:16Z2024-06-17T05:36:16Zby Baier, Christel. editor. (orcid)0000-0002-5321-9343<br/><a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20857812024-06-17T05:36:16Z2024-06-17T05:36:16Zby Khomenko, Victor. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format: Electronic Resources<br/>Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851052024-06-17T05:36:16Z2024-06-17T05:36:16Zby Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713<br/><a href="https://doi.org/10.1007/978-3-319-73915-1">https://doi.org/10.1007/978-3-319-73915-1</a><br/>Format: Electronic Resources<br/>Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851202024-06-17T05:36:16Z2024-06-17T05:36:16Zby Iliopoulos, Costas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94667-2">https://doi.org/10.1007/978-3-319-94667-2</a><br/>Format: Electronic Resources<br/>Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859642024-06-17T05:36:16Z2024-06-17T05:36:16Zby Kaczorowski, Jerzy. editor.<br/><a href="https://doi.org/10.1007/978-3-319-76620-1">https://doi.org/10.1007/978-3-319-76620-1</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859142024-06-17T05:36:16Z2024-06-17T05:36:16Zby Beyersdorff, Olaf. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Transactions on Computational Science XXVIIent://SD_ILS/0/SD_ILS:20856272024-06-17T05:36:16Z2024-06-17T05:36:16Zby Gavrilova, Marina L. editor.<br/><a href="https://doi.org/10.1007/978-3-662-50412-3">https://doi.org/10.1007/978-3-662-50412-3</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:20854852024-06-17T05:36:16Z2024-06-17T05:36:16Zby Greuel, Gert-Martin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42432-3">https://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:20856802024-06-17T05:36:16Z2024-06-17T05:36:16Zby Kordy, Barbara. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46263-9">https://doi.org/10.1007/978-3-319-46263-9</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:20857432024-06-17T05:36:16Z2024-06-17T05:36:16Zby Freivalds, Rūsiņš Mārtiņš. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49192-8">https://doi.org/10.1007/978-3-662-49192-8</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:20856602024-06-17T05:36:16Z2024-06-17T05:36:16Zby Dutot, Pierre-François. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856282024-06-17T05:36:16Z2024-06-17T05:36:16Zby Sampaio, Augusto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format: Electronic Resources<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:20850172024-06-17T05:36:16Z2024-06-17T05:36:16Zby Skrzypczak, Michał. author.<br/><a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</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:20858672024-06-17T05:36:16Z2024-06-17T05:36:16Zby Echahed, Rachid. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</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:20860462024-06-17T05:36:16Z2024-06-17T05:36:16Zby Karydis, Ioannis. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860472024-06-17T05:36:16Z2024-06-17T05:36:16Zby Siarry, Patrick. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50307-3">https://doi.org/10.1007/978-3-319-50307-3</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5028152024-06-17T05:36:16Z2024-06-17T05:36:16Zby Aceto, Luca. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5028162024-06-17T05:36:16Z2024-06-17T05:36:16Zby Aceto, Luca. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Electronic Resources<br/>Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5037902024-06-17T05:36:16Z2024-06-17T05:36:16Zby Schürr, Andy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format: Electronic Resources<br/>Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026722024-06-17T05:36:16Z2024-06-17T05:36:16Zby Hee, Kees M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68746-7">http://dx.doi.org/10.1007/978-3-540-68746-7</a><br/>Format: Electronic Resources<br/>Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036852024-06-17T05:36:16Z2024-06-17T05:36:16Zby Ehrig, Hartmut. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033282024-06-17T05:36:16Z2024-06-17T05:36:16Zby Medina, Raoul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-0</a><br/>Format: Electronic Resources<br/>Formal Models of Operating System Kernelsent://SD_ILS/0/SD_ILS:5086522024-06-17T05:36:16Z2024-06-17T05:36:16Zby Craig, Iain D. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-718-3">http://dx.doi.org/10.1007/978-1-84628-718-3</a><br/>Format: Electronic Resources<br/>Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125952024-06-17T05:36:16Z2024-06-17T05:36:16Zby Kleijn, Jetty. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73094-1">http://dx.doi.org/10.1007/978-3-540-73094-1</a><br/>Format: Electronic Resources<br/>Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5129782024-06-17T05:36:16Z2024-06-17T05:36:16Zby Xu, Ming. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76837-1">http://dx.doi.org/10.1007/978-3-540-76837-1</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5122412024-06-17T05:36:16Z2024-06-17T05:36:16Zby Kuznetsov, Sergei O. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70901-5">http://dx.doi.org/10.1007/978-3-540-70901-5</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126632024-06-17T05:36:16Z2024-06-17T05:36:16Zby Arge, Lars. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Electronic Resources<br/>Mathematical Approaches to Software Qualityent://SD_ILS/0/SD_ILS:5085492024-06-17T05:36:16Z2024-06-17T05:36:16Zby O'Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/1-84628-435-9">http://dx.doi.org/10.1007/1-84628-435-9</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5105012024-06-17T05:36:16Z2024-06-17T05:36:16Zby Missaoui, Rokia. editor.<br/><a href="http://dx.doi.org/10.1007/11671404">http://dx.doi.org/10.1007/11671404</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5113342024-06-17T05:36:16Z2024-06-17T05:36:16Zby Bugliesi, Michele. editor.<br/><a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Electronic Resources<br/>Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papersent://SD_ILS/0/SD_ILS:5109122024-06-17T05:36:16Z2024-06-17T05:36:16Zby MacCaull, Wendy. editor.<br/><a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Electronic Resources<br/>Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5111982024-06-17T05:36:16Z2024-06-17T05:36:16Zby Donatelli, Susanna. editor.<br/><a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5113332024-06-17T05:36:16Z2024-06-17T05:36:16Zby Bugliesi, Michele. editor.<br/><a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Electronic Resources<br/>Resource Allocation in Wireless Networks Theory and Algorithmsent://SD_ILS/0/SD_ILS:5117702024-06-17T05:36:16Z2024-06-17T05:36:16Zby Stańczak, Sławomir. author.<br/><a href="http://dx.doi.org/10.1007/11818762">http://dx.doi.org/10.1007/11818762</a><br/>Format: Electronic Resources<br/>Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116172024-06-17T05:36:16Z2024-06-17T05:36:16Zby Corradini, Andrea. editor.<br/><a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format: Electronic Resources<br/>Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100372024-06-17T05:36:16Z2024-06-17T05:36:16Zby Ciardo, Gianfranco. editor.<br/><a href="http://dx.doi.org/10.1007/b136988">http://dx.doi.org/10.1007/b136988</a><br/>Format: Electronic Resources<br/>Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104662024-06-17T05:36:16Z2024-06-17T05:36:16Zby Cao, Jiannong. editor.<br/><a href="http://dx.doi.org/10.1007/11573937">http://dx.doi.org/10.1007/11573937</a><br/>Format: Electronic Resources<br/>Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097452024-06-17T05:36:16Z2024-06-17T05:36:16Zby Cao, Jiannong. editor.<br/><a href="http://dx.doi.org/10.1007/b104574">http://dx.doi.org/10.1007/b104574</a><br/>Format: Electronic Resources<br/>SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5097542024-06-17T05:36:16Z2024-06-17T05:36:16Zby Vojtáš, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/b105088">http://dx.doi.org/10.1007/b105088</a><br/>Format: Electronic Resources<br/>Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097212024-06-17T05:36:16Z2024-06-17T05:36:16Zby Maher, Michael J. editor.<br/><a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Electronic Resources<br/>Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5102302024-06-17T05:36:16Z2024-06-17T05:36:16Zby Kreowski, Hans-Jörg. editor.<br/><a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis Foundations and Applicationsent://SD_ILS/0/SD_ILS:5102642024-06-17T05:36:16Z2024-06-17T05:36:16Zby Ganter, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-31881-1">http://dx.doi.org/10.1007/978-3-540-31881-1</a><br/>Format: Electronic Resources<br/>Validated Designs for Object-oriented Systemsent://SD_ILS/0/SD_ILS:5083652024-06-17T05:36:16Z2024-06-17T05:36:16Zby Fitzgerald, John. author.<br/><a href="http://dx.doi.org/10.1007/b138800">http://dx.doi.org/10.1007/b138800</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101392024-06-17T05:36:16Z2024-06-17T05:36:16Zby Caires, Luís. editor.<br/><a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105382024-06-17T05:36:16Z2024-06-17T05:36:16Zby Ganter, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/b105806">http://dx.doi.org/10.1007/b105806</a><br/>Format: Electronic Resources<br/>Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5103992024-06-17T05:36:16Z2024-06-17T05:36:16Zby Sloot, Peter M. A. editor.<br/><a href="http://dx.doi.org/10.1007/b137919">http://dx.doi.org/10.1007/b137919</a><br/>Format: Electronic Resources<br/>