Search Results for - Narrowed by: Software engineering. - Discrete Mathematics in Computer Science.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509Discrete$002bMathematics$002bin$002bComputer$002bScience.$002509Discrete$002bMathematics$002bin$002bComputer$002bScience.$0026ps$003d300?2024-06-13T20:11:56ZApplication 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-13T20:11:56Z2024-06-13T20:11:56Zby 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-13T20:11:56Z2024-06-13T20:11:56Zby 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-13T20:11:56Z2024-06-13T20:11:56Zby 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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Advances 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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856802024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:20850172024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854852024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Transactions on Computational Science XXVIIent://SD_ILS/0/SD_ILS:20856272024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856282024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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-13T20:11:56Z2024-06-13T20:11:56Zby 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 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-13T20:11:56Z2024-06-13T20:11:56Zby 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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033282024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126632024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5122412024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5129782024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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 Models of Operating System Kernelsent://SD_ILS/0/SD_ILS:5086522024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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 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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Mathematical Approaches to Software Qualityent://SD_ILS/0/SD_ILS:5085492024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5105012024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Resource Allocation in Wireless Networks Theory and Algorithmsent://SD_ILS/0/SD_ILS:5117702024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Formal Concept Analysis Foundations and Applicationsent://SD_ILS/0/SD_ILS:5102642024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Validated Designs for Object-oriented Systemsent://SD_ILS/0/SD_ILS:5083652024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105382024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104662024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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/>Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101392024-06-13T20:11:56Z2024-06-13T20:11:56Zby 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 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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>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-13T20:11:56Z2024-06-13T20:11:56Zby 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/>