Showing 501 - 510 results of 2,559 for search 'SpringerVerlag', query time: 0.02s Refine Results
  1. 501

    Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

    Published 1995
    Book

    Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
  2. 502

    Theory and practice of parallel programming international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

    Published 1995
    Book

    Theory and practice of parallel programming international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings
  3. 503

    Scheduling algorithms by Brucker, Peter

    Published 1995
    Book

    Scheduling algorithms
  4. 504

    Building in big brother the cryptographic policy debate

    Published 1995
    Book

    Building in big brother the cryptographic policy debate
  5. 505

    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
  6. 506

    Formal development of reactive systems case study production cell

    Published 1995
    Book

    Formal development of reactive systems case study production cell
  7. 507

    Functional programming, Glasgow 1994 proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994

    Published 1995
    Book

    Functional programming, Glasgow 1994 proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994
  8. 508

    Constraint processing selected papers

    Published 1995
    Book

    Constraint processing selected papers
  9. 509

    Constraint programming basics and trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16-20, 1994 : selected papers

    Published 1995
    Book

    Constraint programming basics and trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16-20, 1994 : selected papers
  10. 510

    Neural networks for identification, prediction, and control by Pham, D. T.

    Published 1995
    Book

    Neural networks for identification, prediction, and control

Search Tools: