Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
E-Kitap
Dergiler
Beytepe Kütüphanesi
Sağlık Bilimleri Kütüphanesi
Konservatuvar Kütüphanesi
Hukuk Kütüphanesi
Sosyal Bilimler Meslek Yüksek Okulu
DVD Koleksiyonu
Prof.Dr. Onur Bilge Kula Koleksiyonu
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
ISSN
8
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)
(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)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(3754)
Turkish
(68)
German
(35)
Italian
(8)
Multiple languages
(5)
French
(4)
Turkish, Ottoman
(1)
Russian
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Yayın Yılı
Dahil
Hariç
-
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)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
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)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
Ansiklopedi
Cd-Rom
DVD
E-Kitap
Kitap
Sanat Kitap
Sözlük
Tez
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Shelf Location
Dahil
Hariç
1:DEGRUYTER
1:SPRINGER
Beytepe Art Collection
Beytepe CD-ROM Koleksiyonu
Beytepe Danışma Koleksiyonu
Beytepe Genel Koleksiyon
Beytepe Görsel-İşitsel Koleksiyonu
Beytepe Tez Koleksiyonu
CRC Ekitapları
Elektronik Kütüphane
Hukuk Genel Koleksiyon
Konservatuvar Genel Koleksiyon
Prof.Dr.Onur Bilge Kulak Collection
Sağlık Bilimleri Genel Koleksiyon
Taylor Francis E-Kitap Koleksiyonu
Wiley E-Kitap Koleksiyonu
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Kütüphane
Dahil
Hariç
Beytepe Kütüphanesi
Hukuk Kütüphanesi
Konservatuvar Kütüphanesi
Sağlık Bilimleri Kütüphanesi
Çevrimiçi Kütüphane
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
3889 sonuç bulundu
1
..
321
322
323
324
325
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
0
DEFAULT_TR
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.
1.
Mantık : Suri ve tatbiki
Mantık : Suri ve tatbiki
Yazar
Yücel, Hasan Âli, 1897-1961
Yer Numarası
BC 117.T8 .Y3454 1926
Format:
Durum
Konservatuvar Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
321
322
323
324
325
