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

Daraltılmış:

+

Yayın Yılı: 2007

Yazar

SpringerLink (Online service)

(153)

Gabbay, Dov M., 1945-

(5)

Woods, John (John Hayden)

(5)

Jacko, Julie A. editor.

(4)

Liu, Zhiming. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Woodcock, Jim. editor.

(3)

Bonsangue, Marcello M. editor.

(2)

Carnap, Rudolf, 1891-1970.

(2)

Castillo, Oscar. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Galatos, Nikolaos.

(2)

Gibbons, Jeremy. editor.

(2)

Jones, Cliff B. editor.

(2)

Kacprzyk, Janusz. editor.

(2)

Kordon, Fabrice. editor.

(2)

Melin, Patricia. editor.

(2)

Montanari, Ugo. editor.

(2)

Pedrycz, Witold. editor.

(2)

Sokolsky, Oleg. editor.

(2)

Stafford, Judith A. editor.

(2)

Stenström, Per. editor.

(2)

Voronkov, Andrei. editor.

(2)

Wright, Georg Henrik von, 1916-

(2)

Aberer, Karl. editor.

(1)

Adler, Mortimer Jerome, 1902-

(1)

Aguilar, Luis T. editor.

(1)

(1)

Akay, Metin, ed.

(1)

(1)

Akehurst, David H. editor.

(1)

Alazraqui, Carlos.

(1)

Aldini, Alessandro. editor.

(1)

Allemang, Dean. editor.

(1)

Altenkirch, Thorsten. editor.

(1)

Ambrose, Alice, 1906-

(1)

Anai, Hirokazu. editor.

(1)

Andreescu, Titu. author.

(1)

Andrica, Dorin. author.

(1)

Animal Logic (Firm)

(1)

Antoniou, Grigoris. editor.

(1)

Arbab, Farhad. editor.

(1)

Arntz, William.

(1)

Artemov, Sergei N. editor.

(1)

Arvind, V. editor.

(1)

Ataman, Serhat.

(1)

(1)

Azevedo, Francisco. editor.

(1)

Azémard, Nadine. editor.

(1)

Aßmann, Uwe. editor.

(1)

Baader, Franz. editor.

(1)

Backhouse, Roland. editor.

(1)

Bailey, Robert, Jr.

(1)

Barahona, Pedro. editor.

(1)

Baral, Chitta. editor.

(1)

Barnes, Jonathan, 1942-

(1)

Baroglio, Cristina. editor.

(1)

Bauer, Jörg. editor.

(1)

Beckert, Bernhard. editor.

(1)

Bemporad, Alberto. editor.

(1)

Bendegem, Jean Paul.

(1)

Benthem, J. F. A. K. van, 1949-

(1)

Benthem, Johan.

(1)

Berg, Imme. editor.

(1)

Bernardo, Marco. editor.

(1)

Bessière, Christian. editor.

(1)

Beziau, Jean-Yves. editor.

(1)

Bicchi, Antonio. editor.

(1)

Biletskiy, Yevgen. editor.

(1)

Bin, Eyal. editor.

(1)

Bishop, Robert H., 1957- editor.

(1)

Black, Max, 1909-

(1)

Blackburn, Patrick, 1959-

(1)

Blandford, Ann. editor.

(1)

Boella, Guido. editor.

(1)

Boer, Frank S. editor.

(1)

Bogoslovsky, Boris Basil, 1890-

(1)

Boissier, Olivier. editor.

(1)

Bondavalli, Andrea. editor.

(1)

Bordini, Rafael H. editor.

(1)

Bosschere, Koen. editor.

(1)

Bourdieu, Pierre, 1930-2002

(1)

Bowie, John Ross, 1971-

(1)

Boyar, Lombardo.

(1)

Bozapalidis, Symeon. editor.

(1)

Bošnački, Dragan. editor.

(1)

Bradley, Aaron R. author.

(1)

Braithwaite, Richard Bevan, ed.

(1)

Brandt, Jens. editor.

(1)

Brasileiro, Francisco. editor.

(1)

Brewka, Gerhard. editor.

(1)

Brim, Luboš. editor.

(1)

Britton, Karl, 1909-

(1)

Brodie, Helen Charlotte, 1915-

(1)

Bruni, Roberto. editor.

(1)

Buchs, Didier. editor.

(1)

Bunke, Horst. author.

(1)

Butler, Michael. editor.

(1)

Buttazzo, Giorgio. editor.

(1)

Butterfield, Andrew. editor.

(1)

Caires, Luís. editor.

(1)

Canton, Maria P.

(1)

Cate, Balder D. editor.

(1)

Cervesato, Iliano. editor.

(1)

Chakraborti, Chhanda.

(1)

Charpentier, Éric. editor.

(1)

(1)

Chen, Goong, 1950-

(1)

Chen, Wai-Kai, 1936-

(1)

Cho, Sangyeun. editor.

(1)

Choi, Key-Sun. editor.

(1)

Choi, Lynn. editor.

(1)

Chwistek, Leon, 1884-

(1)

Clavel, Manuel. author.

(1)

Cocchiarella, Nino B.

(1)

Cohen, Morris Raphael, 1880-1947.

(1)

Coleman, Warren.

(1)

(1)

Comon-Lundh, Hubert. editor.

(1)

Concas, Giulio. editor.

(1)

Coninx, Karin. editor.

(1)

Consel, Charles. editor.

(1)

Cook, Byron. editor.

(1)

(1)

Cooper, S. Barry. editor.

(1)

(1)

Cox, David. author.

(1)

Crawford, Dean, illustrator.

(1)

Crnkovic, Ivica. editor.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Dahl, Véronica. editor.

(1)

Damiani, Ernesto. editor.

(1)

Damm, Werner. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Jim. editor.

(1)

Decker, Stefan. editor.

(1)

Deepa, S. N. author.

(1)

Deiser, Oliver. author.

(1)

Derrick, John. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dewey, John, 1859-1952.

(1)

Dickinson, Peter J. author.

(1)

Dignum, Virginia. editor.

(1)

Dimitracopoulos, Costas.

(1)

Ditmarsch, Hans.

(1)

Dix, Jürgen. editor.

(1)

Doherty, Gavin. editor.

(1)

(1)

Duparc, Jacques. editor.

(1)

Durand-Lose, Jérôme. editor.

(1)

Durán, Francisco. author.

(1)

Dutilh Novaes, Catarina.

(1)

Dwyer, Matthew B. editor.

(1)

Ebbinghaus, Heinz-Dieter. author.

(1)

Eemeren, Frans H.

(1)

Eker, Steven. author.

(1)

Ernst, Erik. editor.

(1)

Fages, François. editor.

(1)

Fagot-Largeault, Anne. editor.

(1)

Fahringer, Thomas. author.

(1)

Feng, Zuming. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Filé, Gilberto. editor.

(1)

Fine, Benjamin. author.

(1)

Fishwick, Paul A.

(1)

Fokkink, Wan. author.

(1)

Fornara, Nicoletta. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Franke, Christopher.

(1)

Friend, Michèle.

(1)

(1)

Gabbay, Dov M. editor.

(1)

Gaudin, Emmanuel. editor.

(1)

George, Chris W. editor.

(1)

Goel, Ashok K., 1953-

(1)

Goertzel, Ben. editor.

(1)

Goethe, Norma B.

(1)

Golbeck, Jennifer. editor.

(1)

Goncharov, Sergei S. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Graf, Susanne. editor.

(1)

Grieskamp, Wolfgang. editor.

(1)

Groopman, Jerome E.

(1)

Grumberg, Orna. editor.

(1)

Grädel, Erich. author.

(1)

Guelfi, Nicolas. editor.

(1)

(1)

Gurevich, Yuri. editor.

(1)

Hanus, Michael. editor.

(1)

Harizanov, Valentina S.

(1)

Harju, Tero. editor.

(1)

Harris, David Money.

(1)

Harris, Sarah L.

(1)

Haskell, Deirdre.

(1)

Haveraaen, Magne. editor.

(1)

Haverkort, Boudewijn. editor.

(1)

Havil, Julian, 1952-

(1)

Heineman, George T. editor.

(1)

Hendrix, Elaine, 1970-

(1)

Henkemans, A. Francisca Snoeck.

(1)

Tümünü genişlet

Dil

(209)

(1)

(1)

(1)

Konu

Computer science.

(132)

(117)

Software engineering.

(81)

Computer Communication Networks.

(45)

Artificial intelligence.

(39)

Logic, Symbolic and mathematical.

(27)

Computer software.

(19)

(18)

(15)

Information Systems.

(14)

Information storage and retrieval systems.

(13)

Multimedia systems.

(12)

Operating systems (Computers).

(11)

Philosophy (General).

(11)

Algebra -- Data processing.

(8)

Computer system performance.

(8)

Information systems.

(8)

(8)

Computer simulation.

(7)

Data structures (Computer science).

(7)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(7)

Science -- Philosophy.

(6)

(4)

Computational complexity.

(4)

Computer network architectures.

(4)

Data protection.

(4)

Database management.

(4)

Electronic data processing.

(4)

Engineering mathematics.

(4)

Information theory.

(4)

Many-valued logic.

(4)

Mathematics -- Philosophy.

(4)

Nonmonotonic reasoning.

(4)

Bioinformatics.

(3)

Data transmission systems.

(3)

(3)

Genetic epistemology.

(3)

Global analysis (Mathematics).

(3)

Linguistics -- Philosophy.

(3)

MATEMATİK -- FELSEFE.

(3)

Management information systems.

(3)

Mathematics_$xHistory.

(3)

(3)

AKIL YÜRÜTME.

(2)

(2)

Algebraic logic.

(2)

BİYOLOJİ VE TIP MÜHENDİSLİĞİ.

(2)

(2)

Computer aided design.

(2)

Computer vision.

(2)

Data encryption (Computer science).

(2)

(2)

Digital electronics.

(2)

Distribution (Probability theory).

(2)

Geometry, algebraic.

(2)

(2)

Lattice theory.

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

(2)

(2)

(2)

(2)

(2)

Philosophy, medieval.

(2)

Programmable controllers.

(2)

(2)

(2)

(2)

ANLAM (PSİKOLOJİ)

(1)

Amplifiers (Electronics).

(1)

Animals in motion pictures.

(1)

Animated films.

(1)

(1)

Applied linguistics.

(1)

Belgesel filmler.

(1)

Bilgisayar bilimi -- Matematik.

(1)

Biology -- Philosophy.

(1)

Biomedical Engineering.

(1)

Biomedical engineering.

(1)

Biçimcilik (Mantık) -- Kongreler.

(1)

Branding (Marketing)

(1)

BİLİM -- YÖNTEMBİLİM.

(1)

COMPUTERS -- Logic Design.

(1)

COMPUTERS / Systems Architecture / General.

(1)

Children's films.

(1)

(1)

Comparative Literature.

(1)

Computational linguistics.

(1)

Computer architecture.

(1)

Computer science -- Mathematics.

(1)

(1)

Critical phenomena (Physics)

(1)

Critical thinking -- Problems, exercises, etc.

(1)

Culture -- Philosophy.

(1)

Differentiable dynamical systems.

(1)

Differential equations, partial.

(1)

Digital integrated circuits.

(1)

Documentary films.

(1)

Doktorlar -- Psikoloji.

(1)

Domination (Graph theory)

(1)

Drugs -- Marketing.

(1)

DİL VE DİLLER -- FELSEFE.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR.

(1)

(1)

Electric networks, Passive.

(1)

Electronic books.

(1)

Electronic digital computers -- Circuits.

(1)

Ethnophilosophy.

(1)

FARABİ, 870-950.

(1)

(1)

Felsefe -- Kongreler.

(1)

First-order logic.

(1)

Fourier analysis.

(1)

(1)

(1)

GEOMETRİ -- TEMEL.

(1)

Geometry -- Foundations.

(1)

Hayvanlar, sinemada.

(1)

(1)

Integrated circuits -- Very large scale integration -- Computer simulation.

(1)

Integrated circuits -- Very large scale integration.

(1)

Kritik olay (Fizik)

(1)

Kuantum kuramı

(1)

Kuantum mantık.

(1)

KÜLTÜR -- FELSEFE.

(1)

Language and languages -- Philosophy.

(1)

Language and languages.

(1)

Logic -- History -- Islamic countries.

(1)

Logic -- History.

(1)

Logic -- Problems, exercises, etc.

(1)

Logic circuits -- Design and construction.

(1)

Logic circuits.

(1)

Logic, Ancient.

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical -- Textbooks.

(1)

MANTIK -- TARİHÇE -- İSLAM ÜLKELERİ.

(1)

MANTIKSAL DEVRELER.

(1)

Mantık -- Problemler, Alıştırmalar, Vb.

(1)

Mantık, sembolik ve Matematiksel -- Ders kitapları.

(1)

Mantık, sembolik ve matematiksel.

(1)

(1)

Mathematical recreations.

(1)

Mathematics -- Miscellanea.

(1)

Meaning (Psychology)

(1)

(1)

(1)

Medicine -- Decision making.

(1)

(1)

Memory management (Computer science).

(1)

Microcontrollers -- Programming.

(1)

(1)

Modality (Logic) -- Congresses.

(1)

Modality (Logic) -- Handbooks, manuals, etc.

(1)

(1)

Molecular electronics -- Handbooks, manuals, etc.

(1)

Motion Picture.

(1)

Motion pictures.

(1)

Mühendislik matematiği.

(1)

Neural Networks (Computer).

(1)

Object (Philosophy)

(1)

Optical pattern recognition.

(1)

PEIRCE, CHARLES SANDERS, 1839-1914 -- BİBLİYOGRAFYA.

(1)

POSTMODERNİZM (EDEBİYAT)

(1)

Paradox -- Mathematics.

(1)

Peirce, Charles Sanders, 1839-1914 -- Bibliography.

(1)

Pharmaceutical industry.

(1)

Philosophy -- Congresses.

(1)

(1)

Physicians -- Psychology.

(1)

Postmodernism (Literature)

(1)

(1)

(1)

Quantum computers.

(1)

Quantum theory.

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

Reasoning -- Problems, exercises, etc.

(1)

SAYISAL TÜMLEŞİK DEVRELER.

(1)

Science (General).

(1)

Science -- History.

(1)

Science -- Methodology.

(1)

(1)

Semiconductors -- Junctions.

(1)

Sequences (Mathematics).

(1)

Signal processing.

(1)

(1)

(1)

(1)

Systems engineering.

(1)

SİNYAL İŞLEME.

(1)

SİNİRSEL AĞLAR (BİLGİSAYAR).

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Logic.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- VLSI & ULSI.

(1)

TECHNOLOGY & ENGINEERING / Electronics / General.

(1)

Telecommunication.

(1)

Translators (Computer programs).

(1)

(1)

TÜMEVARIM (MATEMATİK)

(1)

Tıp -- Karar verme.

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe Genel Koleksiyon

Beytepe Görsel-İşitsel Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Sağlık Bilimleri Genel Koleksiyon

Tümünü genişlet

Kütüphane

Beytepe 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

213 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 18

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.

1.

Studies in inductive logic and probability için kapak resmi

Studies in inductive logic and probability

Studies in inductive logic and probability

Yazar

Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.

Yer Numarası

QA 273.4 C37 1971-

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

Fuzzy logic with engineering applications için kapak resmi

Fuzzy logic with engineering applications

Fuzzy logic with engineering applications

Yazar

Ross, Timothy J.

Yer Numarası

TA331 R675 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Introduction to Fuzzy Logic using MATLAB için kapak resmi

Introduction to Fuzzy Logic using MATLAB

Introduction to Fuzzy Logic using MATLAB

Yazar

Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-35781-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logic : informal, symbolic and inductive için kapak resmi

Logic : informal, symbolic and inductive

Logic : informal, symbolic and inductive

Yazar

Chakraborti, Chhanda.

Yer Numarası

BC91 C42 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

5.

Mechatronic system control, logic, and data acquisition için kapak resmi

Mechatronic system control, logic, and data acquisition

Mechatronic system control, logic, and data acquisition

Yazar

Bishop, Robert H., 1957- editor. Taylor and Francis.

Yer Numarası

TJ223 .P76 M43 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Truth, etc. six lectures on ancient logic için kapak resmi

Truth, etc. six lectures on ancient logic

Truth, etc. six lectures on ancient logic

Yazar

Barnes, Jonathan, 1942-

Yer Numarası

ONLINE

Elektronik Erişim

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

The rise of modern logic from Leibniz to Frege için kapak resmi

The rise of modern logic from Leibniz to Frege

The rise of modern logic from Leibniz to Frege

Yazar

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

The many valued and non-monotonic turn in logic için kapak resmi

The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

Yazar

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Yer Numarası

ONLINE

Elektronik Erişim

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

The many valued and non-monotonic turn in logic için kapak resmi

The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

Yazar

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Yer Numarası

ONLINE

Elektronik Erişim

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

The many valued and non-monotonic turn in logic için kapak resmi

The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

Yazar

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Yer Numarası

ONLINE

Elektronik Erişim

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

The many valued and non-monotonic turn in logic için kapak resmi

The many valued and non-monotonic turn in logic

The many valued and non-monotonic turn in logic

Yazar

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Yer Numarası

ONLINE

Elektronik Erişim

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516237

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

The technique of controversy : principles of dynamic logic için kapak resmi

The technique of controversy : principles of dynamic logic

The technique of controversy : principles of dynamic logic

Yazar

Bogoslovsky, Boris Basil, 1890-

Yer Numarası

BC 108 B65 1928 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 18

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11