Suggested Topics within your search.
Showing 3,841 - 3,860 results of 5,455 for search 'Berlin*', query time: 0.19s Refine Results
  1. 3841
    Theorem proving in higher order logics /

    Theorem proving in higher order logics /

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

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

    Published 1996
    Conference Proceeding Book
  3. 3843
    Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /

    Database and expert systems applications : 7th International Conference, DEXA ’96, Zurich, Switzerland, September 9-13, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  4. 3844
    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
  5. 3845
    Recent trends in data type specification /

    Recent trends in data type specification /

    Published 1996
    Conference Proceeding Book
  6. 3846
    Forward-backward stochastic differential equations and their applications /

    Forward-backward stochastic differential equations and their applications / by Ma, Jin, 1956-

    Published 1999
    Book
  7. 3847
    Probability towards 2000 /

    Probability towards 2000 /

    Published 1998
    Book
  8. 3848
    Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /

    Logics in artificial intelligence : European Workshop, JELIA ’96, Évora, Portugal, September 30-October 3, 1996, proceedings /

    Published 1996
    Conference Proceeding Book
  9. 3849
    Advances in structural and syntactical pattern recognition /

    Advances in structural and syntactical pattern recognition /

    Published 1996
    Conference Proceeding Book
  10. 3850
    Algorithmic number theory : second internati[o]nal symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings /

    Algorithmic number theory : second internati[o]nal symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings /

    Published 1996
    Book
  11. 3851
    Information theory and applications II : 4th Canadian workshop, Lac Delage, Québec, Canada, May 28-30, 1995 : selected papers /

    Information theory and applications II : 4th Canadian workshop, Lac Delage, Québec, Canada, May 28-30, 1995 : selected papers /

    Published 1996
    Conference Proceeding Book
  12. 3852
    Kerntechnik : normen /

    Kerntechnik : normen /

    Published 1983
    Book
  13. 3853
    Nuclear standards : catalogue and classification /

    Nuclear standards : catalogue and classification / by Fichtner, Norbert

    Published 1984
    Book
  14. 3854
    Arithmetic theory of elliptic curves : lectures given at the 3rd session of the Centro internazionale matematico estivo (C.I.M.E.), held in Cetraro, Italy, July 12-19, 1997 /

    Arithmetic theory of elliptic curves : lectures given at the 3rd session of the Centro internazionale matematico estivo (C.I.M.E.), held in Cetraro, Italy, July 12-19, 1997 /

    Published 1999
    Book
  15. 3855
    Reasoning with logic programming /

    Reasoning with logic programming / by Alferes, José Júlio, 1966-

    Published 1996
    Book
  16. 3856
    Principles and practice of constraint programming, CP96 /

    Principles and practice of constraint programming, CP96 /

    Published 1996
    Conference Proceeding Book
  17. 3857
    Conceptual structures : knowledge representation as interlingua /

    Conceptual structures : knowledge representation as interlingua /

    Published 1996
    Conference Proceeding Book
  18. 3858
    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
  19. 3859
    Agents breaking away /

    Agents breaking away /

    Published 1996
    Conference Proceeding Book
  20. 3860
    Intelligent agents II : agent theories, architectures and languages : JCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings

    Intelligent agents II : agent theories, architectures and languages : JCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings

    Published 1996
    Conference Proceeding Book

Search Tools: