Showing 491 - 500 results of 603 for search '"Lecture Notes in Computer Science"', 查詢時間: 0.02s Refine Results
  1. 491

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

    出版 1995
    圖書

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

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

    出版 1995
    圖書

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

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

    出版 1995
    圖書

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

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

    出版 1995
    圖書

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

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

    出版 1995
    圖書

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

    Formal development of reactive systems case study production cell

    出版 1995
    圖書

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

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

    出版 1995
    圖書

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

    Constraint processing selected papers

    出版 1995
    圖書

    Constraint processing selected papers
  9. 499

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

    出版 1995
    圖書

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

    Database and expert systems applications 6th international conference, DEXA '95, London, United Kingdom, September 4-8, 1995 : proceedings

    出版 1995
    圖書

    Database and expert systems applications 6th international conference, DEXA '95, London, United Kingdom, September 4-8, 1995 : proceedings

檢索工具: