Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(12)
Arnold, Bradford Henry, 1916-
(1)
Astola, Jaakko. author.
(1)
Banerjee, Mohua. editor.
(1)
Calimeri, Francesco. editor.
(1)
Yayın Yılı
-
Konu
Electronic books.
(8)
TECHNOLOGY & ENGINEERING.
(6)
COMPUTERS.
(4)
Electronics.
(4)
Logic, Symbolic and mathematical.
(3)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
32 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logic and boolean algebra için kapak resmi
Logic and boolean algebra
Yazar 
Arnold, Bradford Henry, 1916-
Yer Numarası 
QA 266 A7 1962
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks için kapak resmi
Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks
Yazar 
Lin, Pey-Chang Kent. author. Khatri, Sunil P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4614-9429-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology için kapak resmi
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
Yazar 
Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11682-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Mathematics for digital science. Volume 1, Fundamentals için kapak resmi
Mathematics for digital science. Volume 1, Fundamentals
Yazar 
Cochard, Gerard-Michel, author Hifi, Mhand, author
Yer Numarası 
QA76.9 .M35
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352050
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Applied satisfiability : cryptography, scheduling and coalitional games için kapak resmi
Applied satisfiability : cryptography, scheduling and coalitional games
Yazar 
Liao, Xiaojuan, author. Koshimura, Miyuki, author.
Yer Numarası 
QA76.9 .A3 L53 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249817
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Computing with multi-value logic in quantum dot cellular automata için kapak resmi
Computing with multi-value logic in quantum dot cellular automata
Yazar 
Sabbaghi-Nadooshan, Reza, author.
Yer Numarası 
TK7874.88 .S23 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings için kapak resmi
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Yazar 
Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems için kapak resmi
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Yazar 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Optical and Wireless Technologies Proceedings of OWT 2021 için kapak resmi
Optical and Wireless Technologies Proceedings of OWT 2021
Yazar 
Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-1645-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings için kapak resmi
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Yazar 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Systems biology modelling and analysis : formal bioinformatics methods and tools için kapak resmi
Systems biology modelling and analysis : formal bioinformatics methods and tools
Yazar 
Maria, Elisabetta de, editor.
Yer Numarası 
QH324.2 .S9763 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716600
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: