Arama Sonuçları - "Computer logic."

  1. 1
    Kapak Resmi

    Logics and languages for reliability and security edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. [electronic resource] /

    Baskı/Yayın Bilgisi 2010
    Kitap

    Favorilerime ekle
    Kaydedildi:
  2. 2
    Kapak Resmi

    Computer logic.

    Baskı/Yayın Bilgisi 1971
    Kitap

    Favorilerime ekle
    Kaydedildi:
  3. 3
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©1995
    Kitap

    Favorilerime ekle
    Kaydedildi:
  4. 4
    Kapak Resmi

    Understanding coding using Boolean logic / Patricia Harris.

    Baskı/Yayın Bilgisi 2017
    Kitap

    Favorilerime ekle
    Kaydedildi:
  5. 5
    Kapak Resmi

    Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers / Elvira Albert (ed.)...

    Baskı/Yayın Bilgisi ©2013
    Kitap

    Favorilerime ekle
    Kaydedildi:
  6. 6
    Kapak Resmi

    Code monkeys use logic / by John Wood.

    Baskı/Yayın Bilgisi 2020
    Kitap

    Favorilerime ekle
    Kaydedildi:
  7. 7
    Kapak Resmi

    Advances in temporal logic / edited by Howard Barringer ... [et al.].

    Baskı/Yayın Bilgisi c2000
    Kitap

    Favorilerime ekle
    Kaydedildi:
  8. 8
    Kapak Resmi

    The jagged edge of somewhere / by Amy Crofford.

    Baskı/Yayın Bilgisi 2003
    Kitap

    Favorilerime ekle
    Kaydedildi:
  9. 9
    Kapak Resmi

    Basic computer logic / John R. Scott.

    Baskı/Yayın Bilgisi ©1981
    Kitap

    Favorilerime ekle
    Kaydedildi:
  10. 10
    Kapak Resmi

    Fundamentals of computer logic / David Hutchison.

    Baskı/Yayın Bilgisi 1981
    Kitap

    Favorilerime ekle
    Kaydedildi:
  11. 11
    Kapak Resmi

    Basic computer logic / John R. Scott.

    Baskı/Yayın Bilgisi 1981
    Kitap

    Favorilerime ekle
    Kaydedildi:
  12. 12
    Kapak Resmi

    ACM transactions on computational logic.

    Baskı/Yayın Bilgisi ©20002023
    Continuing Resources

    Favorilerime ekle
    Kaydedildi:
  13. 13
    Kapak Resmi

    Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings / Petr Hliněný, Antonin Kučera (...

    Baskı/Yayın Bilgisi 2010
    Kitap

    Favorilerime ekle
    Kaydedildi:
  14. 14
    Kapak Resmi

    Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andr...

    Baskı/Yayın Bilgisi 2004
    Kitap

    Favorilerime ekle
    Kaydedildi:
  15. 15
    Kapak Resmi

    Computer logic design / [by] M. Morris Mano.

    Baskı/Yayın Bilgisi 1972
    Kitap

    Favorilerime ekle
    Kaydedildi:
  16. 16
    Kapak Resmi

    Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications May 11-12, 2009, Northeastern University, Boston, MA, USA. [electronic resource] :

    Baskı/Yayın Bilgisi ©2009
    Kitap

    Favorilerime ekle
    Kaydedildi:
  17. 17
    Kapak Resmi

    Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications 2006, Seattle, Washington, August 15-16, 2006 / conference chairs, Panagiotis Manoli...

    Baskı/Yayın Bilgisi ©2006
    Kitap

    Favorilerime ekle
    Kaydedildi:
  18. 18
    Kapak Resmi

    Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andr...

    Baskı/Yayın Bilgisi ©2004
    Kitap

    Favorilerime ekle
    Kaydedildi:
  19. 19
    Kapak Resmi

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

    Baskı/Yayın Bilgisi ©2004
    Kitap

    Favorilerime ekle
    Kaydedildi:
  20. 20
    Kapak Resmi

    Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria 25-30, 2003 : proceedings...

    Baskı/Yayın Bilgisi ©2003
    Kitap

    Favorilerime ekle
    Kaydedildi:

Arama Araçları: