<?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>Αποτελέσματα για "Theoretical computer science"</title>
    <description>Εμφανίζονται 1 - 50 Αποτελέσματα από 644</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=%22Theoretical+computer+science%22&amp;type=AllFields&amp;lng=el</link>
    <opensearch:totalResults>644</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="%22Theoretical%20computer%20science%22" 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=%22Theoretical+computer+science%22&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=%22Theoretical+computer+science%22&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=%22Theoretical+computer+science%22&amp;type=AllFields&amp;lng=el&amp;page=13"/>
    <item>
      <title>Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /</title>
      <pubDate>Thu, 01 Jan 2015 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-20297-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-20297-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Introduction to Concurrency Theory Transition Systems and CCS /</title>
      <pubDate>Thu, 01 Jan 2015 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-21491-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-21491-7</guid>
      <author>Gorrieri, Roberto</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Gorrieri, Roberto</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Bridging Constraint Satisfaction and Boolean Satisfiability</title>
      <pubDate>Thu, 01 Jan 2015 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-21810-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-21810-6</guid>
      <author>Petke, Justyna</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Petke, Justyna</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Measures of Complexity Festschrift for Alexey Chervonenkis /</title>
      <pubDate>Thu, 01 Jan 2015 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-21852-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-21852-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Turing’s Revolution The Impact of His Ideas about Computability /</title>
      <pubDate>Thu, 01 Jan 2015 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-22156-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-22156-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /</title>
      <pubDate>Thu, 01 Jan 2015 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-22750-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-22750-4</guid>
      <author>Doberkat, Ernst-Erich</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2015</dc:date>
      <dc:creator>Doberkat, Ernst-Erich</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Topics in Grammatical Inference</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-662-48395-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-662-48395-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers /</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-28678-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-28678-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Decision Procedures An Algorithmic Point of View /</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-662-50497-0</link>
      <guid>https://find.library.upatras.gr/Record/978-3-662-50497-0</guid>
      <author>Kroening, Daniel</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <dc:creator>Kroening, Daniel</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Grammatical Inference: Algorithms and Applications 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings /</title>
      <pubDate>Tue, 01 Jan 2002 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45790-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45790-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Spatial Cognition III Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning /</title>
      <pubDate>Wed, 01 Jan 2003 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45004-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45004-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Qualitative Spatial Reasoning with Topological Information</title>
      <pubDate>Tue, 01 Jan 2002 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-70736-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-70736-3</guid>
      <author>Renz, Jochen</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <dc:creator>Renz, Jochen</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Mathematical Foundations of Computer Science 2002 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings /</title>
      <pubDate>Tue, 01 Jan 2002 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45687-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45687-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht /</title>
      <pubDate>Wed, 01 Jan 1997 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69242-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69242-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-68517-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-68517-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /</title>
      <pubDate>Sat, 01 Jan 2000 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45022-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45022-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2000</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Foundations of Software Technology and Theoretical Computer Science 19th Conference, Chennai, India, December 13-15, 1999 Proceedings /</title>
      <pubDate>Fri, 01 Jan 1999 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-46691-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-46691-8</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1999</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Substitutions in Dynamics, Arithmetics and Combinatorics</title>
      <pubDate>Tue, 01 Jan 2002 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45714-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45714-5</guid>
      <author>Pytheas Fogg, N.</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <dc:creator>Pytheas Fogg, N.</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /</title>
      <pubDate>Wed, 01 Jan 2003 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45208-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45208-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Machines, Computations, and Universality Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings /</title>
      <pubDate>Mon, 01 Jan 2001 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45132-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45132-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2001</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Mathematical Foundations of Computer Science 1997 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69547-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69547-9</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Advances in Informatics 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers /</title>
      <pubDate>Wed, 01 Jan 2003 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-38076-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-38076-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings /</title>
      <pubDate>Tue, 01 Jan 2002 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-36206-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-36206-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69659-9</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69659-9</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 21:38:16 +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>LATIN 2002: Theoretical Informatics 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings /</title>
      <pubDate>Tue, 01 Jan 2002 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45995-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45995-8</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-662-49529-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-662-49529-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Guide to Graph Colouring Algorithms and Applications /</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-25730-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-25730-3</guid>
      <author>Lewis, R.M.R</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <dc:creator>Lewis, R.M.R</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Web and Internet Economics 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings /</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-662-54110-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-662-54110-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Open Problems in Mathematics</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-32162-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-32162-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computing and Combinatorics 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, Proceedings /</title>
      <pubDate>Fri, 01 Jan 1999 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-48686-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-48686-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1999</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings /</title>
      <pubDate>Tue, 01 Jan 2002 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45832-6</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45832-6</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computing and Combinatorics 4th Annual International Conference, COCOON'98, Taipei, Taiwan, R.o.C., August 12-14, 1998 /</title>
      <pubDate>Thu, 01 Jan 1998 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-68535-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-68535-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1998</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /</title>
      <pubDate>Fri, 01 Jan 1999 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-48119-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-48119-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1999</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Fundamentals of Computation Theory 11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69529-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69529-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings /</title>
      <pubDate>Mon, 01 Jan 2001 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45294-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45294-2</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2001</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /</title>
      <pubDate>Wed, 01 Jan 2003 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-39656-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-39656-7</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Discrete Mathematics and Theoretical Computer Science 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings /</title>
      <pubDate>Wed, 01 Jan 2003 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45066-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45066-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg /</title>
      <pubDate>Tue, 01 Jan 2002 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45711-4</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45711-4</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2002</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Category Theory and Computer Science 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69552-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69552-3</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 21:38:16 +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>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 21:38:16 +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>Automata, Languages and Programming 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings /</title>
      <pubDate>Wed, 01 Jan 1997 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-69194-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-69194-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>1997</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computer Science in Perspective Essays Dedicated to Thomas Ottmann /</title>
      <pubDate>Wed, 01 Jan 2003 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-36477-1</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-36477-1</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2003</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /</title>
      <pubDate>Mon, 01 Jan 2001 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-45446-5</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-45446-5</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2001</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Hiding Data - Selected Topics Rudolf Ahlswede’s Lectures on Information Theory 3 /</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-31515-7</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-31515-7</guid>
      <author>Ahlswede, Rudolf</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <dc:creator>Ahlswede, Rudolf</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains /</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-658-11765-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-658-11765-8</guid>
      <author>Göbel, Susanne</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <dc:creator>Göbel, Susanne</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-30734-3</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-30734-3</guid>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>An Introduction to Online Computation Determinism, Randomization, Advice /</title>
      <pubDate>Fri, 01 Jan 2016 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-319-42749-2</link>
      <guid>https://find.library.upatras.gr/Record/978-3-319-42749-2</guid>
      <author>Komm, Dennis</author>
      <dc:format>Ηλεκτρονική πηγή</dc:format>
      <dc:format>Ηλ. βιβλίο</dc:format>
      <dc:date>2016</dc:date>
      <dc:creator>Komm, Dennis</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Αποδοτικοί αλγόριθμοι για κατανομή ενέργειας σε ασύρματα δίκτυα</title>
      <pubDate>Thu, 01 Jan 2009 21:38:16 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/nemertes-10889-2102</link>
      <guid>https://find.library.upatras.gr/Record/nemertes-10889-2102</guid>
      <author>Αθανασόπουλος, Σταύρος</author>
      <dc:format>Thesis</dc:format>
      <dc:date>2009</dc:date>
      <dc:creator>Αθανασόπουλος, Σταύρος</dc:creator>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
