Showing 11 - 20 results of 32 for search '"Computer programming Congresses."', 查詢時間: 0.02s Refine Results
  1. 11

    Proof technology and computation

    出版 2006
    圖書

    Proof technology and computation
  2. 12

    Computer applications in the minerals industries : proceedings of the 29th international symposium on computer applications in the mineral industries Beijing, China, 25-27 April 20...

    出版 2001
    圖書

    Computer applications in the minerals industries : proceedings of the 29th international symposium on computer applications in the mineral industries Beijing, China, 25-27 April 2001
  3. 13

    Transportation data, statistics, and information technology.

    出版 2000
    圖書

    Transportation data, statistics, and information technology.
  4. 14

    Lecture notes in mathematical softwares 由 Escuadro, Henry E., Vizcarra, Andrew B.

    出版 1997
    圖書

    Lecture notes in mathematical softwares
  5. 15

    Compiler construction 6th International Conference, CC'96, Linkoping, Sweden, April 24-26, 1996 : proceedings

    出版 1996
    圖書

    Compiler construction 6th International Conference, CC'96, Linkoping, Sweden, April 24-26, 1996 : proceedings
  6. 16

    Formal description techniques IX theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verif...

    出版 1996
    圖書

    Formal description techniques IX theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserlautern, Germany, 8-11 October 1996
  7. 17

    Information technologies in teacher education issues and experiences for countries in transition; proceedings of a European workshop, University of Twenty, Enchede, Netherland, Feb...

    出版 1995
    圖書

    Information technologies in teacher education issues and experiences for countries in transition; proceedings of a European workshop, University of Twenty, Enchede, Netherland, February 20-23, 1994
  8. 18

    Category theory and computer science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

    出版 1995
    圖書

    Category theory and computer science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
  9. 19

    Languages and compilers for parallel computing 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings

    出版 1995
    圖書

    Languages and compilers for parallel computing 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings
  10. 20

    Constraints in computational logics first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

    出版 1994
    圖書

    Constraints in computational logics first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

檢索工具: