Limit Search Results
Author
SpringerLink (Online service)
(12)
Arnold, Bradford Henry, 1916-
(1)
Astola, Jaakko. author.
(1)
Banerjee, Mohua. editor.
(1)
Calimeri, Francesco. editor.
(1)
Publication Date
-
Subject
Electronic books.
(8)
TECHNOLOGY & ENGINEERING.
(6)
COMPUTERS.
(4)
Electronics.
(4)
Logic, Symbolic and mathematical.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
32 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic and boolean algebra
Logic and boolean algebra
Author 
Arnold, Bradford Henry, 1916-
Preferred Shelf Number 
QA 266 A7 1962
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks
Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks
Author 
Lin, Pey-Chang Kent. author. Khatri, Sunil P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-9429-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
Author 
Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Applied satisfiability : cryptography, scheduling and coalitional games
Applied satisfiability : cryptography, scheduling and coalitional games
Author 
Liao, Xiaojuan, author. Koshimura, Miyuki, author.
Preferred Shelf Number 
QA76.9 .A3 L53 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249817
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics for digital science. Volume 1, Fundamentals
Mathematics for digital science. Volume 1, Fundamentals
Author 
Cochard, Gerard-Michel, author Hifi, Mhand, author
Preferred Shelf Number 
QA76.9 .M35
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352050
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computing with multi-value logic in quantum dot cellular automata
Computing with multi-value logic in quantum dot cellular automata
Author 
Sabbaghi-Nadooshan, Reza, author.
Preferred Shelf Number 
TK7874.88 .S23 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Author 
Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Author 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Optical and Wireless Technologies Proceedings of OWT 2021
Optical and Wireless Technologies Proceedings of OWT 2021
Author 
Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1645-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for 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
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
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Symbolic approaches to modeling and analysis of biological systems
Symbolic approaches to modeling and analysis of biological systems
Author 
Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.
Preferred Shelf Number 
QH324.2 .S96 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets