Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Dil
Yayın Yılı
-
Konu
Computer science.
(1244)
Logic design.
(1145)
Software engineering.
(876)
Artificial intelligence.
(653)
Computer Communication Networks.
(299)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
2814 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Tense and Tense Logic için kapak resmi
Tense and Tense Logic
Yazar 
Clifford, John E., author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110871036
https://www.degruyter.com/isbn/9783110871036
Cover https://www.degruyter.com/document/cover/isbn/9783110871036/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Molecular logic-based computation için kapak resmi
Molecular logic-based computation
Yazar 
Silva, A. Prasanna de.
Yer Numarası 
ONLINE(343059.1)
Elektronik Erişim 
Check for Full Text Access restricted: MSVU users only
Royal Society of Chemistry http://dx.doi.org/10.1039/9781849733021
ebrary http://site.ebrary.com/id/10640412
http://swb.eblib.com/patron/FullRecord.aspx?p=1185759
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logic and Integer Programming için kapak resmi
Logic and Integer Programming
Yazar 
Williams, H. Paul. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-92280-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logic design of nanoICs için kapak resmi
Logic design of nanoICs
Yazar 
Yanushkevich, Svetlana N., author. Shmerko, Vlad P. Lyshevski, Sergey Edward.
Yer Numarası 
TK7874.8 .Y36 2005
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Logic and information flow için kapak resmi
Logic and information flow
Yazar 
Eijck, J. van (Jan) Visser, Albert.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic IC master reference için kapak resmi
Logic IC master reference
Yazar 
Heiserman, David L., 1940-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123380500
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Logic, automata, and algorithms için kapak resmi
Logic, automata, and algorithms
Yazar 
Aĭzerman, M. A. (Mark Aronovich), 1913-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Hybrid Logic and its Proof-Theory için kapak resmi
Hybrid Logic and its Proof-Theory
Yazar 
Braüner, Torben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
A grammatical view of logic programming için kapak resmi
A grammatical view of logic programming
Yazar 
Deransart, Pierre. Małuszyński, J. (Jan), 1941-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Gentzen Calculi for Modal Propositional Logic için kapak resmi
Gentzen Calculi for Modal Propositional Logic
Yazar 
Poggiolesi, Francesca. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-9670-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Handbook of Philosophical Logic Volume 16 için kapak resmi
Handbook of Philosophical Logic Volume 16
Yazar 
Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0479-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Handbook of logic and language için kapak resmi
Handbook of logic and language
Yazar 
Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets