Search Results for Logic.

|

Kütüphane Hesabım

|

|

İstek Oluştur

|

Dili değiştir

English
Türkçe

|

|

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

10

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

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)

(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)

(2)

Astola, Jaakko. author.

(2)

Azemard, Nadine. editor.

(2)

Baader, Franz. editor.

(2)

Baral, Chitta. editor.

(2)

Barkalov, Alexander. author.

(2)

Tümünü genişlet

Dil

(1595)

(110)

(62)

(26)

(6)

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(196)

(179)

(177)

(171)

(160)

(159)

(158)

(157)

(152)

(137)

(11)

(11)

(11)

(10)

(9)

(9)

(8)

(8)

(7)

(6)

(5)

(4)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

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)

(219)

Computer science-Mathematics.

(214)

(188)

Discrete mathematics.

(122)

Electronic data processing-Management.

(99)

(99)

Discrete Mathematics in Computer Science.

(97)

(86)

(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)

(51)

Knowledge, Theory of.

(51)

(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)

(38)

Electronic digital computers-Evaluation.

(36)

History of Mathematical Sciences.

(36)

System Performance and Evaluation.

(36)

Artificial intelligence-Data processing.

(35)

(35)

(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)

(27)

Database management.

(27)

Information theory.

(26)

History of Philosophy.

(24)

(24)

(24)

Philosophy-History.

(24)

Engineering mathematics.

(23)

Engineering-Data processing.

(23)

(23)

Mathematical and Computational Engineering Applications.

(23)

Computer vision.

(22)

Data and Information Security.

(22)

Data protection.

(22)

(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)

(20)

(20)

(19)

(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)

(15)

Electrical engineering.

(15)

(15)

History of Science.

(15)

IT in Business.

(15)

Law-Philosophy.

(15)

(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)

(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)

(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)

(12)

Mantık, İslam

(12)

Theories of Law, Philosophy of Law, Legal History.

(12)

Computer Hardware.

(11)

(11)

(11)

Data Structures and Information Theory.

(11)

Data encryption (Computer science).

(11)

Data structures (Computer science).

(11)

(11)

Logic, Symbolic and mathematical

(11)

Order, Lattices, Ordered Algebraic Structures.

(11)

Philosophy of mind.

(11)

(11)

Computational linguistics.

(10)

(10)

(10)

(10)

Mathematics-Data processing.

(10)

(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)

(9)

Control Structures and Microprogramming.

(8)

(8)

Microprogramming .

(8)

Moral Philosophy and Applied Ethics.

(8)

Philosophy of Law.

(8)

(8)

(8)

(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)

(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)

(6)

Operations Research, Management Science .

(6)

Political science.

(6)

(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)

Tümünü genişlet

Materyal Türü

Shelf Location

Elsevier E-Kitap Koleksiyonu

Genel Koleksiyon

Nadir Eserler Koleksiyonu

Referans Koleksiyonu

Springer E-Kitap Koleksiyonu

Tez Koleksiyonu

Turcademy E-Kitap Koleksiyonu

İlahiyet Genel Koleksiyon

Tümünü genişlet

Kütüphane

Ferit Melen Kütüphanesi

İlahiyat Kütüphanesi

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1801 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 147 148 149 150 151

000000000000DEFAULT

Yazdır

Liste seç

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.

1789.

Aklın idaresi için kurallar = regulae and directionen ingenii için kapak resmi

Aklın idaresi için kurallar = regulae and directionen ingenii

Aklın idaresi için kurallar = regulae and directionen ingenii

by

Descartes, René, 1596-1650

Format:

Alıntı:

Logic, Symbolic and mathematical

SD_ILS:51307

1790.

Mantık dersleri için kapak resmi

Mantık dersleri

Mantık dersleri

by

Yücel, Hasan-Âli, 1897-1961

Format:

Alıntı:

Logic_Textbooks

SD_ILS:57915

1791.

Mantık tarihi için kapak resmi

by

Ülken, Hilmi Ziya, 1901-1974

Format:

Alıntı:

Logic_ History

SD_ILS:59104

1792.

Mizanül Mantık için kapak resmi

Mizanül Mantık

Mizanül Mantık

by

Ali bin ömer es sivasi

Format:

Alıntı:

Logic

SD_ILS:204944

1793.

eş-Şifa : el-mantık için kapak resmi

eş-Şifa : el-mantık

eş-Şifa : el-mantık

by

Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)

Format:

Alıntı:

Logic, Islamic

SD_ILS:24367

1794.

eş-Şifa : el-mantık için kapak resmi

eş-Şifa : el-mantık

eş-Şifa : el-mantık

by

Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)

Format:

Alıntı:

Logic, Islamic

SD_ILS:24368

1795.

eş-Şifa : el-ilahiyyat için kapak resmi

eş-Şifa : el-ilahiyyat

eş-Şifa : el-ilahiyyat

by

Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)

Format:

Alıntı:

Logic, Islamic

SD_ILS:24371

1796.

eş-Şifa : el-fennü’l-evvel min cümleti’l-ilmi’r-riyazi usul; er-Riyaziyat : cevamiu ilmi’l-musiki; el-Fennü’s-sani fî’r-riyaziyat : el-hesab için kapak resmi

eş-Şifa : el-fennü’l-evvel min cümleti’l-ilmi’r-riyazi usul; er-Riyaziyat : cevamiu ilmi’l-musiki; el-Fennü’s-sani fî’r-riyaziyat : el-hesab

eş-Şifa : el-fennü’l-evvel min cümleti’l-ilmi’r-riyazi usul; er-Riyaziyat : cevamiu ilmi’l-musiki; el-Fennü’s-sani fî’r-riyaziyat : el-hesab

by

Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)

Format:

Alıntı:

Logic, Islamic

SD_ILS:24372

1797.

eş-Şifa : er-riyaziyyat; ilmü’l-hey’e için kapak resmi

eş-Şifa : er-riyaziyyat; ilmü’l-hey’e

eş-Şifa : er-riyaziyyat; ilmü’l-hey’e

by

Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)

Format:

Alıntı:

Logic, Islamic

SD_ILS:24373

1798.

eş-Şifa : et-tabiiyyat : es-Semaü’t-tabii için kapak resmi

eş-Şifa : et-tabiiyyat : es-Semaü’t-tabii

eş-Şifa : et-tabiiyyat : es-Semaü’t-tabii

by

Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)

Format:

Alıntı:

Logic, Islamic

SD_ILS:24374

1799.

PLC ve uygulamaları : programlanabilir lojik kontrol için kapak resmi

PLC ve uygulamaları : programlanabilir lojik kontrol

PLC ve uygulamaları : programlanabilir lojik kontrol

by

Teközgen, Erdoğan

Http://www.birsenyayin.com

Format:

Alıntı:

PLC (Programmable logic controllers)

SD_ILS:74738

1800.

PLC ve uygulamaları : programlanabilir lojik kontrol için kapak resmi

PLC ve uygulamaları : programlanabilir lojik kontrol

PLC ve uygulamaları : programlanabilir lojik kontrol

by

Teközgen, Erdoğan

Http://www.birsenyayin.com

Format:

Alıntı:

PLC (Programmable logic controllers)

SD_ILS:77696

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 147 148 149 150 151

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)