Showing 491 - 500 results of 604 for search '"Notes in Computer Science"', query time: 0.03s Refine Results
  1. 491

    Programming languages implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

    Published 1995
    Book

    Programming languages implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
  2. 492

    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
  3. 493

    Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings

    Published 1995
    Book

    Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings
  4. 494

    Conceptual structures applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : procee...

    Published 1995
    Book

    Conceptual structures applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings
  5. 495

    Concur '95 concurrency theory : 6th international conference, Philadelphia, Pa., U.S.A., August 21-24, 1995 : proceedings

    Published 1995
    Book

    Concur '95 concurrency theory : 6th international conference, Philadelphia, Pa., U.S.A., August 21-24, 1995 : proceedings
  6. 496

    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
  7. 497

    Formal development of reactive systems case study production cell

    Published 1995
    Book

    Formal development of reactive systems case study production cell
  8. 498

    From reaction to cognition 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, Neuchatel, Switzerland, August 1993 : selected papers

    Published 1995
    Book

    From reaction to cognition 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, Neuchatel, Switzerland, August 1993 : selected papers
  9. 499

    Constraint processing selected papers

    Published 1995
    Book

    Constraint processing selected papers
  10. 500

    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

Search Tools: