<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/themes/root/assets/xsl/rss.xsl"?>
<rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/">
  <channel>
    <title>Results for "Computer programming / software engineering"</title>
    <description>Showing 1 - 50 results of 276</description>
    <generator>Laminas_Feed_Writer 2 (https://getlaminas.org)</generator>
    <link>https://library.mumbai.bristol.ac.uk/Search/Results?sort=last_indexed+desc%2Clast_indexed+desc&amp;limit=50&amp;lookfor=%22Computer+programming+%2F+software+engineering%22&amp;type=Subject&amp;lng=en</link>
    <opensearch:totalResults>276</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="%22Computer%20programming%20%2F%20software%20engineering%22" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="Go to First Page" href="https://library.mumbai.bristol.ac.uk/Search/Results?sort=last_indexed+desc%2Clast_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Computer+programming+%2F+software+engineering%22&amp;type=Subject&amp;lng=en"/>
    <atom:link rel="next" type="application/rss+xml" title="Go to Next Page" href="https://library.mumbai.bristol.ac.uk/Search/Results?sort=last_indexed+desc%2Clast_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Computer+programming+%2F+software+engineering%22&amp;type=Subject&amp;lng=en&amp;page=2"/>
    <atom:link rel="last" type="application/rss+xml" title="Go to Last Page" href="https://library.mumbai.bristol.ac.uk/Search/Results?sort=last_indexed+desc%2Clast_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Computer+programming+%2F+software+engineering%22&amp;type=Subject&amp;lng=en&amp;page=6"/>
    <atom:link rel="self" type="application/rss+xml" href="https://library.mumbai.bristol.ac.uk/Search/Results?sort=last_indexed+desc%2Clast_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=%22Computer+programming+%2F+software+engineering%22&amp;type=Subject&amp;lng=en"/>
    <item>
      <title>Fundamental Approaches to Software Engineering</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-100192</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-100192</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Programming Languages and Systems</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-100222</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-100222</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Agile Processes in Software Engineering and Extreme Programming</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101532</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101532</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Offene-Welt-Strukturen</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101623</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101623</guid>
      <author>Bonner, Marc</author>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <dc:creator>Bonner, Marc</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Topological Obstructions to Stability and Stabilization</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101656</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101656</guid>
      <author>Jongeneel, Wouter</author>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <dc:creator>Jongeneel, Wouter</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Hypergraph Computation</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101674</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101674</guid>
      <author>Dai, Qionghai</author>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <dc:creator>Dai, Qionghai</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Real-Time Auralisation of Outdoor Sound Propagation</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101770</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-101770</guid>
      <author>Stienen, Jonas</author>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <dc:creator>Stienen, Jonas</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Chapter 2 Fundamental Database Concepts</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112599</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112599</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Chapter 3 Fundamental Spatial Concepts</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112601</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112601</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Chapter 8 Cartography and Geovisualization</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112608</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112608</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Chapter 9 Artificial Intelligence and GIS</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112820</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112820</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>GIS</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112822</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112822</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Chapter 1 Introduction</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112850</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-112850</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Ubiquitous and Pervasive Computing</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-113247</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-113247</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Data Power</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-116099</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-116099</guid>
      <author>Thatcher, Jim E.</author>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <dc:creator>Thatcher, Jim E.</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Montecarlo Simulation of Two Component Aerosol Processes</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-129312</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-129312</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Heuristics and Hyper-Heuristics</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-129511</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-129511</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>From Natural to Artificial Intelligence</title>
      <pubDate>Sun, 01 Jan 2023 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-130137</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-130137</guid>
      <dc:format>Online</dc:format>
      <dc:date>2023</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Software Business</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-134091</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-134091</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Algorithmic Regimes</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-134130</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-134130</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Modern Development and Challenges in Virtual Reality</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-135284</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-135284</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Coderspeak</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-135512</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-135512</guid>
      <author>Orlandini Heurich, Guilherme</author>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <dc:creator>Orlandini Heurich, Guilherme</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Schreibe Dein Programm!</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-135869</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-135869</guid>
      <author>Sperber, Michael</author>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <dc:creator>Sperber, Michael</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Responsible Use of AI in Military Systems</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136429</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136429</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Ernst Denert Award for Software Engineering 2022</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136462</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136462</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Fundamental Approaches to Software Engineering</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136476</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136476</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Programming Languages and Systems</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136479</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136479</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Foundations of Software Science and Computation Structures</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136484</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136484</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Tools and Algorithms for the Construction and Analysis of Systems</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136811</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-136811</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Tools and Algorithms for the Construction and Analysis of Systems</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-137106</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-137106</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>AI, Data, and Digitalization</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-137170</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-137170</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Foundations of Software Science and Computation Structures</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-137264</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-137264</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Programming Languages and Systems</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-138339</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-138339</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Informing Possible Future Worlds</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-138362</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-138362</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Democratic Algorithms</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-138674</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-138674</guid>
      <author>Poechhacker, Nikolaus</author>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <dc:creator>Poechhacker, Nikolaus</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Agile Processes in Software Engineering and Extreme Programming</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-138829</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-138829</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Applied Data Science and Smart Systems</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-139108</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-139108</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Recent Advances in Monte Carlo Methods</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-140217</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-140217</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Automated Reasoning</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-142350</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-142350</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Automated Reasoning</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-142474</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-142474</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Feature Models</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-142488</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-142488</guid>
      <author>Felfernig, Alexander</author>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <dc:creator>Felfernig, Alexander</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Real World OCaml: Functional Programming for the Masses</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-142917</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-142917</guid>
      <author>Madhavapeddy, Anil</author>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <dc:creator>Madhavapeddy, Anil</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computer Aided Verification</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143262</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143262</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computer Aided Verification</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143265</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143265</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Robust Argumentation Machines</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143267</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143267</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computer Aided Verification</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143280</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143280</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Cooperatively Interacting Vehicles</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143317</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-143317</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal Methods</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-144754</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-144754</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal Methods</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-144770</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-144770</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Quantum Software</title>
      <pubDate>Mon, 01 Jan 2024 08:32:12 -0500</pubDate>
      <link>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-144780</link>
      <guid>https://library.mumbai.bristol.ac.uk/Record/doab-20.500.12854ir-144780</guid>
      <dc:format>Online</dc:format>
      <dc:date>2024</dc:date>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
