Log In
|
My Account
|
My Lists
|
Send a Request
|
Select Language
English
Türkçe
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
Ferit Melen Library
Ilahiyat Library
IIBF Library
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
10
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Author
Include
Exclude
SpringerLink (Online service)
(1601)
Voronkov, Andrei. editor.
(14)
Bonsangue, Marcello M. editor.
(11)
Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)
(9)
Liu, Zhiming. editor.
(8)
Löwe, Benedikt. editor.
(8)
Rozenberg, Grzegorz. editor.
(8)
Bernardo, Marco. editor.
(7)
Steffen, Bernhard. editor.
(7)
de Boer, Frank S. editor.
(7)
de Queiroz, Ruy. editor.
(7)
Gabbay, Dov M. author.
(6)
Gabbay, Dov M. editor.
(6)
Guenthner, Franz. editor.
(6)
Potapov, Igor. editor. (orcid)0000-0002-7192-7853
(6)
Rahman, Shahid. editor.
(6)
Rossi, Francesca. editor.
(6)
Torroni, Paolo. editor.
(6)
Woodcock, Jim. editor.
(6)
Aldini, Alessandro. editor.
(5)
Arbab, Farhad. editor.
(5)
Barthe, Gilles. editor.
(5)
Crnkovic, Ivica. editor.
(5)
Dastani, Mehdi. editor. (orcid)0000-0002-4641-4087
(5)
Gorrieri, Roberto. editor.
(5)
Governatori, Guido. editor.
(5)
Graf, Susanne. editor.
(5)
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
(5)
Meseguer, José. editor.
(5)
Ong, Luke. editor.
(5)
Peña, Ricardo. editor.
(5)
Reed, Rick. editor.
(5)
Rensink, Arend. editor.
(5)
Reussner, Ralf H. editor.
(5)
Schwiegelshohn, Uwe. editor.
(5)
Stafford, Judith A. editor.
(5)
Stenström, Per. editor. (orcid)0000-0002-7441-8245
(5)
Zavattaro, Gianluigi. editor.
(5)
Bravetti, Mario. editor.
(4)
Cooper, Barry S. editor.
(4)
Damiani, Ferruccio. editor.
(4)
Dongarra, Jack. editor.
(4)
Fages, François. editor.
(4)
Farabi, Ebu Nasr Muallim-i Sani Muhammed b. Muhammed B.Tarhan, 339/950
(4)
Fisher, Michael. editor.
(4)
Frachtenberg, Eitan. editor.
(4)
Gerdt, Vladimir P. editor.
(4)
Giannakopoulou, Dimitra. editor.
(4)
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
(4)
Gorton, Ian. editor.
(4)
Grünberg, Teo, 1927-
(4)
Hanus, Michael. editor. (orcid)0000-0002-4953-8202
(4)
Higashino, Teruo. editor.
(4)
Ibarra, Oscar H. editor.
(4)
Jacko, Julie A. editor.
(4)
Karhumäki, Juhani. editor.
(4)
Koepf, Wolfram. editor.
(4)
Legay, Axel. editor.
(4)
Leite, Joao. editor.
(4)
Leite, João. editor.
(4)
Maciaszek, Leszek A. editor.
(4)
Margaria, Tiziana. editor.
(4)
Mayr, Ernst W. editor.
(4)
Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
(4)
Montanari, Ugo. editor.
(4)
Palsberg, Jens. editor.
(4)
Peled, Doron A. editor.
(4)
Petrosino, Alfredo. editor.
(4)
Rosu, Grigore. editor.
(4)
Schürr, Andy. editor. (orcid)0000-0001-8100-1109
(4)
Shasha, Dennis
(4)
Sirjani, Marjan. editor.
(4)
Son, Tran Cao. editor.
(4)
Ungerer, Theo. editor.
(4)
Vasconcelos, Wamberto. editor.
(4)
Veith, Helmut. editor.
(4)
Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399
(4)
Wolf, Karsten. editor.
(4)
Zeugmann, Thomas. editor.
(4)
de Roever, Willem-Paul. editor.
(4)
Agrawal, Manindra. editor.
(3)
Alpuente, María. editor.
(3)
Andreescu, Titu. author.
(3)
Artemov, Sergei. editor.
(3)
Atan, Özkan. danışman.
(3)
Aßmann, Uwe. editor.
(3)
Baldoni, Matteo. editor.
(3)
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
(3)
Bewersdorff, Jörg. author.
(3)
Biere, Armin. editor. (orcid)0000-0001-7170-9242
(3)
Bjørner, Dines. author.
(3)
Boissier, Olivier. editor.
(3)
Bondavalli, Andrea. editor.
(3)
Butler, Michael. editor.
(3)
Butterfield, Andrew. editor.
(3)
Calude, Cristian S. editor.
(3)
Cook, Byron. editor.
(3)
Corradini, Andrea. editor.
(3)
Dawar, Anuj. editor.
(3)
Derrick, John. editor.
(3)
Dignum, Virginia. editor.
(3)
Dingel, Juergen. editor.
(3)
Dix, Jürgen. editor.
(3)
Dompere, Kofi Kissi. author.
(3)
Dowek, Gilles. author.
(3)
Ehrig, Hartmut. editor.
(3)
Fiadeiro, José Luiz. editor.
(3)
Fitzgerald, John. editor.
(3)
Gabbay, Dov M., 1945-
(3)
Giese, Holger. editor.
(3)
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421
(3)
Grumberg, Orna. editor.
(3)
Guelfi, Nicolas. editor.
(3)
Hartman, Alan. editor.
(3)
Hermanns, Holger. editor.
(3)
Hermenegildo, Manuel. editor.
(3)
Hoffmann, Dirk W. author.
(3)
Hofmeister, Christine. editor.
(3)
Horimoto, Katsuhisa. editor.
(3)
Husserl, Edmund. author.
(3)
Hähnle, Reiner. editor.
(3)
Jones, Cliff B. editor.
(3)
Kanamori, Akihiro. editor.
(3)
Kindler, Ekkart. editor.
(3)
Kreowski, Hans-Jörg. editor.
(3)
König, Barbara. editor.
(3)
Leuschel, Michael. editor.
(3)
Li, Angsheng. editor.
(3)
Lopes, Antonia. editor.
(3)
Majumdar, Rupak. editor.
(3)
Marion, Mathieu. editor.
(3)
Markov, Igor L. author.
(3)
Martin-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
(3)
Masulli, Francesco. editor.
(3)
Matson, Eric T. editor.
(3)
Merayo, Mercedes G. editor.
(3)
Meyer, Bertrand. editor.
(3)
Métais, Elisabeth. editor.
(3)
Nerode, Anil. editor.
(3)
Nesin, Ali, 1956-
(3)
Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062
(3)
Omicini, Andrea. editor.
(3)
Orejas, Fernando. editor.
(3)
Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
(3)
Ossowski, Sascha. editor.
(3)
Palamidessi, Catuscia. editor.
(3)
Paschke, Adrian. editor.
(3)
Paulin-Mohring, Christine. editor.
(3)
Pedrycz, Witold. editor.
(3)
Pfenning, Frank. editor.
(3)
Plasil, Frantisek. editor.
(3)
Rahonis, George. editor.
(3)
Rautenberg, Wolfgang. author.
(3)
Rebuschi, Manuel. editor.
(3)
Rybalchenko, Andrey. editor.
(3)
Salaün, Gwen. editor.
(3)
Sardina, Sebastian. editor.
(3)
Schewe, Klaus-Dieter. editor.
(3)
Schmidt, Renate. editor.
(3)
Schätz, Bernhard. editor.
(3)
Seidl, Helmut. editor.
(3)
Seipel, Dietmar. editor.
(3)
Shao, Zhong. editor.
(3)
Simao, Adenilso. editor. (orcid)0000-0002-1454-2607
(3)
Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133
(3)
Staab, Steffen. editor. (orcid)0000-0002-0780-4154
(3)
Steffen, Martin. editor.
(3)
Stephanidis, Constantine. editor.
(3)
Stoelinga, Mariëlle. editor.
(3)
Suárez, Mauricio. editor.
(3)
Szyperski, Clemens. editor.
(3)
Torres, Juan Manuel. editor.
(3)
Vardanega, Tullio. editor.
(3)
Varró, Dániel. editor.
(3)
Virbitskaite, Irina. editor.
(3)
Wallis, W.D. author.
(3)
Wansing, Heinrich. editor.
(3)
Winikoff, Michael. editor.
(3)
Wirsing, Martin. editor.
(3)
Wolff, Burkhart. editor.
(3)
Yakovlev, Alex. editor.
(3)
Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143
(3)
van Benthem, Johan. editor.
(3)
van der Hoek, Wiebe. editor.
(3)
Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721
(3)
Abdulla, Parosh Aziz. editor.
(2)
Aceto, Luca. editor.
(2)
Agotnes, Thomas. editor.
(2)
Aigner, Martin. author.
(2)
Ait Ameur, Yamine. editor.
(2)
Akbayır, Kamil. danışman.
(2)
Albert, Elvira. editor.
(2)
Ali Sedad, 1857-1900.
(2)
Aloni, Maria. editor.
(2)
Arsan, Taner
(2)
Astola, Jaakko. author.
(2)
Azemard, Nadine. editor.
(2)
Baader, Franz. editor.
(2)
Baral, Chitta. editor.
(2)
Barkalov, Alexander. author.
(2)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(1595)
Turkish
(110)
German
(62)
Arabic
(26)
Italian
(6)
French
(1)
OTT
(1)
More
View All
Fewer
Collapse All
Publication Date
Include
Exclude
-
2011
(196)
2012
(179)
2013
(177)
2014
(171)
2007
(160)
2010
(159)
2009
(158)
2005
(157)
2006
(152)
2008
(137)
2002
(11)
2019
(11)
2022
(11)
2004
(10)
1998
(9)
2003
(9)
2000
(8)
2001
(8)
2023
(7)
2020
(6)
2018
(5)
1966
(4)
1985
(4)
1992
(4)
1997
(4)
2016
(4)
2021
(4)
1999
(3)
2017
(3)
1968
(2)
1975
(2)
1976
(2)
1980
(2)
1995
(2)
1996
(2)
2015
(2)
1327
(1)
1942
(1)
1962
(1)
1970
(1)
1977
(1)
1981
(1)
1990
(1)
1993
(1)
1994
(1)
2024
(1)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Computer science.
(1061)
Computer Science Logic and Foundations of Programming.
(982)
Software engineering.
(753)
Formal Languages and Automata Theory.
(611)
Machine theory.
(611)
Compilers (Computer programs).
(561)
Compilers and Interpreters.
(561)
Artificial intelligence.
(409)
Computer programming.
(407)
Programming Techniques.
(407)
Theory of Computation.
(329)
Computer networks .
(306)
Computer Communication Networks.
(287)
Mathematical logic.
(259)
Mathematical Logic and Foundations.
(258)
Algorithms.
(219)
Computer science-Mathematics.
(214)
Logic.
(188)
Discrete mathematics.
(122)
Electronic data processing-Management.
(99)
IT Operations.
(99)
Discrete Mathematics in Computer Science.
(97)
Logic design.
(86)
Mathematics.
(85)
Application software.
(84)
Computer and Information Systems Applications.
(84)
Symbolic and Algebraic Manipulation.
(74)
Philosophy of Science.
(69)
Science-Philosophy.
(69)
Mathematics of Computing.
(60)
Arithmetic and Logic Structures.
(57)
Computer arithmetic and logic units.
(57)
Operating Systems.
(56)
Operating systems (Computers).
(56)
Computer Modelling.
(55)
Computer simulation.
(55)
Computers, Special purpose.
(53)
Special Purpose and Application-Based Systems.
(53)
Epistemology.
(51)
Knowledge, Theory of.
(51)
Philosophy.
(51)
Information Storage and Retrieval.
(49)
Information storage and retrieval systems.
(49)
Computer System Implementation.
(44)
Computer systems.
(44)
Computer architecture.
(42)
Electronic Circuits and Systems.
(40)
Electronic circuits.
(40)
Microprocessors.
(40)
Processor Architectures.
(40)
History.
(38)
Electronic digital computers-Evaluation.
(36)
History of Mathematical Sciences.
(36)
System Performance and Evaluation.
(36)
Artificial intelligence-Data processing.
(35)
Data Science.
(35)
Algebra.
(33)
Human-computer interaction.
(33)
Language and languages-Philosophy.
(33)
Philosophy of Language.
(33)
User Interfaces and Human Computer Interaction.
(33)
User interfaces (Computer systems).
(33)
Computer Engineering and Networks.
(29)
Computer engineering.
(29)
Models of Computation.
(29)
Numerical analysis.
(28)
Data Mining and Knowledge Discovery.
(27)
Data mining.
(27)
Database management.
(27)
Information theory.
(26)
History of Philosophy.
(24)
Metaphysics.
(24)
Number theory.
(24)
Philosophy-History.
(24)
Engineering mathematics.
(23)
Engineering-Data processing.
(23)
Mantık
(23)
Mathematical and Computational Engineering Applications.
(23)
Computer vision.
(22)
Data and Information Security.
(22)
Data protection.
(22)
Electronics.
(22)
Applications of Mathematics.
(21)
Electronics and Microelectronics, Instrumentation.
(21)
Mathematical statistics.
(21)
Natural Language Processing (NLP).
(21)
Natural language processing (Computer science).
(21)
Probability and Statistics in Computer Science.
(21)
Computer-Aided Engineering (CAD, CAE) and Design.
(20)
Computer-aided engineering.
(20)
Computers.
(20)
Probabilities.
(20)
Linguistics.
(19)
Logic
(19)
Multimedia systems.
(19)
Probability Theory.
(19)
Multimedia Information Systems.
(18)
Computational intelligence.
(17)
Mathematical Applications in Computer Science.
(16)
Bioinformatics.
(15)
Business information services.
(15)
Coding and Information Theory.
(15)
Coding theory.
(15)
Electrical engineering.
(15)
Game theory.
(15)
History of Science.
(15)
IT in Business.
(15)
Law-Philosophy.
(15)
Ontology.
(15)
Philosophy, Modern.
(15)
Science-History.
(15)
Computational and Systems Biology.
(14)
Computers and Society.
(14)
Computers and civilization.
(14)
Control engineering.
(14)
Electrical and Electronic Engineering.
(14)
Analysis.
(13)
Automated Pattern Recognition.
(13)
Computer input-output equipment.
(13)
Input/Output and Data Communications.
(13)
Mathematical analysis.
(13)
Operations research.
(13)
Pattern recognition systems.
(13)
Semiotics.
(13)
Computer Application in Administrative Data Processing.
(12)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(12)
Early Modern Philosophy.
(12)
Felsefe, İslam
(12)
Hardware Performance and Reliability.
(12)
Image processing-Digital techniques.
(12)
Information technology-Management.
(12)
Law-History.
(12)
Mantık, İslam
(12)
Theories of Law, Philosophy of Law, Legal History.
(12)
Computer Hardware.
(11)
Cryptography.
(11)
Cryptology.
(11)
Data Structures and Information Theory.
(11)
Data encryption (Computer science).
(11)
Data structures (Computer science).
(11)
Econometrics.
(11)
Logic, Symbolic and mathematical
(11)
Order, Lattices, Ordered Algebraic Structures.
(11)
Philosophy of mind.
(11)
Topology.
(11)
Computational linguistics.
(10)
Geometry.
(10)
Logic, Islamic
(10)
Mantık.
(10)
Mathematics-Data processing.
(10)
Phenomenology.
(10)
Phenomenology .
(10)
Philosophy, Islamic
(10)
Algebraic geometry.
(9)
Control and Systems Theory.
(9)
Management science.
(9)
Operations Research and Decision Theory.
(9)
Quantitative Economics.
(9)
System theory.
(9)
Control Structures and Microprogramming.
(8)
Ethics.
(8)
Microprogramming .
(8)
Moral Philosophy and Applied Ethics.
(8)
Philosophy of Law.
(8)
Sociology.
(8)
Statistics .
(8)
Automation.
(7)
Computational Science and Engineering.
(7)
Computer Memory Structure.
(7)
Computer graphics.
(7)
Computer storage devices.
(7)
Control, Robotics, Automation.
(7)
Engineering design.
(7)
Functional analysis.
(7)
Mantık, sembolik ve matematiksel
(7)
Mathematical physics.
(7)
Memory management (Computer science).
(7)
Philosophy and social sciences.
(7)
Philosophy of the Social Sciences.
(7)
Quantum physics.
(7)
Robotics.
(7)
Van Yüzüncü Yıl Üniversitesi -- Sosyal Bilimler Enstitüsü.
(7)
Algebra, Homological.
(6)
Applied linguistics.
(6)
Category Theory, Homological Algebra.
(6)
Cognitive psychology.
(6)
Computers-History.
(6)
History of Computing.
(6)
Mantık, Sembolik ve matematiksel
(6)
Mathematics
(6)
Operations Research, Management Science .
(6)
Political science.
(6)
Pragmatism.
(6)
Signal processing.
(6)
Signal, Speech and Image Processing .
(6)
Theoretical Linguistics / Grammar.
(6)
Bilgisayar programları_Otomatik kontrol
(5)
Biology-Philosophy.
(5)
Communications Engineering, Networks.
(5)
Computer programs_Automatic control
(5)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
Book
E-Book
Rare Books
Reference Book
Thesis
Shelf Location
Include
Exclude
1:ILAGENEL
1:STACKS
Elsevier E-Book Collection
General Collection
Rare Book Collection
Reference Collection
Springer E-Book Collection
Thesis Collection
Turcademy E-Book Collection
More
View All
Fewer
Collapse All
Library
Include
Exclude
Ferit Melen Library
Ilahiyat Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1801 Results Found
1
..
147
148
149
150
151
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
0
DEFAULT
Select a list
Temporary List
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
One or more items could not be added because you are not logged in.
1801.
Mantık metinleri 1 : Türkçe mantık hulasası ;muhtasar mantık ;hulasa-i mantık ;mizanu’l- ezhan
Mantık metinleri 1 : Türkçe mantık hulasası ;muhtasar mantık ;hulasa-i mantık ;mizanu’l- ezhan
by
Büyükçoşkun, Kudret. hazırlayan.
Format:
Excerpt:
Logic
Marc View
SD_ILS:206465
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
..
147
148
149
150
151
