Search Results for Logic.

|

|

|

|

Select Language

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

Search For:

Advanced Search

Limit Search Results

Author

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)

Language

(1595)

(109)

(62)

(26)

(6)

(1)

(1)

Publication Date

-

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

Subject

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)

Material Type

Shelf Location

Elsevier E-Book Collection

General Collection

Rare Book Collection

Reference Collection

Springer E-Book Collection

Thesis Collection

Turcademy E-Book Collection

Library

Ferit Melen Library

Ilahiyat Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1800 Results Found

Subscribe to search results

1 .. 146 147 148 149 150

000000000000DEFAULT

Print

Select a 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.

1789.

Cover image for Mantık dersleri

Mantık dersleri

Mantık dersleri

by

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

Format:

Excerpt:

Logic_Textbooks

SD_ILS:57915

1790.

Cover image for Mantık tarihi

by

Ülken, Hilmi Ziya, 1901-1974

Format:

Excerpt:

Logic_ History

SD_ILS:59104

1791.

Cover image for Mizanül Mantık

Mizanül Mantık

Mizanül Mantık

by

Ali bin ömer es sivasi

Format:

Excerpt:

Logic

SD_ILS:204944

1792.

Cover image for eş-Şifa : el-mantık

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:

Excerpt:

Logic, Islamic

SD_ILS:24367

1793.

Cover image for eş-Şifa : el-mantık

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:

Excerpt:

Logic, Islamic

SD_ILS:24368

1794.

Cover image for eş-Şifa : el-ilahiyyat

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:

Excerpt:

Logic, Islamic

SD_ILS:24371

1795.

Cover image for 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

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:

Excerpt:

Logic, Islamic

SD_ILS:24372

1796.

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

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:

Excerpt:

Logic, Islamic

SD_ILS:24373

1797.

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

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:

Excerpt:

Logic, Islamic

SD_ILS:24374

1798.

Cover image for PLC ve uygulamaları : programlanabilir lojik kontrol

PLC ve uygulamaları : programlanabilir lojik kontrol

PLC ve uygulamaları : programlanabilir lojik kontrol

by

Teközgen, Erdoğan

Http://www.birsenyayin.com

Format:

Excerpt:

PLC (Programmable logic controllers)

SD_ILS:74738

1799.

Cover image for PLC ve uygulamaları : programlanabilir lojik kontrol

PLC ve uygulamaları : programlanabilir lojik kontrol

PLC ve uygulamaları : programlanabilir lojik kontrol

by

Teközgen, Erdoğan

Http://www.birsenyayin.com

Format:

Excerpt:

PLC (Programmable logic controllers)

SD_ILS:77696

1800.

Cover image for 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

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

SD_ILS:206465

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 146 147 148 149 150

Copyright 2016 SirsiDynix - Portfolio Version 4.5 (36068)