Suggested Topics within your search.
Showing 3,881 - 3,900 results of 5,455 for search 'Berlin*', query time: 0.06s Refine Results
  1. 3881
    Term indexing /

    Term indexing / by Graf, Peter, 1966-

    Published 1995
    Book
  2. 3882
    FME'96 : industrial benefit and advances in formal methods /

    FME'96 : industrial benefit and advances in formal methods /

    Published 1996
    Conference Proceeding Book
  3. 3883
    Object technologies for advanced software /

    Object technologies for advanced software /

    Published 1996
    Conference Proceeding Book
  4. 3884
    Time structures : formal description and algorithmic representation /

    Time structures : formal description and algorithmic representation / by Hajnicz, Elzbieta

    Published 1996
    Book
  5. 3885
    Extensions of logic programming /

    Extensions of logic programming /

    Published 1996
    Conference Proceeding Book
  6. 3886
    Computer aided systems theory - CAST'94 /

    Computer aided systems theory - CAST'94 /

    Published 1996
    Conference Proceeding Book
  7. 3887
    Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /

    Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  8. 3888
    Automata, languages and programming /

    Automata, languages and programming /

    Published 1996
    Conference Proceeding Book
  9. 3889
    Digital signature schemes : general framework and fail-stop signatures /

    Digital signature schemes : general framework and fail-stop signatures / by Pfitzmann, Birgit

    Published 1996
    Book
  10. 3890
    Over-constrained systems /

    Over-constrained systems /

    Published 1996
    Book
  11. 3891
    Rewriting techniques and applications /

    Rewriting techniques and applications /

    Published 1996
    Conference Proceeding Book
  12. 3892
    The programming language ADA : reference manual /

    The programming language ADA : reference manual /

    Published 1981
    Book
  13. 3893
    Applications of field theory to statistical mechanics /

    Applications of field theory to statistical mechanics /

    Published 1985
    Conference Proceeding Book
  14. 3894
    Lectures in statistical physics /

    Lectures in statistical physics /

    Published 1974
    Conference Proceeding Book
  15. 3895
    Positivity in Lie theory : open problems /

    Positivity in Lie theory : open problems /

    Published 1998
    Book
  16. 3896
    Lectures in real geometry /

    Lectures in real geometry /

    Published 1996
    Book
  17. 3897
    Holomorphy and convexity in Lie theory /

    Holomorphy and convexity in Lie theory / by Neeb, Karl-Hermann

    Published 2000
    Book
  18. 3898
    Elementary geometry in hyperbolic space /

    Elementary geometry in hyperbolic space / by Fenchel, Werner, 1905-

    Published 1989
    Book
  19. 3899
    Parallel symbolic languages and systems /

    Parallel symbolic languages and systems /

    Published 1996
    Conference Proceeding Book
  20. 3900
    Graphics recognition : methods and applications, Rangachar Kasturi, Karl Tombre.

    Graphics recognition : methods and applications, Rangachar Kasturi, Karl Tombre.

    Published 1996
    Conference Proceeding Book

Search Tools: