<?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 IBF*</title>
    <description>Showing 1 - 50 results of 66</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=IBF%2A&amp;type=AllFields&amp;lng=en</link>
    <opensearch:totalResults>66</opensearch:totalResults>
    <opensearch:startIndex>0</opensearch:startIndex>
    <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
    <opensearch:Query role="request" searchTerms="IBF%2A" startIndex="0"/>
    <atom:link rel="first" type="application/rss+xml" title="Go to First Page" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=IBF%2A&amp;type=AllFields&amp;lng=en"/>
    <atom:link rel="next" type="application/rss+xml" title="Go to Next Page" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=IBF%2A&amp;type=AllFields&amp;lng=en&amp;page=2"/>
    <atom:link rel="last" type="application/rss+xml" title="Go to Last Page" href="https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&amp;limit=50&amp;view=rss&amp;lookfor=IBF%2A&amp;type=AllFields&amp;lng=en&amp;page=2"/>
    <item>
      <title>Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers /</title>
      <pubDate>Mon, 01 Jan 2007 18:11:29 +0200</pubDate>
      <link>https://find.library.upatras.gr/Record/978-3-540-75989-8</link>
      <guid>https://find.library.upatras.gr/Record/978-3-540-75989-8</guid>
      <dc:format>Electronic</dc:format>
      <dc:format>eBook</dc:format>
      <dc:date>2007</dc:date>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Architecture and performance Dagstuhl-Seminar-Report; 1 18.6.1990-21.6.1990 (9025)</title>
      <link>https://find.library.upatras.gr/Record/86253</link>
      <guid>https://find.library.upatras.gr/Record/86253</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Tree adgjoining grammars 1st. International Workshop on TAGs: Formal theory and applications Dagstuhl-Seminar-Report 15. - 17.8.1990(9033)</title>
      <link>https://find.library.upatras.gr/Record/86255</link>
      <guid>https://find.library.upatras.gr/Record/86255</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Functional languages:optimization for parallelism Dagstuhl-Seminar-Report; 3 3.9.1990-8.9.1990(9036)</title>
      <link>https://find.library.upatras.gr/Record/86257</link>
      <guid>https://find.library.upatras.gr/Record/86257</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Algorithmic geometry Dagstuhl-Seminar-Report; 4 8.10.1990-12.10.1990(9041)</title>
      <link>https://find.library.upatras.gr/Record/86259</link>
      <guid>https://find.library.upatras.gr/Record/86259</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Automata theory and applications in logic and complexity Dagstuhl-Seminar-Report; 5 14.-18.1.1991(9103)</title>
      <link>https://find.library.upatras.gr/Record/86261</link>
      <guid>https://find.library.upatras.gr/Record/86261</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Entwerfen, Prufen, Testen Dagsthl-Seminar-Report; 6 18.2.1991-22.2.1991(9108)</title>
      <link>https://find.library.upatras.gr/Record/86262</link>
      <guid>https://find.library.upatras.gr/Record/86262</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)</title>
      <link>https://find.library.upatras.gr/Record/86265</link>
      <guid>https://find.library.upatras.gr/Record/86265</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Parallel and distributed algorithms Dagsthul-Seminar-Report; 8 4.3.1991-8.3.1991(9110)</title>
      <link>https://find.library.upatras.gr/Record/86267</link>
      <guid>https://find.library.upatras.gr/Record/86267</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)</title>
      <link>https://find.library.upatras.gr/Record/86269</link>
      <guid>https://find.library.upatras.gr/Record/86269</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)</title>
      <link>https://find.library.upatras.gr/Record/86271</link>
      <guid>https://find.library.upatras.gr/Record/86271</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 11 15-19.4.1991(9116)</title>
      <link>https://find.library.upatras.gr/Record/86273</link>
      <guid>https://find.library.upatras.gr/Record/86273</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>International workshop on terminological logics Dagstuhl-Seminar-Report; 12 6.5.-18.5.1991(9119)</title>
      <link>https://find.library.upatras.gr/Record/86275</link>
      <guid>https://find.library.upatras.gr/Record/86275</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Code generation-concerts, tools, techniques Dagstuhl-Seminar-Report; 13 20.-24.5.1991(9121)</title>
      <link>https://find.library.upatras.gr/Record/86277</link>
      <guid>https://find.library.upatras.gr/Record/86277</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Randomized algorithms Dagstuhl-Seminar-Report; 14 10.-14.6.1991(9124)</title>
      <link>https://find.library.upatras.gr/Record/86279</link>
      <guid>https://find.library.upatras.gr/Record/86279</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Query processing in object-oriented, complex-object and nested relation databases Dagstuhl-Seminar-Report; 15 17.-21.6.1991(9125)</title>
      <link>https://find.library.upatras.gr/Record/86281</link>
      <guid>https://find.library.upatras.gr/Record/86281</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126)</title>
      <link>https://find.library.upatras.gr/Record/86283</link>
      <guid>https://find.library.upatras.gr/Record/86283</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Geometric modelling Dagstuhl-Seminar-Report; 17 1.-5.7.1991(9127)</title>
      <link>https://find.library.upatras.gr/Record/86285</link>
      <guid>https://find.library.upatras.gr/Record/86285</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Operating systems of the 90s and beyond Dagstuhl-Seminar-Report; 18 8.-12.7.1991(9128)</title>
      <link>https://find.library.upatras.gr/Record/86287</link>
      <guid>https://find.library.upatras.gr/Record/86287</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Scientific visualization Dagstuhl-Seminar-Report; 19 26.8.-30.8.91(9135)</title>
      <link>https://find.library.upatras.gr/Record/86289</link>
      <guid>https://find.library.upatras.gr/Record/86289</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Theory and practice of physical design of VLSI systems Dagsthul-Seminar-Report; 20 2.9.-6.9.91(9136)</title>
      <link>https://find.library.upatras.gr/Record/86291</link>
      <guid>https://find.library.upatras.gr/Record/86291</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Directions of future database research Dagstuhl-Seminar-Report; 21 9.9.-12.9.91(9137)</title>
      <link>https://find.library.upatras.gr/Record/86293</link>
      <guid>https://find.library.upatras.gr/Record/86293</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computational geometry Dagstuhl-Seminar-Report; 22 07.10.-11.10.91(9141)</title>
      <link>https://find.library.upatras.gr/Record/86295</link>
      <guid>https://find.library.upatras.gr/Record/86295</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Trends and applications in formal language theory Dagstuhl-Seminar-Report; 23 14.10.-18.10.91(9142)</title>
      <link>https://find.library.upatras.gr/Record/86297</link>
      <guid>https://find.library.upatras.gr/Record/86297</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)</title>
      <link>https://find.library.upatras.gr/Record/86299</link>
      <guid>https://find.library.upatras.gr/Record/86299</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Data structures Dagstuhl-Seminar-Report; 25 4.11.-8.11.91(9145)</title>
      <link>https://find.library.upatras.gr/Record/86301</link>
      <guid>https://find.library.upatras.gr/Record/86301</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Efficient interpolation algorithms Dagstuhl-Seminar-Report; 26 2.-6.12.91(9149)</title>
      <link>https://find.library.upatras.gr/Record/86303</link>
      <guid>https://find.library.upatras.gr/Record/86303</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Automata theory:infinite computations Dagstuhl-Seminar-Report; 28 6.-10.1.92(9202)</title>
      <link>https://find.library.upatras.gr/Record/86307</link>
      <guid>https://find.library.upatras.gr/Record/86307</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Software construction-Foundation and application Dagstuhl-Seminar-Report; 29 13.-17.1.92(9203)</title>
      <link>https://find.library.upatras.gr/Record/86309</link>
      <guid>https://find.library.upatras.gr/Record/86309</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Molecular bioiformatics Dagstuhl-Seminar-Report; 46 07.09.-11.09.92(9237)</title>
      <link>https://find.library.upatras.gr/Record/86311</link>
      <guid>https://find.library.upatras.gr/Record/86311</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Experimental software engineering issues Dagstuhl-Seminar-Report; 47 14.09.-18.09.92(9238)</title>
      <link>https://find.library.upatras.gr/Record/86313</link>
      <guid>https://find.library.upatras.gr/Record/86313</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Semantic formalisms in natural language processing Dagstuhl-Seminar-Report; 57 22.02.-26.02.93(9308)</title>
      <link>https://find.library.upatras.gr/Record/86315</link>
      <guid>https://find.library.upatras.gr/Record/86315</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 50 12.10.-16.10.92(9242)</title>
      <link>https://find.library.upatras.gr/Record/86317</link>
      <guid>https://find.library.upatras.gr/Record/86317</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Multimedia-system architectures and applications Dagstuhl-Seminar-Report; 02.11.-04.11.92(9245)</title>
      <link>https://find.library.upatras.gr/Record/86319</link>
      <guid>https://find.library.upatras.gr/Record/86319</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Graph-transformations in computer science Dagstuhl-Seminar-Report; 53 04.01.-08.01.93(9301)</title>
      <link>https://find.library.upatras.gr/Record/86321</link>
      <guid>https://find.library.upatras.gr/Record/86321</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Automata theory:distributed models Dagstuhl-Seminar-Report; 54 11.01.-15.01.93(9302)</title>
      <link>https://find.library.upatras.gr/Record/86323</link>
      <guid>https://find.library.upatras.gr/Record/86323</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Versioning in database management systems Dagstuhl-Seminar-Report; 55 01.02.-05.02.93(9305)</title>
      <link>https://find.library.upatras.gr/Record/86325</link>
      <guid>https://find.library.upatras.gr/Record/86325</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computer aided design and test Dagstuhl-Seminar-Report; 56 15.02.-19.02.93(9307)</title>
      <link>https://find.library.upatras.gr/Record/86327</link>
      <guid>https://find.library.upatras.gr/Record/86327</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computational geometry Dagstuhl-Seminar-Report; 59 22.03.-26.03.93(9312)</title>
      <link>https://find.library.upatras.gr/Record/86329</link>
      <guid>https://find.library.upatras.gr/Record/86329</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Graphs &amp; robotics Dagstuhl-Seminar-Report; 61_ 19.04.-22.04.93(9316)</title>
      <link>https://find.library.upatras.gr/Record/86331</link>
      <guid>https://find.library.upatras.gr/Record/86331</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Descriptional complexity Dagstuhl-Seminar-Report; 63 03.05.-07.05.93(9318)</title>
      <link>https://find.library.upatras.gr/Record/86333</link>
      <guid>https://find.library.upatras.gr/Record/86333</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323)</title>
      <link>https://find.library.upatras.gr/Record/86335</link>
      <guid>https://find.library.upatras.gr/Record/86335</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Geometric modelling Dagstuhl-Seminar-Report; 67 28.06.-02.07.93(9326)</title>
      <link>https://find.library.upatras.gr/Record/86336</link>
      <guid>https://find.library.upatras.gr/Record/86336</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>"Average-Case"-Analysis of algorithms Dagstuhl-Seminar-Report; 68 12.07.-16.07.93(9328)</title>
      <link>https://find.library.upatras.gr/Record/86339</link>
      <guid>https://find.library.upatras.gr/Record/86339</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Formal aspects of object base dynamics Dagstuhl-Seminar-Report; 62 26.04.-30.04.93(9317)</title>
      <link>https://find.library.upatras.gr/Record/86341</link>
      <guid>https://find.library.upatras.gr/Record/86341</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Parallel and distibuted algorithms Dagstuhl-Seminar-Report; 72 13.09.-17.09.93(9337)</title>
      <link>https://find.library.upatras.gr/Record/86343</link>
      <guid>https://find.library.upatras.gr/Record/86343</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Architecture and protocols for high-speed networks Dagstuhl-Seminar-Report; 71 30.08.-03.09.93(9335)</title>
      <link>https://find.library.upatras.gr/Record/86345</link>
      <guid>https://find.library.upatras.gr/Record/86345</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Distributed cooperation in integrated information systems Dagstuhl-Seminar-Report; 38 %.-9.4.92(9215)</title>
      <link>https://find.library.upatras.gr/Record/86347</link>
      <guid>https://find.library.upatras.gr/Record/86347</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Algorithms and number theory Dagstuhl-Seminar-Report; 39 22.06.-26.06.92(9226)</title>
      <link>https://find.library.upatras.gr/Record/86349</link>
      <guid>https://find.library.upatras.gr/Record/86349</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
    <item>
      <title>Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)</title>
      <link>https://find.library.upatras.gr/Record/86351</link>
      <guid>https://find.library.upatras.gr/Record/86351</guid>
      <dc:format>Book</dc:format>
      <slash:comments>0</slash:comments>
    </item>
  </channel>
</rss>
