Showing 12,811 - 12,820 results of 15,143 for search 'Springer Springer', query time: 0.05s Refine Results
  1. 12811

    Efficient checking of polynomials and proofs and the hardness of approximation problems by Sudan, Madhu

    Published 1995
    Book

    Efficient checking of polynomials and proofs and the hardness of approximation problems
  2. 12812

    Advances in spatial databases 4th international symposium, SSD '95, Portland, ME, USA, August 6-9, 1995 : proceedings

    Published 1995
    Book

    Advances in spatial databases 4th international symposium, SSD '95, Portland, ME, USA, August 6-9, 1995 : proceedings
  3. 12813

    Graph-theoretic concepts in computer science 21st international workshop, WG '95, Aachen, Germany, June 20-22, 1995 : proceedings

    Published 1995
    Book

    Graph-theoretic concepts in computer science 21st international workshop, WG '95, Aachen, Germany, June 20-22, 1995 : proceedings
  4. 12814

    Formal development of reactive systems case study production cell

    Published 1995
    Book

    Formal development of reactive systems case study production cell
  5. 12815

    Machine translation and the lexicon third International EAMT Workshop, Heidelberg, Germany, April 26-28, 1993 : proceedings

    Published 1995
    Book

    Machine translation and the lexicon third International EAMT Workshop, Heidelberg, Germany, April 26-28, 1993 : proceedings
  6. 12816

    ECOOP '95, object-oriented programming 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings

    Published 1995
    Book

    ECOOP '95, object-oriented programming 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings
  7. 12817

    Parallel algorithms for irregularly structured problems second international workshop, IRREGULAR '95, Lyon, France, September, 4-6, 1995 : proceedings

    Published 1995
    Book

    Parallel algorithms for irregularly structured problems second international workshop, IRREGULAR '95, Lyon, France, September, 4-6, 1995 : proceedings
  8. 12818

    Parallel computing technologies third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings

    Published 1995
    Book

    Parallel computing technologies third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings
  9. 12819

    Algorithms - ESA '95 Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings

    Published 1995
    Book

    Algorithms - ESA '95 Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings
  10. 12820

    Advanced functional programming first International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24-30, 1995 : tutorial text

    Published 1995
    Book

    Advanced functional programming first International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24-30, 1995 : tutorial text

Search Tools: