Đang hiển thị 491 - 500 kết quả của 603 cho tìm kiếm '"Lecture notes in computer science"', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 491

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

    Được phát hành 1995
    Sách

    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

    Được phát hành 1995
    Sách

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

    Được phát hành 1995
    Sách

    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

    Được phát hành 1995
    Sách

    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

    Được phát hành 1995
    Sách

    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

    Được phát hành 1995
    Sách

    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

    Được phát hành 1995
    Sách

    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

    Được phát hành 1995
    Sách

    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

    Được phát hành 1995
    Sách

    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

    Được phát hành 1995
    Sách

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

Công cụ tìm kiếm: