Limit Search Results
Author
SpringerLink (Online service)
(1296)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
LaMeres, Brock J. author.
(10)
Language
Publication Date
-
Subject
Logic design.
(1202)
Computer science.
(1038)
Software engineering.
(753)
Artificial intelligence.
(390)
Computer Communication Networks.
(297)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1440 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Low-power CMOS circuits : technology, logic design and CAD tools
Low-power CMOS circuits : technology, logic design and CAD tools
Author 
Piguet, Christian, author.
Preferred Shelf Number 
TK7871.99 .M44 P56 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
Author 
Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33459-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
Author 
Alioto, Massimo. author. Palumbo, Gaetano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2888-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logically determined design clockless system design with NULL convention logic
Logically determined design clockless system design with NULL convention logic
Author 
Fant, Karl M.
Preferred Shelf Number 
ONLINE
Electronic Access 
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: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic design for array-based circuits a structured design methodology
Logic design for array-based circuits a structured design methodology
Author 
White, Donnamaie E., 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780127466606
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Interactive relational database design : a logic programming implementation
Interactive relational database design : a logic programming implementation
Author 
Bagchi, Tapan P.
Preferred Shelf Number 
QA 76.9.D26 B34 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Logic design a review of theory and practice
Logic design a review of theory and practice
Author 
Langdon, Glen G.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124365506
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Author 
Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74209-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Author 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
Author 
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73716-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Modern Programmable Interconnect Design
Modern Programmable Interconnect Design
Author 
Nikolić, Stefan. author. (orcid)0000-0002-6831-1740 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80629-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Author 
Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action