Suggested Topics within your search.
Showing 5,941 - 5,960 results of 7,121 for search 'Berlin~', query time: 4.15s Refine Results
  1. 5941
    Combinatorial mathematics : proceedings of the Seventh Australian Conference on Combinatorial Mathematics held at the University of Newcastle, Australia, August 20-24, 1979 /

    Combinatorial mathematics : proceedings of the Seventh Australian Conference on Combinatorial Mathematics held at the University of Newcastle, Australia, August 20-24, 1979 /

    Published 1980
    Conference Proceeding Book
  2. 5942
    Advances in intelligent data analysis : reasoning about data /

    Advances in intelligent data analysis : reasoning about data /

    Published 1997
    Conference Proceeding Book
  3. 5943
    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Published 1997
    Conference Proceeding Book
  4. 5944
    Solving irregularly structured problems in parallel /

    Solving irregularly structured problems in parallel /

    Published 1997
    Conference Proceeding Book
  5. 5945
    Logic programming and nonmonotonic reasoning /

    Logic programming and nonmonotonic reasoning /

    Published 1997
    Conference Proceeding Book
  6. 5946
    Intelligence in services and networks : technology for cooperative competition /

    Intelligence in services and networks : technology for cooperative competition /

    Published 1997
    Conference Proceeding Book
  7. 5947
    Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : Proceedings /

    Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : Proceedings /

    Published 1997
    Conference Proceeding Book
  8. 5948
    STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings /

    STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings /

    Published 1997
    Conference Proceeding Book
  9. 5949
    Database theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : proceedings /

    Database theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997 : proceedings /

    Published 1997
    Conference Proceeding Book
  10. 5950
    Algorithms and computation /

    Algorithms and computation /

    Published 1996
    Conference Proceeding Book
  11. 5951
    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Formal methods for industrial applications : specifying and programming the steam boiler control /

    Published 1996
    Book
  12. 5952
    Conceptual modeling - ER '96 /

    Conceptual modeling - ER '96 /

    Published 1996
    Conference Proceeding Book
  13. 5953
    Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings

    Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings

    Published 1996
    Conference Proceeding Book
  14. 5954
    Formal methods in computer-aided design /

    Formal methods in computer-aided design /

    Published 1996
    Conference Proceeding Book
  15. 5955
    Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings /

    Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  16. 5956
    Calculus of variations and geometric evolution problems / lectures given at the 2nd session of the Centro internazionale matematico estivo (C.I.M.E.) held in Cetraro, Italy, June 15-22, 1996 /

    Calculus of variations and geometric evolution problems / lectures given at the 2nd session of the Centro internazionale matematico estivo (C.I.M.E.) held in Cetraro, Italy, June 1...

    Published 1999
    Book
  17. 5957
    Computer security-ESORICS 96 / 4º European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings /

    Computer security-ESORICS 96 / 4º European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  18. 5958
    Formal techniques in real-time and fault-tolerant systems /

    Formal techniques in real-time and fault-tolerant systems /

    Published 1996
    Conference Proceeding Book
  19. 5959
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1996
    Conference Proceeding Book
  20. 5960
    Computer aided systems theory - EUROCAST'95 /

    Computer aided systems theory - EUROCAST'95 /

    Published 1996
    Conference Proceeding Book

Search Tools: