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ış:

+

Shelf Location: CRC Ekitapları

Yazar

Taylor and Francis.

(7)

Chen, Wai-Kai, 1936-

(5)

(3)

Bimbo, Katalin, 1963, author.

(2)

Bishop, Robert H., 1957-

(2)

Canton, Maria P.

(2)

Chen, Goong, 1950-

(2)

Cressler, John D.

(2)

Gatti, Antonietta M., author.

(2)

Jenicek, Milos, 1935, author.

(2)

Liptak, Bela G.

(2)

Lyshevski, Sergey Edward, editor.

(2)

Lyshevski, Sergey Edward.

(2)

Montanari, Stefano, pharmacist.

(2)

Ray, Kumar S., author.

(2)

Anderson, Patrick L., author.

(1)

Apple Academic Press.

(1)

Armour, Philip G., author.

(1)

Auletta, Gennaro, author.

(1)

Ayeni, Babatunde J.

(1)

Badiru, Adedeji Bodunde, 1952, author.

(1)

Balasa, Florin.

(1)

Barrow, Lauren M., 1968, author.

(1)

Bellagamba, Laurence., author.

(1)

Bevrani, Hassan., author.

(1)

Bishop, Robert H., 1957- editor.

(1)

Brenner, Donald W., editor.

(1)

(1)

Bugg, D. V. (David Vernon)

(1)

(1)

Carnielli, Walter A. (Walter Alexandre)

(1)

Cartwright, Hugh M., 1948, author.

(1)

Castillo, Oscar, 1959-

(1)

Cavazos-Gaither, Alma E., 1955-

(1)

Chaitin, Gregory J., author.

(1)

Chambers, Lance.

(1)

Chen, G. (Guanrong), author.

(1)

Chen, Zhengxin.

(1)

Clark, Terry D., author.

(1)

Clay, David (David E.)

(1)

Cohen, Allen Carson., author.

(1)

Coniglio, Marcelo E., 1963-

(1)

Costa, Newton C. A. da.

(1)

D'Ottaviano, Itala M. L., 1944-

(1)

Davis, Philip J., 1923, author.

(1)

De, Asishkumar, author.

(1)

Demaine, Erik D., 1981-

(1)

Dimitrov, Vassil., author.

(1)

Dorf, Richard C.

(1)

Dorf, Richard C., author.

(1)

Dorf, Richard C., editor.

(1)

Doria, Francisco Antonio.

(1)

El-Halwagi, Mahmoud M., 1962-

(1)

Feng, Gang., author.

(1)

Ferry, David K.

(1)

Fishwick, Paul A.

(1)

Fox, Richard, author.

(1)

GIS and Archaeological Predictive Modeling Conference (2001 : Argonne National Laboratory)

(1)

Gaither, Carl C., 1944-

(1)

Gaither, Carl C., 1944- author.

(1)

Ganguli, Ranjan., author.

(1)

Gao, Su, 1968, author.

(1)

Garrett, Patrick H., author.

(1)

Gibson, W. (William)

(1)

Girod, Robert J., author.

(1)

Goddard, William A., III, 1937-

(1)

Goldberg, Larry, 1946-

(1)

Gong, Qihuang, author.

(1)

Gunderson, David S., author.

(1)

Gurevich, Vladimir, 1956, author.

(1)

Halpin, T. A., author.

(1)

Hearn, Robert A., author.

(1)

Herian, Robert, author.

(1)

Hitzler, Pascal.

(1)

Hitzler, Pascal., author.

(1)

Hiyama, Takashi.

(1)

Hopgood, Adrian A., author.

(1)

Hu, Xiaoyong, author.

(1)

IEEE International Conference on Nanotechnology (11th : 2011 : Portland, Ore.)

(1)

ISA--The Instrumentation, Systems, and Automation Society.

(1)

Iafrate, G. J., editor.

(1)

Ibidapo-Obe, Oye.

(1)

International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece)

(1)

International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.)

(1)

International Workshop on Dynamics and Control (11th : 2000 : Rio de Janeiro, Brazil)

(1)

Israr, Nauman, editor.

(1)

Issac, Biju, editor.

(1)

Jamshidi, Mohammad.

(1)

Jayawardena, A W, author.

(1)

Jullien, Graham.

(1)

Kauffman, Louis H., 1945-

(1)

Kaul, Anupama B.

(1)

Kharma, Nawwaf.

(1)

Konar, Amit, author.

(1)

Kularatna, Nihal.

(1)

Kumar, Praveen.

(1)

Latino, Kenneth C.

(1)

Latino, Robert J., author.

(1)

Lavagno, Luciano, 1959-

(1)

Leitmann, George.

(1)

Linninger, Andreas A.

(1)

Liptak, Bela G. Instrument engineers' handbook. Process control.

(1)

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

(1)

Liptak, Bela G., editor.

(1)

Lomonaco, Samuel J.

(1)

Malik, D. S., author.

(1)

Marek, V. W. (V. Wiktor), 1943, author.

(1)

Maroulis, George.

(1)

Martin, Grant (Grant Edmund)

(1)

(1)

Melin, Patricia, 1962, author.

(1)

Mordeson, John N., author.

(1)

Morris, James E., editor.

(1)

Moss, Giles David., author.

(1)

Muscedere, Roberto.

(1)

Nanayakkara, Thrishantha, author.

(1)

Nguyen, Hung T., 1944-

(1)

(1)

(1)

Oklobdzija, Vojin G.

(1)

Oklobdzija, Vojin G., author.

(1)

Pan Stanford Publishing.

(1)

Pham, Trung Tat.

(1)

Piguet, Christian, author.

(1)

Piguet, Christian.

(1)

Pistone, Giovanni., author.

(1)

Powell-Evans, Keith.

(1)

Pradhan, Dhiraj K.

(1)

Raol, J. R. (Jitendra R.), 1947, author.

(1)

Riccomagno, Eva.

(1)

Roberts, Charles, author.

(1)

(1)

Rugaber, Spencer, author.

(1)

(1)

Sanchez, Julio, 1938, author.

(1)

Sanchez, Julio, 1938-, author.

(1)

Sarkar, Souvik, author.

(1)

Sarkar, Subir Kumar, author.

(1)

Scharfe, Henrik.

(1)

(1)

(1)

Sen, Zekai., author.

(1)

Sergienko, Alexander V.

(1)

Shanahan, John Francis, 1955-

(1)

Shin, Yung C., author.

(1)

Shiva, Sajjan G. Computer design and architecture.

(1)

Shiva, Sajjan G., author.

(1)

Shmerko, Vlad P.

(1)

(1)

Smullyan, Raymond M., author.

(1)

Stillwell, John., author.

(1)

Straccia, Umberto., author.

(1)

Sun, Zongxuan, author.

(1)

(1)

Thuraisingham, Bhavani, author.

(1)

Tucker, Allen B.

(1)

Tumanski, Slawomir., author.

(1)

(1)

Uzam, Murat, author.

(1)

Von Halle, Barbara., author.

(1)

Wang, Xiaobin, 1973- editor.

(1)

Weber, H. (Hans)

(1)

Wescott, Konnie.

(1)

Whitaker, Jerry C.

(1)

Whitaker, Jerry C., author.

(1)

(1)

Wojcicki, Tomasz, editor.

(1)

Wojtecki, Rudy.

(1)

World Congress on Paraconsistency (2nd : 2000 : São Paulo, Brazil)

(1)

(1)

(1)

Yanushkevich, Svetlana N.

(1)

Yanushkevich, Svetlana N., author.

(1)

Zhu, Guoming (Engineer), author.

(1)

Tümünü genişlet

Dil

(121)

Yayın Yılı

-

(14)

(11)

(9)

(8)

(8)

(8)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(5)

(4)

(4)

(3)

(3)

(2)

(1)

(1)

Tümünü genişlet

Konu

Nanotechnology.

(7)

Logic, Symbolic and mathematical.

(6)

Soft computing.

(6)

Electronic books.

(5)

Computer engineering.

(4)

Integrated circuits -- Very large scale integration.

(4)

(4)

Control theory.

(3)

Digital electronics.

(3)

Expert systems (Computer science)

(3)

(3)

(3)

Microelectronics.

(3)

Process control -- Handbooks, manuals, etc.

(3)

Programmable controllers.

(3)

Artificial intelligence.

(2)

Decision making -- Mathematical models.

(2)

(2)

(2)

Engineering -- Handbooks, manuals, etc.

(2)

Engineering instruments.

(2)

Evidence-based medicine.

(2)

Intelligent control systems.

(2)

(2)

MATHEMATICS / General

(2)

MATHEMATICS / General.

(2)

Measuring instruments -- Handbooks, manuals, etc.

(2)

(2)

Molecular electronics.

(2)

Nanoparticles -- Environmental aspects.

(2)

Nanoparticles -- Health aspects.

(2)

Nanoparticles -- Safety measures.

(2)

Nanoparticles -- Toxicology.

(2)

(2)

Software engineering.

(2)

TECHNOLOGY & ENGINEERING / Electronics / General.

(2)

TECHNOLOGY / Electricity

(2)

Agricultural mapping.

(1)

Agriculture -- Data processing.

(1)

Agriculture -- Remote sensing.

(1)

Aircraft gas-turbines -- Testing -- Data processing.

(1)

Airplanes -- Monitoring.

(1)

(1)

(1)

Application specific integrated circuits.

(1)

Archaeology -- Data processing -- Congresses.

(1)

Archaeology -- Mathematical models -- Congresses.

(1)

Architecture -- Quotations, maxims, etc. -- Dictionaries.

(1)

Astronomy -- Quotations, maxims, etc.

(1)

Automatic control -- Mathematical models.

(1)

Automatic control.

(1)

Automation and Control.

(1)

Automobiles -- Motors -- Design and construction.

(1)

Automobiles -- Power trains -- Design and construction.

(1)

Biodiversity conservation.

(1)

Biology -- Data processing.

(1)

Biomass energy -- Congresses.

(1)

Biomedical engineering.

(1)

Biosensing Techniques.

(1)

(1)

(1)

Bipolar integrated circuits -- Design and construction.

(1)

Bipolar transistors -- Handbooks, manuals, etc.

(1)

Bipolar transistors.

(1)

Blockchains (Databases) -- Economic aspects.

(1)

Blockchains (Databases) -- Government policy.

(1)

Blockchains (Databases) -- Social aspects.

(1)

Brain -- Computer simulaion.

(1)

Branding (Marketing)

(1)

Business -- Decision making -- Data processing.

(1)

Business logistics -- Data processing.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- General.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Computer Engineering

(1)

COMPUTERS / Computer Graphics / Game Programming & Design

(1)

COMPUTERS / General

(1)

COMPUTERS / Internet / General.

(1)

COMPUTERS / Operating Systems / General.

(1)

COMPUTERS / Programming / Systems Analysis & Design

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

COMPUTERS / Systems Architecture / General.

(1)

COMPUTERS / Web / General.

(1)

Chemical process control -- Computer-aided design -- Congresses.

(1)

Chemical processes -- Data processing -- Congresses.

(1)

Chemistry -- Data processing.

(1)

(1)

(1)

(1)

Combinatory logic.

(1)

Commercial statistics.

(1)

(1)

Composition Detection.

(1)

Computational intelligence.

(1)

Computer architecture.

(1)

Computer arithmetic.

(1)

Computer networks -- Security measures -- Case studies.

(1)

Computer science -- Congresses.

(1)

Computer science -- Handbooks, manuals, etc.

(1)

Computer security -- Case studies.

(1)

Computer simulation.

(1)

Computer storage devices.

(1)

Computer-aided engineering.

(1)

Conceptual structures (Information theory)

(1)

Conservation of natural resources.

(1)

Control de procesos industriales -- Manuales.

(1)

Criminal behavior, Prediction of -- United States.

(1)

Criminal investigation -- Psychological aspects.

(1)

Criminal investigation.

(1)

Criminal profilers -- United States.

(1)

Critical incident technique.

(1)

(1)

Data Preparation & Mining

(1)

Data encryption (Computer science)

(1)

(1)

Databases -- Law and legislation.

(1)

(1)

Death -- Causes -- Case studies.

(1)

Decision logic tables.

(1)

Decision support systems.

(1)

Density Measurement.

(1)

Descriptive set theory.

(1)

Differentiable dynamical systems.

(1)

Discrete Mathematics

(1)

Discrete Mathematics.

(1)

Drugs -- Marketing.

(1)

Drugs -- Quality control.

(1)

Ecology -- Simulation methods.

(1)

Economics -- Statistical methods.

(1)

Electric power systems -- Automation.

(1)

Electronic apparatus and appliances.

(1)

Electronic circuit design.

(1)

Electronic circuits.

(1)

Electronic data processing -- Data preparation.

(1)

Electronic digital computers.

(1)

Electronics -- Handbooks, manuals, etc.

(1)

Electronics, Medical -- Instrumentation.

(1)

(1)

Electrónica médica.

(1)

Embedded computer systems -- Computer-aided design.

(1)

Embedded computer systems -- Design and construction.

(1)

Embedded computer systems -- Programming.

(1)

Energy Industry Instruments.

(1)

Energy conservation.

(1)

Engineering -- Data processing -- Congresses.

(1)

Engineering -- Quotations, maxims, etc. -- Dictionaries.

(1)

Engineering instruments -- Handbooks, manuals, etc.

(1)

Environmental sciences -- Mathematics.

(1)

Fault location (Engineering)

(1)

Flow Measurement.

(1)

Forensic pathology -- Case studies.

(1)

Forensic sciences.

(1)

(1)

(1)

Fuzzy If-Then Models.

(1)

Fuzzy Implications.

(1)

(1)

Fuzzy Operators.

(1)

Fuzzy Reasoning.

(1)

Fuzzy Relations.

(1)

(1)

Games -- Mathematical models.

(1)

Genetic algorithms.

(1)

Geographic information systems -- Congresses.

(1)

Geographic information systems.

(1)

Godel's theorem.

(1)

Génie logiciel.

(1)

Health facilities -- Risk management.

(1)

Heterostructures.

(1)

Homicide investigation -- Case studies.

(1)

Hydrologic models -- Mathematics.

(1)

Hydrologic models.

(1)

Hydrology -- Data processing.

(1)

Inconsistency (Logic) -- Congresses.

(1)

Industrial accidents -- Investigation.

(1)

Industrial management -- Decision making -- Data processing.

(1)

(1)

Information technology -- Management.

(1)

Ingeniería -- Aparatos e instrumentos -- Manuales.

(1)

Ingeniería biomédica.

(1)

Insect rearing.

(1)

Insects -- Feeding and feeds.

(1)

Instrumentos de medición -- Manuales.

(1)

Integrated circuits -- Computer-aided design.

(1)

Integrated circuits -- Design and construction.

(1)

Integrated circuits, Very large scale integration.

(1)

Integrated circuits.

(1)

Internet governance.

(1)

Invariant sets.

(1)

Knowledge representation (Information theory)

(1)

Knowledge, Theory of.

(1)

LAW / Forensic Science

(1)

Large scale systems.

(1)

Level Measurement.

(1)

LogiQL (Compuer program language)

(1)

Logic circuits -- Design and construction.

(1)

Logic circuits.

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical -- Methodology.

(1)

Tümünü genişlet

Materyal Türü

Kütüphane

Ç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

121 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 11

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.

Soft computing and its applications. Volume 1, A unified engineering concept için kapak resmi

Soft computing and its applications. Volume 1, A unified engineering concept

Soft computing and its applications. Volume 1, A unified engineering concept

Yazar

Ray, Kumar S., author.

Yer Numarası

QA76.9 .S63 R39 2015

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Design and control of automotive propulsion systems için kapak resmi

Design and control of automotive propulsion systems

Design and control of automotive propulsion systems

Yazar

Sun, Zongxuan, author. Zhu, Guoming (Engineer), author.

Yer Numarası

TL210 .S9435 2015

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Case studies in secure computing : achievements and trends için kapak resmi

Case studies in secure computing : achievements and trends

Case studies in secure computing : achievements and trends

Yazar

Issac, Biju, editor. Israr, Nauman, editor.

Yer Numarası

QA76.9 .A25 C426 2015

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Proof theory : sequent calculi and related formalisms için kapak resmi

Proof theory : sequent calculi and related formalisms

Proof theory : sequent calculi and related formalisms

Yazar

Bimbo, Katalin, 1963, author.

Yer Numarası

QA9.54 .B55 2015

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Metallic spintronic devices için kapak resmi

Metallic spintronic devices

Metallic spintronic devices

Yazar

Wang, Xiaobin, 1973- editor.

Yer Numarası

TK7874.887 .M48 2015

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Logical investigative methods : critical thinking and reasoning for successful investigations için kapak resmi

Logical investigative methods : critical thinking and reasoning for successful investigations

Logical investigative methods : critical thinking and reasoning for successful investigations

Yazar

Girod, Robert J., author.

Yer Numarası

HV8073 .G566 2015

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

VLSI : circuits for emerging applications için kapak resmi

VLSI : circuits for emerging applications

VLSI : circuits for emerging applications

Yazar

Wojcicki, Tomasz, editor.

Yer Numarası

TK7874.75 .V57155 2014

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Handbook of Mathematical Induction : Theory and Applications için kapak resmi

Handbook of Mathematical Induction : Theory and Applications

Handbook of Mathematical Induction : Theory and Applications

Yazar

Gunderson, David S., author.

Yer Numarası

QA9.54 G863 2014

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Linux with operating system concepts için kapak resmi

Linux with operating system concepts

Linux with operating system concepts

Yazar

Fox, Richard, author. Taylor and Francis.

Yer Numarası

QA76.774 .L46

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Police and profiling in the United States : applying theory to criminal investigations için kapak resmi

Police and profiling in the United States : applying theory to criminal investigations

Police and profiling in the United States : applying theory to criminal investigations

Yazar

Barrow, Lauren M., 1968, author. Rufo, Ron A.

Yer Numarası

HV6789 .B37 2014

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Environmental and hydrological systems modelling için kapak resmi

Environmental and hydrological systems modelling

Environmental and hydrological systems modelling

Yazar

Jayawardena, A W, author. CRC Press.

Yer Numarası

GB656.2 .H9 J393 2013

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Introduction to mathematical proofs için kapak resmi

Introduction to mathematical proofs

Introduction to mathematical proofs

Yazar

Roberts, Charles, author. Taylor and Francis.

Yer Numarası

QA9.54

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 11

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11