Search Results for Logic.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Yazar

SpringerLink (Online service)

(2126)

(22)

Voronkov, Andrei. editor.

(18)

Kacprzyk, Janusz. editor.

(13)

Wiley InterScience (Online service)

(13)

Gabbay, Dov M., 1945-

(12)

Bonsangue, Marcello M. editor.

(11)

Boer, Frank S. editor.

(10)

Castillo, Oscar. editor.

(10)

Potapov, Igor. editor.

(9)

Rozenberg, Grzegorz. editor.

(9)

Woods, John (John Hayden)

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(8)

Liu, Zhiming. editor.

(8)

Löwe, Benedikt. editor.

(8)

Melin, Patricia. editor.

(8)

Baldoni, Matteo. editor.

(7)

Bernardo, Marco. editor.

(7)

Leite, João. editor.

(7)

Martín-Vide, Carlos. editor.

(7)

Mostowski, Andrzej.

(7)

Peña, Ricardo. editor.

(7)

Queiroz, Ruy. editor.

(7)

Sebeok, Thomas A., contributor.

(7)

Taylor and Francis.

(7)

Woodcock, Jim. editor.

(7)

Calude, Cristian S. editor.

(6)

Cooper, S. Barry. editor.

(6)

Fages, François. editor.

(6)

Fiadeiro, José Luiz. editor.

(6)

Governatori, Guido. editor.

(6)

Graf, Susanne. editor.

(6)

Meseguer, José. editor.

(6)

Rahman, Shahid. editor.

(6)

Son, Tran Cao. editor.

(6)

Stafford, Judith A. editor.

(6)

Stenström, Per. editor.

(6)

Torroni, Paolo. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Blair, J. Anthony, contributor.

(5)

Castillo, Oscar. author.

(5)

Chen, Wai-Kai, 1936-

(5)

Dastani, Mehdi. editor.

(5)

Dediu, Adrian-Horia. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Gabbay, Dov M. author.

(5)

Gabbay, Dov M. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Hanus, Michael. editor.

(5)

Huisman, Marieke. editor.

(5)

John Wiley & Sons.

(5)

Karhumäki, Juhani. editor.

(5)

LaMeres, Brock J. author.

(5)

Legay, Axel. editor.

(5)

Leucker, Martin. editor.

(5)

Liu, Shaoying. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Ong, Luke. editor.

(5)

Palsberg, Jens. editor.

(5)

Paschke, Adrian. editor.

(5)

Pedrycz, Witold. editor.

(5)

Peled, Doron A. editor.

(5)

Pietarinen, Ahti-Veikko, contributor.

(5)

Reed, Rick. editor.

(5)

Rensink, Arend. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Seising, Rudolf. editor.

(5)

Steffen, Bernhard. editor.

(5)

Tarski, Alfred.

(5)

Veith, Helmut. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bekki, Daisuke. editor.

(4)

Bensalem, Saddek. editor.

(4)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(4)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Damiani, Ferruccio. editor.

(4)

Danesi, Marcel, contributor.

(4)

Deleuze, Gilles.

(4)

Duan, Zhenhua. editor.

(4)

Eco, Umberto, contributor.

(4)

Ehrig, Hartmut. editor.

(4)

Filipe, Joaquim. 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)

Grootendorst, Rob, contributor.

(4)

Havelund, Klaus. editor.

(4)

Hegel, Georg Wilhelm Friedrich.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Hinchey, Mike. editor.

(4)

Horváth, Zoltán. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Jain, Lakhmi C. editor.

(4)

Koutny, Maciej. editor.

(4)

Krampen, Martin, contributor.

(4)

Kunen, Kenneth.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

Liang, Qilian. editor.

(4)

Majumdar, Rupak. editor.

(4)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(4)

Masulli, Francesco. editor.

(4)

Melin, Patricia. author.

(4)

Merayo, Mercedes G. editor.

(4)

Nerode, Anil. 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)

Peirce, Charles S., author.

(4)

Pelc, Jerzy, contributor.

(4)

Petrosino, Alfredo. editor.

(4)

Pietarinen, Ahti-Veikko, editor.

(4)

Posner, Roland, contributor.

(4)

Rector, Monica, contributor.

(4)

Risby, Bonnie Lou.

(4)

Robinson, Abraham, 1918-1974.

(4)

Roever, Willem-Paul. editor.

(4)

Roman, Dumitru. editor.

(4)

Rudolph, Sebastian. editor.

(4)

Salaün, Gwen. editor.

(4)

Sattler, Uli. editor.

(4)

Schlechta, Karl. author.

(4)

Schürr, Andy. editor.

(4)

Seipel, Dietmar. editor.

(4)

Sirjani, Marjan. editor.

(4)

Suppes, Patrick, 1922-

(4)

Ungerer, Theo. editor.

(4)

Vasconcelos, Wamberto. editor.

(4)

Virbitskaite, Irina. editor.

(4)

Wang, Wei. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Yager, Ronald R. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zhang, Baoju. editor.

(4)

Zsók, Viktória. editor.

(4)

Çapak, İbrahim.

(4)

Ölveczky, Peter Csaba. editor.

(4)

(3)

Alpuente, María. editor.

(3)

Andacht, Fernando, contributor.

(3)

Andreescu, Titu. author.

(3)

Artemov, Sergei. editor.

(3)

Association for Symbolic Logic.

(3)

Baer, Eugen, contributor.

(3)

Banerjee, Mohua. editor.

(3)

Baroglio, Cristina. editor.

(3)

Behar, Lisa Block de, contributor.

(3)

Beklemishev, Lev D. editor.

(3)

Bjørner, Nikolaj. editor.

(3)

Blackburn, Patrick. editor.

(3)

Boella, Guido. editor.

(3)

Bolton, W. (William), 1933-

(3)

Bondavalli, Andrea. editor.

(3)

Bordini, Rafael H. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

(3)

Cai, Zhipeng. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Chechik, Marsha. editor.

(3)

Cobley, Paul, contributor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Costa, Newton C. A. da.

(3)

Crawford, Dean.

(3)

Crossley, John N.

(3)

Curry, Haskell B. (Haskell Brooks), 1900-1982.

(3)

Dalen, D. van (Dirk), 1932-

(3)

Dalen, Dirk. author.

(3)

Dascal, Marcelo, contributor.

(3)

Dawar, Anuj. editor.

(3)

Deiser, Oliver. author.

(3)

Derrick, John. editor.

(3)

Dershowitz, Nachum. editor.

(3)

Dingel, Juergen. editor.

(3)

Dompere, Kofi Kissi. author.

(3)

Dowek, Gilles. author.

(3)

Dreyer, Claus, contributor.

(3)

Tümünü genişlet

Dil

(3031)

(68)

(35)

(8)

Multiple languages

(5)

(4)

Turkish, Ottoman

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(286)

(264)

(239)

(229)

(213)

(207)

(206)

(205)

(203)

(202)

(188)

(181)

(170)

(162)

(56)

(49)

(45)

(41)

(40)

(38)

(35)

(33)

(30)

(29)

(26)

(25)

(25)

(24)

(23)

(23)

(22)

(21)

(21)

(20)

(20)

(19)

(18)

(18)

(18)

(18)

(17)

(17)

(17)

(17)

(16)

(15)

(15)

(15)

(15)

(15)

(14)

(13)

(13)

(13)

(11)

(11)

(11)

(10)

(10)

(9)

(8)

(8)

(8)

(7)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(1244)

(1153)

Software engineering.

(876)

Artificial intelligence.

(654)

Logic, Symbolic and mathematical.

(317)

Computer Communication Networks.

(299)

Computer software.

(241)

(227)

Computer logic.

(160)

(155)

Mathematical logic.

(152)

Computational complexity.

(118)

Philosophy (General).

(115)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Mathematical Logic and Formal Languages.

(101)

Operating systems (Computers).

(101)

Information theory.

(93)

Computer simulation.

(82)

(80)

Algebra -- Data processing.

(79)

(78)

Information systems.

(77)

Programming languages (Electronic computers).

(75)

Computational intelligence.

(67)

Data structures (Computer science).

(62)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(61)

Science -- Philosophy.

(61)

Artificial Intelligence (incl. Robotics).

(60)

Information storage and retrieval systems.

(59)

Computer system performance.

(57)

(56)

Programming Languages, Compilers, Interpreters.

(56)

(54)

Computer network architectures.

(50)

Computer science—Mathematics.

(48)

Database management.

(48)

Systems engineering.

(45)

Electronic data processing.

(42)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(41)

(40)

Electronic circuits.

(39)

Genetic epistemology.

(37)

(36)

Computer vision.

(35)

Electronic books.

(35)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

Bioinformatics.

(30)

Computation by Abstract Devices.

(29)

Mathematical Logic and Foundations.

(29)

Programming Techniques.

(29)

(28)

Linguistics -- Philosophy.

(28)

(28)

Computer programming.

(27)

Engineering mathematics.

(27)

(27)

Logic circuits.

(26)

Microprocessors.

(26)

Multimedia systems.

(26)

(26)

(25)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

(25)

Information storage and retrieval.

(24)

Data protection.

(23)

(23)

(23)

Electronic Circuits and Systems.

(21)

Mathematics -- Philosophy.

(21)

(20)

Computer security.

(20)

Digital electronics.

(19)

Information Systems Applications (incl. Internet).

(19)

Mathematical statistics.

(19)

(19)

Telecommunication.

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer system failures.

(17)

Natural language processing (Computer science).

(17)

Signal processing.

(17)

Control engineering.

(16)

(16)

(16)

Data encryption (Computer science).

(15)

Mathematics_$xHistory.

(15)

(15)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Language and languages -- Philosophy.

(14)

Language and logic.

(14)

Management of Computing and Information Systems.

(14)

Optical pattern recognition.

(14)

(14)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Communications Engineering, Networks.

(13)

Computer architecture.

(13)

Computer hardware.

(13)

Computer science -- Mathematics.

(13)

Information Storage and Retrieval.

(13)

MANTIKSAL DEVRELER.

(13)

Modality (Logic)

(13)

(13)

Computational linguistics.

(12)

Numerical analysis.

(12)

(12)

Processor Architectures.

(12)

Symbolic and Algebraic Manipulation.

(12)

Algebraic logic.

(11)

Computer engineering.

(11)

Computer industry.

(11)

(11)

Science -- History.

(11)

Control and Systems Theory.

(10)

Data Mining and Knowledge Discovery.

(10)

Global analysis (Mathematics).

(10)

(10)

Nanotechnology.

(10)

Philosophy of mind.

(10)

(10)

(9)

Arithmetic and Logic Structures.

(9)

Control theory.

(9)

Data structures (Computer scienc.

(9)

Electronics and Microelectronics, Instrumentation.

(9)

Engineering design.

(9)

Geometry, algebraic.

(9)

(9)

(9)

Induction (Logic)

(9)

Industrial engineering.

(9)

Logic -- Congresses.

(9)

Logic programming -- Congresses.

(9)

Logic programming.

(9)

MANTIKSAL TASARIM.

(9)

Machine learning.

(9)

(9)

Programmable controllers.

(9)

Signal, Speech and Image Processing.

(9)

Soft computing.

(9)

Special purpose computers.

(9)

(9)

programmation en logique.

(9)

(8)

Computer networks .

(8)

Economics, Mathematical.

(8)

(8)

Knowledge, Theory of.

(8)

MANTIKSAL PROGRAMLAMA.

(8)

Math Applications in Computer Science.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Operations research.

(8)

Philosophy, modern.

(8)

Quantum theory.

(8)

Recursion theory.

(8)

(8)

Science -- Philosophy -- Congresses.

(8)

Semantics (Philosophy)

(8)

(8)

Theory of Computation.

(8)

VHDL (Computer hardware description language)

(8)

BİLGİ KURAMI.

(7)

Electronic digital computers -- Circuits.

(7)

Embedded computer systems.

(7)

Engineering -- Data processing.

(7)

(7)

(7)

Logic -- Early works to 1800.

(7)

Logic -- History.

(7)

(7)

Logische Programmierung.

(7)

Mathematical optimization.

(7)

Microprogramming .

(7)

Optical data processing.

(7)

Probability and Statistics in Computer Science.

(7)

Programmable logic devices.

(7)

Social sciences -- Data processing.

(7)

Software Engineering/Programming and Operating Systems.

(7)

TÜMEVARIM (MANTIK)

(7)

ANAHTARLAMA KURAMI.

(6)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Biomedical engineering.

(6)

Computational Intelligence.

(6)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(6)

Computer Science, general.

(6)

Control, Robotics, Automation.

(6)

Data Engineering.

(6)

(6)

Electronic circuit design.

(6)

Embedded Systems.

(6)

Tümünü genişlet

Materyal Türü

Tümünü genişlet

Shelf Location

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

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Hukuk Kütüphanesi

Konservatuvar Kütüphanesi

Sağlık Bilimleri Kütüphanesi

Çevrimiçi Kütüphane

{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

3166 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 257 258 259 260 261 .. 264

000000000000DEFAULT_TR

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.

3097.

Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo için kapak resmi

Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo

Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo

Yazar

World Congress on Paraconsistency (2nd : 2000 : São Paulo, Brazil) Carnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo E., 1963- D'Ottaviano, Itala M. L., 1944- CRC Press LLC.

Yer Numarası

BC199 .I45

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429222306
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3098.

The mechatronics handbook için kapak resmi

The mechatronics handbook

The mechatronics handbook

Yazar

Bishop, Robert H., 1957- ISA--The Instrumentation, Systems, and Automation Society.

Yer Numarası

TJ163.12 .M434 2002

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3099.

Instrument engineers' handbook. Process software and digital networks için kapak resmi

Instrument engineers' handbook. Process software and digital networks

Instrument engineers' handbook. Process software and digital networks

Yazar

Liptak, Bela G. Liptak, Bela G. Instrument engineers' handbook. Process measurement and analysis. Liptak, Bela G. Instrument engineers' handbook. Process control.

Yer Numarası

TS156.8 .I56 2002

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3100.

FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USA için kapak resmi

FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USA

FPGA '01 : ACM/SIGDA ninth International Symposium on Field Programmable Gate Arrays : Monterey, California, USA

Yazar

ACM International Symposium on Field-Programmable Gate Arrays (9th : 2001 : Monterey, Calif.) ACM Special Interest Group on Design Automation.

Yer Numarası

TK 7895.G36 A36 2001

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3101.

Design of high-performance microprocessor circuits için kapak resmi

Design of high-performance microprocessor circuits

Design of high-performance microprocessor circuits

Yazar

Chandrakasan, Anantha P. Bowhill, William J. Fox, Frank, 1952-

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5266000

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3102.

Thin film magnetoresistive sensors için kapak resmi

Thin film magnetoresistive sensors

Thin film magnetoresistive sensors

Yazar

Tumanski, Slawomir., author.

Yer Numarası

TK7872 .T55 T853 2001

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3103.

The resource handbook of electronics için kapak resmi

The resource handbook of electronics

The resource handbook of electronics

Yazar

Whitaker, Jerry C., author.

Yer Numarası

TK7825 .W48 2001

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3104.

The practical handbook of genetic algorithms : applications için kapak resmi

The practical handbook of genetic algorithms : applications

The practical handbook of genetic algorithms : applications

Yazar

Chambers, Lance.

Yer Numarası

QA402.5 .P72 2001

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3105.

Biological diversity : balancing interests through adaptive collaborative management için kapak resmi

Biological diversity : balancing interests through adaptive collaborative management

Biological diversity : balancing interests through adaptive collaborative management

Yazar

Buck, Louise.

Yer Numarası

S944.5 .P78 B56 2001

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3106.

Algebraic statistics : computational commutative algebra in statistics için kapak resmi

Algebraic statistics : computational commutative algebra in statistics

Algebraic statistics : computational commutative algebra in statistics

Yazar

Pistone, Giovanni., author. Riccomagno, Eva. Wynn, Henry P.

Yer Numarası

QA276 .P53 2001

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3107.

Sembolik mantık el kitabı için kapak resmi

Sembolik mantık el kitabı

Sembolik mantık el kitabı

Yazar

Grünberg, Teo.

Yer Numarası

BC 135 G969 2000 V.2

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

3108.

Engineering digital design için kapak resmi

Engineering digital design

Engineering digital design

Yazar

Tinder, Richard F. (Richard Franchere), 1930-2011. Tinder, Richard F. (Richard Franchere), 1930-2011. Digital engineering design.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780126912951

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 257 258 259 260 261 .. 264

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11