Limit Search Results
Author
SpringerLink (Online service)
(202)
Legay, Axel. editor.
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Ait Ameur, Yamine. editor.
(2)
Artho, Cyrille. editor.
(2)
Language
English
(237)
Publication Date
-
Subject
Computer logic.
(160)
Software engineering.
(100)
Artificial intelligence.
(75)
Mathematical logic.
(66)
Programming languages (Electronic computers).
(59)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
237 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer logic design
Computer logic design
Author 
Mano, M. Morris, 1927-
Preferred Shelf Number 
TK 7868.S9 M275 1972
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
2. 
Cover image for Logic for Computer Scientists
Logic for Computer Scientists
Author 
Schöning, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamentals of computer logic
Fundamentals of computer logic
Author 
Hutchison, David.
Preferred Shelf Number 
TK 7888.4 H97 1981
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Linear Logic in Computer Science
Linear Logic in Computer Science
Author 
Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
Author 
Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic and computer design fundamentals
Logic and computer design fundamentals
Author 
Mano, M. Morris Kime, Charles R., ort. yaz.
Preferred Shelf Number 
TK7888.4 M36 2008
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
7. 
Cover image for Logic and computer design fundamentals
Logic and computer design fundamentals
Author 
Mano, M. Morris Kime, Charles R., ort. yaz.
Preferred Shelf Number 
TK 7888.4 M36 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Arithmetic and logic in computer systems
Arithmetic and logic in computer systems
Author 
Lu, Mi.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Full text available from Wiley InterScience
Authentication may be required
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer architecture and logic design
Computer architecture and logic design
Author 
Bartee, Thomas C.
Preferred Shelf Number 
QA 76.9.A73 B374 1991
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Digital logic and computer design
Digital logic and computer design
Author 
Mano, M. Morris.
Preferred Shelf Number 
TK 7888.3 M345 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
Cover image for Analog/logic computer programming and simulation
Analog/logic computer programming and simulation
Author 
Ricci, Fred J.
Preferred Shelf Number 
QA 76.4 R53 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
12. 
Cover image for Logic Functions and Equations Binary Models for Computer Science
Logic Functions and Equations Binary Models for Computer Science
Author 
Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action