Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Kütüphane
170 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      by 
      Reznik, Leonid, 1955-
      Format: 
      Alıntı: 
      design but are not sure how to choose the number of membership functions, how to shape them properly, or
      by 
      IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
      Format: 
      Alıntı: 
      particular consideration are: novel developments in higher order logic and its implementations in HOL; formal
      by 
      McCarthy, John, 1927-2011.
      Format: 
      Alıntı: 
      . Manna, M. Stickel, and R. Waldinger -- Circumscription and disjunctive logic programming / J. Minker, J
      by 
      Brown, Marty, 1951-
      Format: 
      Alıntı: 
      microprocessor engineering, you'll be able to design a power supply that's right for your application with this
      by 
      Rase, Howard F.
      Format: 
      Alıntı: 
      ; OPERATING MODELS; OPERATING MODELS; LITERATURE CITED; Chapter 6. Detailed Recommendations on Reactor Design
      by 
      Agrawala, Ashok K.
      Format: 
      Alıntı: 
      Bibliography; CHAPTER 4. COMPUTERS WITH VERTICAL MICROINSTRUCTIONS; 4.1 Introduction; 4.2 The Standard Logic
      by 
      Dodd, K. N. (Kenneth Neilson)
      Format: 
      Alıntı: 
      ; CHAPTER ONE. Two State Logic; 1.1 LOGIC ELEMENTS; 1.2 TRUTH TABLES; 1.3 EXAMPLES; 1.4 HIGH AND LOW LOGIC
      by 
      Fisher, Dennis G., Ph. D.
      Format: 
      Alıntı: 
      :<$> Introduction. Logic Design. Trade-offs between Silicon and GaAs. Digital GaAs Product Insertions. Summary. I
      by 
      Wang, Wei-Che, author.
      Format: 
      Alıntı: 
      production model, most existing techniques, such as Physical Uncolonable Function (PUF), logic obfuscation
      by 
      Das, Sourav, author. (orcid)0000-0002-7404-8133
      Format: 
      Alıntı: 
      monolithic inter-tier vias (MIVs) offer high density integration, flexibility of partitioning logic blocks
      by 
      He, Peiwen, author. (orcid)0000-0001-9453-7957
      Format: 
      Alıntı: 
      effect of parasitic components, which includes a +6/--3 V driving logic enhancing the noise immunity of