Limit Search Results
Author
SpringerLink (Online service)
(137)
Project Muse.
(4)
Bouchon-Meunier, Bernadette. editor.
(3)
Laurent, Anne. editor.
(3)
Strauss, Olivier. editor.
(3)
Language
Subject
Computer logic.
(88)
Mathematical logic.
(76)
Software engineering.
(65)
Artificial intelligence.
(45)
Programming languages (Electronic computers).
(44)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
187 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for The limits of science : outline of logic and of the methodology of the exact sciences
The limits of science : outline of logic and of the methodology of the exact sciences
Author 
Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number 
Q 175 C494 1948 A (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for Postmodernism, or, The cultural logic of late capitalism
Postmodernism, or, The cultural logic of late capitalism
Author 
Jameson, Fredric.
Preferred Shelf Number 
PN 98.P67 J3 1991
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
15. 
Cover image for Presidents and terminal logic behavior term limits and executive action in the United States, Brazil, and Argentina
Presidents and terminal logic behavior term limits and executive action in the United States, Brazil, and Argentina
Author 
Kehoe, Genevieve M., 1979- author. Project Muse.
Preferred Shelf Number 
ONLINE(322990.1)
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Seizing power the strategic logic of military coups
Seizing power the strategic logic of military coups
Author 
Singh, Naunihal. Project Muse.
Preferred Shelf Number 
ONLINE(322955.1)
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Introduction to type-2 fuzzy logic control : theory and applications
Introduction to type-2 fuzzy logic control : theory and applications
Author 
Mendel, Jerry M., 1938- author. Hagras, Hani, author. Tan, Woei-Wan, author. Melek, William W., author. Ying, Hao, 1958- author.
Preferred Shelf Number 
ONLINE(341947.1)
Electronic Access 
CLICK HERE for online access
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1710961
ebrary http://site.ebrary.com/id/10882750
John Wiley http://dx.doi.org/10.1002/9781118886540
MyiLibrary http://www.myilibrary.com?id=618887
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Building a programmable logic controller with a PIC16F648A microcontroller
Building a programmable logic controller with a PIC16F648A microcontroller
Author 
Uzam, Murat, author.
Preferred Shelf Number 
ONLINE(342576.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Foundations of fuzzy logic and semantic web languages
Foundations of fuzzy logic and semantic web languages
Author 
Straccia, Umberto.
Preferred Shelf Number 
ONLINE(342752.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Marx's Capital and Hegel's Logic : a reexamination
Marx's Capital and Hegel's Logic : a reexamination
Author 
Moseley, Fred, 1946- Smith, Tony, 1951-
Preferred Shelf Number 
HB501.M37 M392 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
21. 
Cover image for The limits of neoliberalism : authority, sovereignty and the logic of competition
The limits of neoliberalism : authority, sovereignty and the logic of competition
Author 
Davies, William, 1976- author.
Preferred Shelf Number 
HB95 D384 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
22. 
Cover image for Formal logic, or, The calculus of inference, necessary and probable
Formal logic, or, The calculus of inference, necessary and probable
Author 
De Morgan, Augustus, 1806-1871, author.
Preferred Shelf Number 
BC135 D4 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
23. 
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:
24. 
Cover image for Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Dowek, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08918-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action