Mostrar 491 - 500 resultats de 603 per cerca '"Lecture Notes in Computer Science"', hora de la petició: 0.02sec Refinar resultats
  1. 491

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

    Publicat 1995
    Llibre

    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

    Publicat 1995
    Llibre

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

    Publicat 1995
    Llibre

    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

    Publicat 1995
    Llibre

    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

    Publicat 1995
    Llibre

    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

    Publicat 1995
    Llibre

    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

    Publicat 1995
    Llibre

    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

    Publicat 1995
    Llibre

    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

    Publicat 1995
    Llibre

    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

    Publicat 1995
    Llibre

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

Eines de cerca: