Showing 11 - 20 results of 32 for search '"Computer programming Congresses."', זמן שאילתה: 0.03s 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

כלי חיפוש: