Search Results for Infinite. - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInfinite.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?2026-06-17T11:19:01ZAutomata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systemsent://SD_ILS/0/SD_ILS:1918272026-06-17T11:19:01Z2026-06-17T11:19:01ZAuthor Puppis, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11881-4">http://dx.doi.org/10.1007/978-3-642-11881-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6073752026-06-17T11:19:01Z2026-06-17T11:19:01ZAuthor Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81202-6">https://doi.org/10.1007/978-3-031-81202-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6022172026-06-17T11:19:01Z2026-06-17T11:19:01ZAuthor Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Proveent://SD_ILS/0/SD_ILS:6021632026-06-17T11:19:01Z2026-06-17T11:19:01ZAuthor Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022162026-06-17T11:19:01Z2026-06-17T11:19:01ZAuthor Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6178412026-06-17T11:19:01Z2026-06-17T11:19:01ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6171342026-06-17T11:19:01Z2026-06-17T11:19:01ZAuthor Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:6106882026-06-17T11:19:01Z2026-06-17T11:19:01ZAuthor Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>