Ngā hua rapu - "Computer logic"

  1. 1
    Ata uhi

    Computer logic.

    I whakaputaina 1971
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  2. 2
    Ata uhi

    Handbook of practical logic and automated reasoning / John Harrison.

    I whakaputaina 2009
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  3. 3
    Ata uhi

    Digital logic circuit analysis and design / Victor P. Nelson [and others].

    I whakaputaina ©1995
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  4. 4
    Ata uhi

    Computer logic; the functional design of digital computers.

    I whakaputaina 1960
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  5. 5
    Ata uhi

    Code monkeys use logic / by John Wood.

    I whakaputaina 2020
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  6. 6
    Ata uhi

    Computer logic : design principles and applications / John Y. Hsu.

    I whakaputaina ©2002
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  7. 7
    Ata uhi

    Compiled labelled deductive systems : a uniform presentation of non-classical logics / Krysia Broda [and others].

    I whakaputaina ©2004
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  8. 8
    Ata uhi

    Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

    I whakaputaina 2000
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  9. 9
    Ata uhi

    Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.).

    I whakaputaina 2001
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  10. 10
    Ata uhi

    Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings / Georg Gottlob, Etienne Grandjean,...

    I whakaputaina 1999
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  11. 11
    Ata uhi

    Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Tho...

    I whakaputaina 1998
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  12. 12
    Ata uhi

    Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-...

    I whakaputaina 1999
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  13. 13
    Ata uhi

    Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.).

    I whakaputaina 2001
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  14. 14
    Ata uhi

    ACM transactions on computational logic.

    I whakaputaina ©20002023
    Continuing Resources

    Tiaki ki tētahi rārangi
    I tiakina i:
  15. 15
    Ata uhi

    Computer logic design / M. Morris Mano.

    I whakaputaina 1972
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  16. 16
    Ata uhi

    Basic computer logic / John R. Scott.

    I whakaputaina 1981
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  17. 17
    Ata uhi

    Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

    I whakaputaina 2004
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  18. 18
    Ata uhi

    Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).

    I whakaputaina ©2004
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  19. 19
    Ata uhi

    Logics for databases and information systems / edited by Jan Chomicki and Gunter Saake.

    I whakaputaina ©1998
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:
  20. 20
    Ata uhi

    Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed....

    I whakaputaina c1996
    Pukapuka

    Tiaki ki tētahi rārangi
    I tiakina i:

Ngā utauta rapu: