Showing 1 - 20 results of 66 for search 'IBF*', query time: 0.09s Refine Results
  1. 1
    Architecture and performance Dagstuhl-Seminar-Report; 1 18.6.1990-21.6.1990 (9025)
    Subjects: “…IBFI 119792…”
    Book
  2. 2
    Tree adgjoining grammars 1st. International Workshop on TAGs: Formal theory and applications Dagstuhl-Seminar-Report 15. - 17.8.1990(9033)
    Subjects: “…IBFI 119792…”
    Book
  3. 3
    Functional languages:optimization for parallelism Dagstuhl-Seminar-Report; 3 3.9.1990-8.9.1990(9036)
    Subjects: “…IBFI 119792…”
    Book
  4. 4
    Algorithmic geometry Dagstuhl-Seminar-Report; 4 8.10.1990-12.10.1990(9041)
    Subjects: “…IBFI 119792…”
    Book
  5. 5
    Automata theory and applications in logic and complexity Dagstuhl-Seminar-Report; 5 14.-18.1.1991(9103)
    Subjects: “…IBFI 119792…”
    Book
  6. 6
    Entwerfen, Prufen, Testen Dagsthl-Seminar-Report; 6 18.2.1991-22.2.1991(9108)
    Subjects: “…IBFI 119792…”
    Book
  7. 7
    Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)
    Subjects: “…IBFI 119792…”
    Book
  8. 8
    Parallel and distributed algorithms Dagsthul-Seminar-Report; 8 4.3.1991-8.3.1991(9110)
    Subjects: “…IBFI 119792…”
    Book
  9. 9
    Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)
    Subjects: “…IBFI 119792…”
    Book
  10. 10
    Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)
    Subjects: “…IBFI 119792…”
    Book
  11. 11
    Algorithms and complexity for continuous problems Dagstuhl-Seminar-Report; 11 15-19.4.1991(9116)
    Subjects: “…IBFI 119792…”
    Book
  12. 12
    International workshop on terminological logics Dagstuhl-Seminar-Report; 12 6.5.-18.5.1991(9119)
    Subjects: “…IBFI 119792…”
    Book
  13. 13
    Code generation-concerts, tools, techniques Dagstuhl-Seminar-Report; 13 20.-24.5.1991(9121)
    Subjects: “…IBFI 119792…”
    Book
  14. 14
    Randomized algorithms Dagstuhl-Seminar-Report; 14 10.-14.6.1991(9124)
    Subjects: “…IBFI 119792…”
    Book
  15. 15
    Query processing in object-oriented, complex-object and nested relation databases Dagstuhl-Seminar-Report; 15 17.-21.6.1991(9125)
    Subjects: “…IBFI 119792…”
    Book
  16. 16
    Semantics of programming languages and model theory Dagstuhl-Seminar-Report; 16 24.-28.6.1991(9126)
    Subjects: “…IBFI 119792…”
    Book
  17. 17
    Geometric modelling Dagstuhl-Seminar-Report; 17 1.-5.7.1991(9127)
    Subjects: “…IBFI 119792…”
    Book
  18. 18
    Operating systems of the 90s and beyond Dagstuhl-Seminar-Report; 18 8.-12.7.1991(9128)
    Subjects: “…IBFI 119792…”
    Book
  19. 19
    Scientific visualization Dagstuhl-Seminar-Report; 19 26.8.-30.8.91(9135)
    Subjects: “…IBFI 119792…”
    Book
  20. 20
    Theory and practice of physical design of VLSI systems Dagsthul-Seminar-Report; 20 2.9.-6.9.91(9136)
    Subjects: “…IBFI 119792…”
    Book
Search Tools: RSS Feed – Email Search