<?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>Αποτελέσματα για Deadlock (computer science)</title>
    <description>Εμφανίζονται 1 - 50 Αποτελέσματα από 134</description>
    <generator>Laminas_Feed_Writer 2 (https://getlaminas.org)</generator>
    <link>https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;lookfor=Deadlock+%28computer+science%29&amp;type=AllFields&amp;lng=el</link>
    <opensearch:totalResults>134</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="Deadlock%20%28computer%20science%29" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="Μετάβαση στην Πρώτη Σελίδα" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=Deadlock+%28computer+science%29&amp;type=AllFields&amp;lng=el"/>
    <atom:link rel="next" type="application/rss+xml" title="Μετάβαση στην Επόμενη Σελίδα" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=Deadlock+%28computer+science%29&amp;type=AllFields&amp;lng=el&amp;page=2"/>
    <atom:link rel="last" type="application/rss+xml" title="Μετάβαση στην Τελευταία Σελίδα" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=Deadlock+%28computer+science%29&amp;type=AllFields&amp;lng=el&amp;page=3"/>
    <item>
      <title>Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-16214-0</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-16214-0</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Water, Politics and Money A Reality Check on Privatization /</title>
      <pubDate>Thu, 01 Jan 2015 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-16691-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-16691-9</guid>
      <author>Schiffler, Manuel</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Schiffler, Manuel</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-19282-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-19282-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>New Trends in Applied Harmonic Analysis Sparse Representations, Compressed Sensing, and Multifractal Analysis /</title>
      <pubDate>Fri, 01 Jan 2016 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-27873-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-27873-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /</title>
      <pubDate>Fri, 01 Jan 2016 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-33693-0</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-33693-0</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /</title>
      <pubDate>Wed, 01 Jan 2003 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45236-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45236-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2004 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-24841-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-24841-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2004</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Applications and Theory of Petri Nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings /</title>
      <pubDate>Wed, 01 Jan 2003 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-44919-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-44919-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings /</title>
      <pubDate>Sat, 01 Jan 2000 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-44618-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-44618-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2000</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Applications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings /</title>
      <pubDate>Mon, 01 Jan 2001 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45740-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45740-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2001</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Parallel Computer Routing and Communication Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings /</title>
      <pubDate>Thu, 01 Jan 1998 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69352-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69352-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1998</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Databases in Networked Information Systems Second International Workshop, DNIS 2002, Aizu, Japan, December 16-18, 2002, Proceedings /</title>
      <pubDate>Tue, 01 Jan 2002 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-36233-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-36233-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /</title>
      <pubDate>Tue, 01 Jan 2002 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-36103-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-36103-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Fundamental Approaches to Software Engineering 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings /</title>
      <pubDate>Mon, 01 Jan 2001 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45314-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45314-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2001</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>DNA Computing 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers /</title>
      <pubDate>Wed, 01 Jan 2003 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-36440-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-36440-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /</title>
      <pubDate>Fri, 01 Jan 1999 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-49059-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-49059-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1999</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69593-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69593-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>High-Performance Computing and Networking 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12-14, 1999 Proceedings /</title>
      <pubDate>Fri, 01 Jan 1999 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-48933-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-48933-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1999</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Graph-Theoretic Concepts in Computer Science 23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997. Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69643-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69643-8</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings /</title>
      <pubDate>Thu, 01 Jan 1998 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-49382-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-49382-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1998</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 /</title>
      <pubDate>Thu, 01 Jan 1998 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-68532-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-68532-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1998</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>CONCUR '98 Concurrency Theory 9th International Conference, Nice, France, September 8-11, 1998, Proceedings /</title>
      <pubDate>Thu, 01 Jan 1998 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-68455-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-68455-8</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1998</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Type Systems for Distributed Programs: Components and Sessions</title>
      <pubDate>Fri, 01 Jan 2016 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-94-6239-204-5</link>
      <guid>https://find.library.upatras.gr/Record/978-94-6239-204-5</guid>
      <author>Dardha, Ornela</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <dc:creator>Dardha, Ornela</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Reliable Software Technologies Ada-Europe 2000 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings /</title>
      <pubDate>Sat, 01 Jan 2000 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45098-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45098-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2000</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Network-Based Parallel Computing - Communication, Architecture, and Applications 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings /</title>
      <pubDate>Sat, 01 Jan 2000 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-44655-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-44655-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2000</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Euro-Par'97 Parallel Processing Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69549-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69549-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Advances in Databases 15th British National Conference on Databases, BNCOD 15 London, United Kingdom, July 7 - 9, 1997 /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69254-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69254-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Application and Theory of Petri Nets 1998 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 Proceedings /</title>
      <pubDate>Thu, 01 Jan 1998 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69108-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69108-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1998</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Distributed Computing Mobile and Wireless Computing, 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings /</title>
      <pubDate>Tue, 01 Jan 2002 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-36385-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-36385-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Engineering Distributed Objects Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers /</title>
      <pubDate>Mon, 01 Jan 2001 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45254-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45254-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2001</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Network-Based Parallel Computing Communication, Architecture, and Applications Third International Workshop, CANPC'99, Orlando, Florida, USA, January 9th, 1999, Proceedings /</title>
      <pubDate>Fri, 01 Jan 1999 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-48869-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-48869-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1999</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Distributed Computing 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings /</title>
      <pubDate>Thu, 01 Jan 1998 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-49693-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-49693-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1998</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Euro-Par'98 Parallel Processing 4th International Euro-Par Conference Southampton, UK, September 1-4, 1998 Proceedings /</title>
      <pubDate>Thu, 01 Jan 1998 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-49920-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-49920-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1998</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69195-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69195-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69530-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69530-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-68519-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-68519-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-68342-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-68342-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>High Performance Computing - HiPC 2000 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings /</title>
      <pubDate>Sat, 01 Jan 2000 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-44467-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-44467-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2000</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69661-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69661-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings /</title>
      <pubDate>Sat, 01 Jan 2000 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-44929-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-44929-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2000</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Communication and Architectural Support for Network-Based Parallel Computing First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-68085-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-68085-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /</title>
      <pubDate>Fri, 01 Jan 2016 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-47169-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-47169-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Pro SQL Server Internals</title>
      <pubDate>Fri, 01 Jan 2016 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-1-4842-1964-5</link>
      <guid>https://find.library.upatras.gr/Record/978-1-4842-1964-5</guid>
      <author>Korotkevitch, Dmitri</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <dc:creator>Korotkevitch, Dmitri</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /</title>
      <pubDate>Thu, 01 Jan 2015 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-662-46823-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-662-46823-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>International Politics Political Issues Under Debate - Vol. 1 /</title>
      <pubDate>Thu, 01 Jan 2015 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-662-47685-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-662-47685-7</guid>
      <author>Jahn, Egbert</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Jahn, Egbert</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-662-48096-0</link>
      <guid>https://find.library.upatras.gr/Record/978-3-662-48096-0</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Performance Modeling of Operating Systems Using Object-Oriented Simulation A Practical Introduction /</title>
      <pubDate>Sat, 01 Jan 2000 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-0-306-46976-3</link>
      <guid>https://find.library.upatras.gr/Record/978-0-306-46976-3</guid>
      <author>Garrido, José M.</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2000</dc:date>
      <dc:creator>Garrido, José M.</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Design Methods and Applications for Distributed Embedded Systems IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) 22–27 August 2004 Toulouse, France /</title>
      <pubDate>Thu, 01 Jan 2004 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-1-4020-8149-1</link>
      <guid>https://find.library.upatras.gr/Record/978-1-4020-8149-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2004</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings /</title>
      <pubDate>Wed, 01 Jan 2003 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-24597-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-24597-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>DNA Computing 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers /</title>
      <pubDate>Thu, 01 Jan 2004 19:50:48 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-24628-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-24628-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2004</dc:date>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
