14,531 - 14,540 toradh á dtaispeáint as 17,148 toradh san iomlán ar an gcuardach '"Springer."', am iarratais: 0.04s Beachtaigh na torthaí
  1. 14531

    Object technologies for advanced software first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Object technologies for advanced software first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
  2. 14532

    Ray shooting, depth orders and hidden surface removal de réir Berg, Mark de

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Ray shooting, depth orders and hidden surface removal
  3. 14533

    Systematic introduction to expert systems knowledge representations and problem-solving methods de réir Puppe, Frank

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Systematic introduction to expert systems knowledge representations and problem-solving methods
  4. 14534

    Formal methods in databases and software engineering proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Formal methods in databases and software engineering proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992
  5. 14535

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate,...

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
  6. 14536

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
  7. 14537

    TAPSOFT '93 theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : M.C. Gaudel, J.-P. Jouannaud, eds.

    Foilsithe / Cruthaithe 1993
    LEABHAR

    TAPSOFT '93 theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : M.C. Gaudel, J.-P. Jouannaud, eds.
  8. 14538

    Advanced information systems engineering 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993 proceedings

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Advanced information systems engineering 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993 proceedings
  9. 14539

    Application and theory of Petri nets, 1993 14th international conference, Chicago, Illinois, USA, June 21-25, 1993 proceedings

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Application and theory of Petri nets, 1993 14th international conference, Chicago, Illinois, USA, June 21-25, 1993 proceedings
  10. 14540

    Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

    Foilsithe / Cruthaithe 1993
    LEABHAR

    Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

Uirlisí cuardaigh: