Skip to:
Search Results
|
Bottom
|
Search Facets
|
Content
Giriş
|
Kütüphane Hesabım
|
Listelerim
|
İstek Oluştur
|
Dili değiştir
English
Türkçe
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
Ferit Melen Kütüphanesi
İlahiyat Kütüphanesi
İİBF Kütüphanesi
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
15
Search Field
Tüm Alanlar
Target Value
Limit Value
Restriction Value
Arama:
Gelişmiş Arama
Arama Sonuçlarını Sınırlandır
Yazar
Dahil
Hariç
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)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(1595)
Turkish
(110)
German
(62)
Arabic
(26)
Italian
(6)
French
(1)
OTT
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Yayın Yılı
Dahil
Hariç
-
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)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
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)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Kitap
Nadir Eser
Referans Kitap
Tez
Shelf Location
Dahil
Hariç
Elsevier E-Kitap Koleksiyonu
Genel Koleksiyon
Nadir Eserler Koleksiyonu
Referans Koleksiyonu
Springer E-Kitap Koleksiyonu
Stacks
Tez Koleksiyonu
Turcademy E-Kitap Koleksiyonu
İlahiyet Genel Koleksiyon
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Kütüphane
Dahil
Hariç
Ferit Melen Kütüphanesi
İlahiyat Kütüphanesi
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1801 sonuç bulundu
1
..
147
148
149
150
151
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
0
DEFAULT
Liste seç
Geçici Liste
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
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:
Alıntı:
Logic
Marc View
SD_ILS:206465
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
147
148
149
150
151
Go to:
Search Results
|
Search Facets
|
Top of Page
