Showing 11 - 20 results of 32 for search '"Computer programming Congresses."', Forespørselstid: 0.03s Refine Results
  1. 11

    Proof technology and computation

    Udgivet 2006
    Bog

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

    Udgivet 2001
    Bog

    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.

    Udgivet 2000
    Bog

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

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

    Udgivet 1997
    Bog

    Lecture notes in mathematical softwares
  5. 15

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

    Udgivet 1996
    Bog

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

    Udgivet 1996
    Bog

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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1995
    Bog

    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

    Udgivet 1994
    Bog

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

Søgeredskaber: