https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Laura%20Kov%EF%BF%BDcs%22&sort_by=pubdate_dsc&format=rss 5 0 50 ISBN:978-3-031-57256-2 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56223 ]]> By Bernd Finkbeiner.
Heidelberg, Germany Springer Nature 2024 978-3-031-57256-2

]]> Place hold on Tools and Algorithms for the Construction and Analysis of Systems

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56223 ISBN:978-3-031-57249-4 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56222 ]]> By Bernd Finkbeiner.
Heidelberg, Germany Springer Nature 2024 978-3-031-57249-4

]]> Place hold on Tools and Algorithms for the Construction and Analysis of Systems

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56222 ISBN:978-3-031-57246-3 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56220 ]]> By Bernd Finkbeiner.
Heidelberg, Germany Springer Nature 2024 978-3-031-57246-3

]]> Place hold on Tools and Algorithms for the Construction and Analysis of Systems

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56220 ISBN:978-3-031-72621-7 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56980 ]]> By Laura Kov�cs.
Heidelberg, Germany Springer Nature 2024 978-3-031-72621-7

]]> Place hold on Reachability Problems

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56980 ISBN:978-3-031-66997-2 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56753 ]]> By Andrea Kohlhase.
Heidelberg, Germany Springer Nature 2024 978-3-031-66997-2

]]> Place hold on Intelligent Computer Mathematics

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56753