Search Results for Landscape - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLandscape$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2026-03-17T16:58:10ZPrinciples of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIent://SD_ILS/0/SD_ILS:6059872026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part Ient://SD_ILS/0/SD_ILS:6059882026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIent://SD_ILS/0/SD_ILS:6090232026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security and Privacy in Smart Environmentsent://SD_ILS/0/SD_ILS:6057582026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Pitropakis, Nikolaos. editor. (orcid)0000-0002-3392-9970 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66708-4">https://doi.org/10.1007/978-3-031-66708-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1ent://SD_ILS/0/SD_ILS:6025982026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53549-9">https://doi.org/10.1007/978-3-031-53549-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2ent://SD_ILS/0/SD_ILS:6027082026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54813-0">https://doi.org/10.1007/978-3-031-54813-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generative AI for Effective Software Developmentent://SD_ILS/0/SD_ILS:6037362026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Abrahamsson, Pekka. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55642-5">https://doi.org/10.1007/978-3-031-55642-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050632026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70055-2">https://doi.org/10.1007/978-3-031-70055-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6050642026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70068-2">https://doi.org/10.1007/978-3-031-70068-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6050652026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70071-2">https://doi.org/10.1007/978-3-031-70071-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6050662026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70085-9">https://doi.org/10.1007/978-3-031-70085-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scaling a Software Business The Digitalization Journeyent://SD_ILS/0/SD_ILS:6128112026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Fitzgerald, Brian. author. Stol, Klaas-Jan. author. (orcid)0000-0002-1038-5050 Minör, Sten. author. Cosmo, Henrik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53116-8">https://doi.org/10.1007/978-3-319-53116-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Land Subsidence Analysis in Urban Areas The Bangkok Metropolitan Area Case Studyent://SD_ILS/0/SD_ILS:3359922026-03-17T16:58:10Z2026-03-17T16:58:10ZAuthor Zeitoun, David G. author. Wakshal, Eliyahu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335992.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5506-2">http://dx.doi.org/10.1007/978-94-007-5506-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>