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
49. 
Cover image for Nonlinear biomedical signal processing
Nonlinear biomedical signal processing
Author 
Akay, Metin.
Preferred Shelf Number 
QT 26.5 N813 2000-
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
50. 
Cover image for Communication : a philosophical study of language
Communication : a philosophical study of language
Author 
Britton, Karl, 1909-
Preferred Shelf Number 
P 105 B75 1939 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
51. 
Cover image for Dialectic
Dialectic
Author 
Adler, Mortimer Jerome, 1902-
Preferred Shelf Number 
BC 177 A4 1927 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
52. 
Cover image for The logical syntax of language
The logical syntax of language
Author 
Carnap, Rudolf, 1891-1970.
Preferred Shelf Number 
BC 135 C323 1937 P (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
53. 
Cover image for Nonlinear biomedical signal processing
Nonlinear biomedical signal processing
Author 
Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number 
R 857.S47 N66 2000- V.2
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
54. 
Cover image for İslam mantık tarihi ve Farabi mantığı
İslam mantık tarihi ve Farabi mantığı
Author 
Keklik, Nihat.
Preferred Shelf Number 
BC 34 K4 1969-70
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
55. 
Cover image for Police and profiling in the United States applying theory to criminal investigations
Police and profiling in the United States applying theory to criminal investigations
Author 
Barrow, Lauren M., 1968- Rufo, Ron A.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mantık bilimi : (büyük mantık)
Mantık bilimi : (büyük mantık)
Author 
Hegel, Georg Wilhelm Friedrich Yardımlı, Aziz.
Preferred Shelf Number 
B2942 H445 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
57. 
Cover image for Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Author 
Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44121-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Author 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Author 
George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action