Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(202)
Legay, Axel. editor.
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Ait Ameur, Yamine. editor.
(2)
Artho, Cyrille. editor.
(2)
Dil
English
(237)
Yayın Yılı
-
Konu
Computer logic.
(160)
Software engineering.
(100)
Artificial intelligence.
(75)
Mathematical logic.
(66)
Programming languages (Electronic computers).
(59)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
237 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
229. 
Handbook of Practical Logic and Automated Reasoning için kapak resmi
Handbook of Practical Logic and Automated Reasoning
Yazar 
Harrison, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow için kapak resmi
High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow
Yazar 
Hossain, Razak.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
231. 
Synthesis of arithmetic circuits FPGA, ASIC and embedded systems için kapak resmi
Synthesis of arithmetic circuits FPGA, ASIC and embedded systems
Yazar 
Deschamps, Jean-Pierre, 1945- Bioul, Géry Jean Antoine. Sutter, Gustavo D. John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471741426
http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
Computer-aided intelligent recognition techniques and applications için kapak resmi
Computer-aided intelligent recognition techniques and applications
Yazar 
Sarfraz, Muhammad. John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/0470094168
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
Verilog coding for logic synthesis için kapak resmi
Verilog coding for logic synthesis
Yazar 
Lee, Weng Fook. John Wiley & Sons, Inc.
Yer Numarası 
ONLINE
Elektronik Erişim 
Available by subscription from Safari Books Online
http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html
John Wiley http://dx.doi.org/10.1002/0471457566
http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736
Book review (E-STREAMS) http://www.e-streams.com/es0704/es0704%5F3161.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
The mechatronics handbook için kapak resmi
The mechatronics handbook
Yazar 
Bishop, Robert H., 1957- ISA--The Instrumentation, Systems, and Automation Society.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Dynamic logic için kapak resmi
Dynamic logic
Yazar 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
Algorithmic and Knowledge-based CAD for VLSI için kapak resmi
Algorithmic and Knowledge-based CAD for VLSI
Yazar 
Taylor, Gaynor, ed. Russell, Gordon, ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCS004E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
237. 
Analogue-digital ASICs Circuit techniques, design tools and applications için kapak resmi
Analogue-digital ASICs Circuit techniques, design tools and applications
Yazar 
Soin, R. S., ed. Maloberti, F., ed. Franca, J., ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCS003E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets