Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
1. 
An introduction to practical formal methods using temporal logic için kapak resmi
An introduction to practical formal methods using temporal logic
Yazar 
Fisher, Michael, 1962-
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781119991472
http://proquest.safaribooksonline.com/?fpi=9780470027882
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
http://proquest.safaribooksonline.com/9780470027882
Volltext http://proquest.tech.safaribooksonline.de/9780470027882
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Theorems, corollaries, lemmas, and methods of proof için kapak resmi
Theorems, corollaries, lemmas, and methods of proof
Yazar 
Rossi, Richard J., 1956-
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library Click here to view book
John Wiley http://dx.doi.org/10.1002/9781118031575
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html
http://site.ebrary.com/lib/alltitles/Doc?id=10503020
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logically determined design clockless system design with NULL convention logic için kapak resmi
Logically determined design clockless system design with NULL convention logic
Yazar 
Fant, Karl M.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471702897
MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc
Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Learning to reason an introduction to logic, sets and relations için kapak resmi
Learning to reason an introduction to logic, sets and relations
Yazar 
Rodgers, Nancy, 1941-
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets için kapak resmi
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Yazar 
Gregg, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: