Log In
|
My Account
|
My Lists
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
E-Book
Journals
Beytepe Library
Health Sciences Library
Conservatory Library
Law Library
Social Sciences Vocational High School
DVD Collection
Prof.Dr. Onur Bilge Kula Collection
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
ISSN
8
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Author
Include
Exclude
SpringerLink (Online service)
(2670)
Project Muse.
(22)
Kacprzyk, Janusz. editor.
(19)
Voronkov, Andrei. editor.
(19)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(12)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(12)
Bonsangue, Marcello M. editor.
(11)
LaMeres, Brock J. author.
(11)
Potapov, Igor. editor.
(11)
Boer, Frank S. editor.
(10)
Castillo, Oscar. editor.
(10)
Gandomi, Amir H. editor.
(10)
Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589
(10)
Rozenberg, Grzegorz. editor.
(10)
Saraswat, Mukesh. editor.
(10)
Yadav, Rajendra Prasad. editor.
(10)
Legay, Axel. editor.
(9)
Woods, John (John Hayden)
(9)
Barthe, Gilles. editor.
(8)
Bernardo, Marco. editor.
(8)
Dix, Jürgen. editor.
(8)
Leite, João. editor.
(8)
Liu, Zhiming. editor.
(8)
Löwe, Benedikt. editor.
(8)
Martín-Vide, Carlos. editor.
(8)
Melin, Patricia. editor.
(8)
Baldoni, Matteo. editor.
(7)
Cooper, S. Barry. editor.
(7)
Governatori, Guido. editor.
(7)
Liu, Shaoying. editor.
(7)
Mostowski, Andrzej.
(7)
Pedrycz, Witold. editor.
(7)
Peña, Ricardo. editor.
(7)
Queiroz, Ruy. editor.
(7)
Son, Tran Cao. editor.
(7)
Taylor and Francis.
(7)
Torroni, Paolo. editor.
(7)
Woodcock, Jim. editor.
(7)
Yager, Ronald R. editor.
(7)
Ölveczky, Peter Csaba. editor.
(7)
Bansal, Jagdish Chand. editor.
(6)
Bekki, Daisuke. editor.
(6)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(6)
Calude, Cristian S. editor.
(6)
Castillo, Oscar. author. (orcid)0000-0002-7385-5689
(6)
Das, Kedar Nath. editor.
(6)
Dastani, Mehdi. editor.
(6)
Dediu, Adrian-Horia. editor.
(6)
Fages, François. editor.
(6)
Fiadeiro, José Luiz. editor.
(6)
Gabbay, Dov M. author.
(6)
Graf, Susanne. editor.
(6)
Hähnle, Reiner. editor.
(6)
Jain, Lakhmi C. editor.
(6)
Majumdar, Rupak. editor.
(6)
Melin, Patricia. author. (orcid)0000-0001-5798-1426
(6)
Meseguer, José. editor.
(6)
Ong, Luke. editor.
(6)
Pant, Millie. editor.
(6)
Rahman, Shahid. editor.
(6)
Rensink, Arend. editor.
(6)
Roman, Dumitru. editor.
(6)
Seising, Rudolf. editor.
(6)
Stafford, Judith A. editor.
(6)
Steffen, Bernhard. editor.
(6)
Stenström, Per. editor.
(6)
Aldini, Alessandro. editor.
(5)
Arbab, Farhad. editor.
(5)
Artho, Cyrille. editor.
(5)
Beckert, Bernhard. editor.
(5)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(5)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(5)
Butler, Michael. editor.
(5)
Castillo, Oscar. author.
(5)
Castillo, Oscar. editor. (orcid)0000-0002-7385-5689
(5)
Cevik Onar, Sezi. editor.
(5)
Chen, Wai-Kai, 1936-
(5)
Crnkovic, Ivica. editor.
(5)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(5)
Duan, Zhenhua. editor.
(5)
Filipe, Joaquim. editor.
(5)
Finkbeiner, Bernd. editor.
(5)
Gabbay, Dov M. editor.
(5)
Gerdt, Vladimir P. editor.
(5)
Gorrieri, Roberto. editor.
(5)
Hanus, Michael. editor.
(5)
Hinchey, Mike. editor.
(5)
Huisman, Marieke. editor.
(5)
John Wiley & Sons.
(5)
Johnsen, Einar Broch. editor.
(5)
Karhumäki, Juhani. editor.
(5)
Kobayashi, Naoki. editor.
(5)
Koepf, Wolfram. editor.
(5)
Leucker, Martin. editor.
(5)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(5)
Maciaszek, Leszek A. editor.
(5)
Margaria, Tiziana. editor.
(5)
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
(5)
Melin, Patricia. editor. (orcid)0000-0001-5798-1426
(5)
Meyer, Bertrand. editor.
(5)
Montanari, Ugo. editor.
(5)
Nerode, Anil. editor.
(5)
Oztaysi, Basar. editor.
(5)
Palsberg, Jens. editor.
(5)
Paschke, Adrian. editor.
(5)
Peled, Doron A. editor.
(5)
Petrosino, Alfredo. editor.
(5)
Reed, Rick. editor.
(5)
Reussner, Ralf. editor.
(5)
Rossi, Francesca. editor.
(5)
Satoh, Ken. editor.
(5)
Schlechta, Karl. author.
(5)
Schmidt, Renate A. editor.
(5)
Schwiegelshohn, Uwe. editor.
(5)
Sirjani, Marjan. editor.
(5)
Tarski, Alfred.
(5)
Veith, Helmut. editor.
(5)
Wolff, Burkhart. editor.
(5)
Zavattaro, Gianluigi. editor.
(5)
Zhang, Zili. editor.
(5)
Artemov, Sergei. editor.
(4)
Aßmann, Uwe. editor.
(4)
Balas, Valentina Emilia. editor.
(4)
Bensalem, Saddek. editor.
(4)
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
(4)
Bouajjani, Ahmed. editor.
(4)
Bravetti, Mario. editor.
(4)
Cavalcanti, Ana. editor.
(4)
Chechik, Marsha. editor.
(4)
Damiani, Ferruccio. editor.
(4)
Deep, Kusum. editor. (orcid)0000-0001-5821-2696
(4)
Deleuze, Gilles.
(4)
Ehrig, Hartmut. editor.
(4)
Fitzgerald, John. editor.
(4)
Frachtenberg, Eitan. editor.
(4)
Fraenkel, Abraham Adolf, 1891-1965.
(4)
Giannakopoulou, Dimitra. editor.
(4)
Gibbons, Jeremy. editor.
(4)
Goertzel, Ben. editor.
(4)
Gorton, Ian. editor.
(4)
Havelund, Klaus. editor.
(4)
Hegel, Georg Wilhelm Friedrich.
(4)
Heineman, George T. editor.
(4)
Higashino, Teruo. editor.
(4)
Horváth, Zoltán. editor.
(4)
Ibarra, Oscar H. editor.
(4)
Jacko, Julie A. editor.
(4)
Korytkowski, Marcin. editor.
(4)
Koutny, Maciej. editor.
(4)
Kunen, Kenneth.
(4)
Kuratowski, Kazimierz, 1896-1980.
(4)
Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258
(4)
Li, Wei. author.
(4)
Liang, Qilian. editor.
(4)
Longo, Luca. editor.
(4)
Masulli, Francesco. editor.
(4)
Mayr, Heinrich C. editor.
(4)
Medina, Jesús. editor. (orcid)0000-0002-3931-5873
(4)
Melin, Patricia. author.
(4)
Merayo, Mercedes G. editor.
(4)
Muskens, Reinhard. editor.
(4)
Nicola, Rocco. editor.
(4)
Núñez, Manuel. editor.
(4)
Paige, Richard F. editor.
(4)
Palanque, Philippe. editor.
(4)
Panigrahi, Bijaya Ketan. editor.
(4)
Pogodalla, Sylvain. editor.
(4)
Risby, Bonnie Lou, author.
(4)
Risby, Bonnie Lou.
(4)
Risby, Robert K., II, author.
(4)
Robinson, Abraham, 1918-1974.
(4)
Roever, Willem-Paul. editor.
(4)
Romanovsky, Alexander. editor.
(4)
Rudolph, Sebastian. editor.
(4)
Salaün, Gwen. editor.
(4)
Sattler, Uli. editor.
(4)
Schewe, Klaus-Dieter. editor.
(4)
Schürr, Andy. editor.
(4)
Seifert, Christin. editor. (orcid)0000-0002-6776-3868
(4)
Seipel, Dietmar. editor.
(4)
Sichman, Jaime Simão. editor.
(4)
Skavhaug, Amund. editor.
(4)
Sokolsky, Oleg. editor.
(4)
Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165
(4)
Suppes, Patrick, 1922-
(4)
Tadeusiewicz, Ryszard. editor.
(4)
Taraate, Vaibbhav. author.
(4)
Truthe, Bianca. editor.
(4)
Ungerer, Theo. editor.
(4)
Uzam, Murat, 1968- author.
(4)
Varró, Dániel. editor.
(4)
Vasconcelos, Wamberto. editor.
(4)
Virbitskaite, Irina. editor.
(4)
Vorozhtsov, Evgenii V. editor.
(4)
Wang, Wei. editor.
(4)
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073
(4)
Winikoff, Michael. editor.
(4)
Wolf, Karsten. editor.
(4)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(3754)
Turkish
(68)
German
(35)
Italian
(8)
Multiple languages
(5)
French
(4)
Turkish, Ottoman
(1)
Russian
(1)
More
View All
Fewer
Collapse All
Publication Date
Include
Exclude
-
2011
(269)
2013
(257)
2012
(235)
2023
(232)
2017
(230)
2010
(225)
2007
(213)
2019
(211)
2014
(204)
2005
(203)
2006
(203)
2009
(200)
2016
(196)
2008
(185)
2018
(180)
2024
(172)
2015
(165)
2025
(142)
2021
(67)
2004
(56)
2022
(54)
2002
(48)
2003
(44)
2000
(41)
2020
(40)
2001
(38)
2026
(29)
1971
(23)
1998
(23)
1973
(22)
1990
(21)
1994
(21)
1972
(20)
1989
(20)
1999
(20)
1970
(18)
1974
(18)
1993
(18)
1997
(18)
1969
(17)
1995
(17)
1985
(16)
1996
(16)
1968
(15)
1979
(15)
1991
(15)
1980
(13)
1982
(13)
1983
(13)
1975
(12)
1978
(12)
1987
(12)
1988
(12)
1981
(11)
1986
(11)
1992
(11)
1963
(10)
1976
(10)
1977
(10)
1962
(9)
1984
(9)
1951
(8)
1965
(8)
1966
(8)
1967
(7)
1959
(5)
1964
(5)
1953
(4)
1956
(4)
1957
(4)
1958
(4)
1961
(4)
1960
(3)
1952
(2)
1954
(2)
973
(1)
1880
(1)
1892
(1)
1920
(1)
1923
(1)
1926
(1)
1927
(1)
1928
(1)
1930
(1)
1931
(1)
1933
(1)
1934
(1)
1936
(1)
1937
(1)
1938
(1)
1939
(1)
1948
(1)
1950
(1)
1955
(1)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Computer science.
(1518)
Logic design.
(1202)
Software engineering.
(1078)
Artificial intelligence.
(893)
Computer Communication Networks.
(358)
Logic, Symbolic and mathematical.
(324)
Logic.
(242)
Computer software.
(241)
Computer Science Logic and Foundations of Programming.
(231)
Mathematical logic.
(185)
Computational intelligence.
(175)
Machine theory.
(167)
Formal Languages and Automata Theory.
(164)
Algorithms.
(163)
Computer logic.
(161)
Mathematics.
(159)
Computer simulation.
(125)
Computational complexity.
(120)
Operating systems (Computers).
(115)
Philosophy (General).
(115)
Compilers (Computer programs).
(109)
Compilers and Interpreters.
(109)
Electronic books.
(109)
Information theory.
(106)
Logics and Meanings of Programs.
(104)
Information Systems.
(103)
Mathematical Logic and Formal Languages.
(101)
Computer science -- Mathematics.
(100)
Computer networks .
(95)
Theory of Computation.
(95)
Data mining.
(93)
Application software.
(91)
Programming Techniques.
(82)
Computer programming.
(81)
Engineering.
(81)
Programming languages (Electronic computers).
(81)
Electronic circuits.
(80)
Algebra -- Data processing.
(79)
Information storage and retrieval systems.
(78)
Information systems.
(77)
Data structures (Computer science).
(71)
Computers.
(67)
Science -- Philosophy.
(65)
Mathematical Logic and Foundations.
(61)
Artificial Intelligence (incl. Robotics).
(60)
Electronic Circuits and Systems.
(60)
Computer and Information Systems Applications.
(59)
Database management.
(58)
Computer system performance.
(57)
Computer vision.
(56)
Programming Languages, Compilers, Interpreters.
(56)
Microprocessors.
(51)
Computer network architectures.
(50)
Electronics.
(50)
Computer science—Mathematics.
(48)
Discrete Mathematics in Computer Science.
(48)
Data Mining and Knowledge Discovery.
(46)
Systems engineering.
(46)
Computer Modelling.
(45)
Special Purpose and Application-Based Systems.
(45)
Algebra.
(44)
Electronic data processing.
(44)
Natural language processing (Computer science).
(44)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(41)
Computers, Special purpose.
(40)
Engineering mathematics.
(40)
Logic programming.
(40)
Computer engineering.
(39)
Computer architecture.
(38)
Genetic epistemology.
(37)
MANTIK.
(36)
Processor Architectures.
(36)
Bioinformatics.
(35)
Data protection.
(35)
Fuzzy logic.
(35)
Control engineering.
(34)
Mathematical statistics.
(33)
Algorithm Analysis and Problem Complexity.
(32)
Information Storage and Retrieval.
(32)
Mathematics of Computing.
(32)
Computer Engineering and Networks.
(31)
Discrete mathematics.
(31)
Philosophy.
(31)
TECHNOLOGY & ENGINEERING.
(31)
Logic in AI.
(30)
Computation by Abstract Devices.
(29)
Logic circuits.
(29)
Natural Language Processing (NLP).
(29)
Signal processing.
(29)
Linguistics -- Philosophy.
(28)
Microprogramming .
(28)
Multimedia systems.
(27)
Combinatorics.
(25)
Computer communication systems.
(25)
Logic, Symbolic and mathematical -- Congresses.
(25)
Management information systems.
(25)
Number theory.
(25)
Arithmetic and Logic Structures.
(24)
Coding theory.
(24)
Information storage and retrieval.
(24)
Metaphysics.
(24)
Robotics.
(24)
Computer System Implementation.
(23)
Computer security.
(23)
Computer systems.
(23)
Control Structures and Microprogramming.
(23)
Mantık.
(23)
Telecommunication.
(23)
Digital electronics.
(22)
Machine learning.
(22)
Reasoning.
(22)
COMPUTERS.
(21)
Electronic data processing -- Management.
(21)
IT Operations.
(21)
Mathematics -- Philosophy.
(21)
Probability and Statistics in Computer Science.
(21)
Signal, Speech and Image Processing.
(21)
Symbolic and Algebraic Manipulation.
(21)
Set theory.
(20)
Automation.
(19)
Control and Systems Theory.
(19)
Engineering -- Data processing.
(19)
Information Systems Applications (incl. Internet).
(19)
Numerical analysis.
(19)
Operating Systems.
(19)
System Performance and Evaluation.
(19)
Computer organization.
(18)
Data encryption (Computer science).
(18)
Electronics and Microelectronics, Instrumentation.
(18)
Internet of things.
(18)
Mathematical Applications in Computer Science.
(18)
Semantics.
(18)
Arithmetic and logic units, Computer.
(17)
Computer aided design.
(17)
Computer arithmetic and logic units.
(17)
Computer system failures.
(17)
Fuzzy systems.
(17)
Modality (Logic)
(17)
Operations research.
(17)
Proof theory.
(17)
Communications Engineering, Networks.
(16)
User Interfaces and Human Computer Interaction.
(16)
Control, Robotics, Automation.
(15)
Mathematics_$xHistory.
(15)
Ontology.
(15)
Physics.
(15)
Probabilities.
(15)
Control theory.
(14)
Data transmission systems.
(14)
Distribution (Probability theory).
(14)
Embedded computer systems.
(14)
Information technology -- Management.
(14)
Management of Computing and Information Systems.
(14)
Model theory.
(14)
Optical pattern recognition.
(14)
Simulation and Modeling.
(14)
Social sciences -- Data processing.
(14)
Translators (Computer programs).
(14)
User interfaces (Computer systems).
(14)
Algebraic logic.
(13)
Computer Application in Administrative Data Processing.
(13)
Computer hardware.
(13)
Data and Information Security.
(13)
Electronic digital computers -- Evaluation.
(13)
MANTIKSAL DEVRELER.
(13)
Nanotechnology.
(13)
System theory.
(13)
Computational linguistics.
(12)
Data Engineering.
(12)
Human-computer interaction.
(12)
Humanities.
(12)
Industrial engineering.
(12)
MATHEMATICS / Logic
(12)
Mathematical optimization.
(12)
SCIENCE.
(12)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(11)
Computer industry.
(11)
Cooperating objects (Computer systems).
(11)
Cyber-Physical Systems.
(11)
Data Structures and Information Theory.
(11)
Embedded Systems.
(11)
Language and logic.
(11)
Operations Research and Decision Theory.
(11)
Phenomenology.
(11)
Science -- History.
(11)
Soft computing.
(11)
Electronic circuit design.
(10)
Engineering design.
(10)
Global analysis (Mathematics).
(10)
Knowledge, Theory of.
(10)
Language and languages -- Philosophy.
(10)
MATHEMATICS / General
(10)
Memory management (Computer science).
(10)
PHILOSOPHY / Logic
(10)
Philosophy of mind.
(10)
TECHNOLOGY / Electronics / Circuits / General
(10)
Aesthetics.
(9)
Computer graphics.
(9)
Data structures (Computer scienc.
(9)
Dynamics.
(9)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
Art Book
Book
Cd-Rom
DVD
Dictionary
E-Book
Encyclopedia
Thesis
More
View All
Fewer
Collapse All
Shelf Location
Include
Exclude
1:DEGRUYTER
1:SPRINGER
Beytepe Art Collection
Beytepe CD-ROM Koleksiyonu
Beytepe Danışma Koleksiyonu
Beytepe General Collection
Beytepe Görsel-İşitsel Koleksiyonu
Beytepe Tez Koleksiyonu
CRC Ebooks
Electronic Library
Konservatuvar Genel Koleksiyon
Law General Collection
Prof.Dr.Onur Bilge Kulak Collection
Sağlık Bilimleri Genel Koleksiyon
Taylor Francis E-Book Collection
Wiley E-Book Collection
More
View All
Fewer
Collapse All
Library
Include
Exclude
Beytepe Library
Conservatory Library
Health Sciences Library
Law Library
Online Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
3889 Results Found
1
..
321
322
323
324
325
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.
3889.
Mantık : Suri ve tatbiki
Mantık : Suri ve tatbiki
Author
Yücel, Hasan Âli, 1897-1961
Preferred Shelf Number
BC 117.T8 .Y3454 1926
Format:
Availability
Conservatory Library~1
Available:
Copies:
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
..
321
322
323
324
325
