Suggested Topics within your search.
Showing 5,761 - 5,780 results of 7,121 for search 'Berlin~', query time: 1.52s Refine Results
  1. 5761
    Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /

    Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /

    Published 1990
    Book
  2. 5762
    Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /

    Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /

    Published 1995
    Conference Proceeding Book
  3. 5763
    Algorithms and computation /

    Algorithms and computation /

    Published 1995
    Conference Proceeding Book
  4. 5764
    Machine learning, ECML-97 : / 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997 : proceedings /

    Machine learning, ECML-97 : / 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997 : proceedings /

    Published 1997
    Conference Proceeding Book
  5. 5765
    Non-monotonic extensions of logic programming /

    Non-monotonic extensions of logic programming /

    Published 1997
    Conference Proceeding Book
  6. 5766
    Cohomologie l-adique et fonctions L /

    Cohomologie l-adique et fonctions L /

    Published 1977
    Book
  7. 5767
    Complex analysis /

    Complex analysis /

    Published 1983
    Conference Proceeding Book
  8. 5768
    Software agents and soft computing : towards enhancing machine intelligence; concepts and applications /

    Software agents and soft computing : towards enhancing machine intelligence; concepts and applications /

    Published 1997
    Book
  9. 5769
    Computing and combinatorics /

    Computing and combinatorics /

    Published 1997
    Conference Proceeding Book
  10. 5770
    Qualitative and quantitative practical reasoning /

    Qualitative and quantitative practical reasoning /

    Published 1997
    Conference Proceeding Book
  11. 5771
    Languages and compilers for parallel computing /

    Languages and compilers for parallel computing /

    Published 1997
    Conference Proceeding Book
  12. 5772
    ZUM'97 : the Z formal specification notation /

    ZUM'97 : the Z formal specification notation /

    Published 1997
    Conference Proceeding Book
  13. 5773
    Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /

    Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /

    Published 1997
    Conference Proceeding Book
  14. 5774
    Multimedia telecommunications and applications /

    Multimedia telecommunications and applications /

    Published 1996
    Conference Proceeding Book
  15. 5775
    Perspectives of system informatics /

    Perspectives of system informatics /

    Published 1996
    Conference Proceeding Book
  16. 5776
    Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings /

    Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  17. 5777
    Fuzzy logic, neural networks and evolutionary computation /

    Fuzzy logic, neural networks and evolutionary computation /

    Published 1996
    Conference Proceeding Book
  18. 5778
    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  19. 5779
    The data parallel programming model : foundations, HPF realization and scientific applications /

    The data parallel programming model : foundations, HPF realization and scientific applications /

    Published 1996
    Book
  20. 5780
    Trends in natural language generation : an artificial intelligence perspective : fourth European workshop, EWNLG ’93, Pisa, Italy, April 28-30, 1993 : selected papers /

    Trends in natural language generation : an artificial intelligence perspective : fourth European workshop, EWNLG ’93, Pisa, Italy, April 28-30, 1993 : selected papers /

    Published 1996
    Conference Proceeding Book

Search Tools: