Search Results for Machine theory

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

10

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Yazar

SpringerLink (Online service)

(67)

Huang, De-Shuang. editor.

(7)

Premaratne, Prashan. editor.

(6)

Hussain, Abir. editor.

(5)

Jin, Baohua. editor.

(5)

Jo, Kang-Hyun. editor.

(5)

Qu, Boyang. editor.

(5)

Kapralos, Bill. editor.

(4)

Rousseau, Jean-Jacques. editor. (orcid)

(4)

Fujita, Hamido. editor. (orcid)

(3)

Pardalos, Panos. editor.

(3)

Camastra, Francesco. author.

(2)

Di Fatta, Giuseppe. editor.

(2)

Eilenberg, Samuel.

(2)

Giuffrida, Giovanni. editor.

(2)

(2)

La Malfa, Emanuele. editor.

(2)

La Malfa, Gabriele. editor.

(2)

Moonis, Ali. editor.

(2)

Nguyen, Ngoc Thanh. editor.

(2)

Nicosia, Giuseppe. editor.

(2)

Ojha, Varun. editor.

(2)

Umeton, Renato. editor.

(2)

Vinciarelli, Alessandro. author.

(2)

Wang, Yinglin. editor.

(2)

Xiao, Yanghua. editor.

(2)

Agarwal, Sonali. editor.

(1)

Aggarwal, Charu C., editor of compilation.

(1)

(1)

Alirezaie, Marjan. editor.

(1)

Allouche, Jean-Paul.

(1)

Angin, Pelin. editor.

(1)

Antonelli Ponti, Moacir. author.

(1)

Arnold, A. (André), 1945-

(1)

Atluri, Vani Vathsala. editor.

(1)

Avanzi, Roberto.

(1)

Awan, Irfan. editor.

(1)

Aĭzerman, M. A. (Mark Aronovich), 1913-

(1)

Bailey, Donald G. (Donald Graeme), 1962-

(1)

Balasubramanian, Vineeth, editor of compilation.

(1)

Basak, Subhash C., 1945-

(1)

Baskerville, Richard. editor.

(1)

Bergstra, J. A.

(1)

Bevilacqua, Vitoantonio. editor.

(1)

Bianchi, Reinaldo A. C. editor.

(1)

Birbaumer, Niels. editor.

(1)

Boonsang, Siridech. editor.

(1)

Box, Richard C.

(1)

Camastra, Francesco.

(1)

Cao, Bing-Yuan. author.

(1)

Cascalho, José. editor.

(1)

Castejón, C. editor.

(1)

Castejón, Cristina. editor.

(1)

Ceccarelli, Marco. editor.

(1)

(1)

Chen, Yiqiang. author.

(1)

Cheng, Li. editor.

(1)

Chu, Pong P., 1959-

(1)

Clarke, Bertrand. author.

(1)

(1)

Cohen, Leonardo G. editor.

(1)

Correia, João. editor.

(1)

Dandibhotla, Teja Santosh. editor.

(1)

(1)

Davies, E. R. (E. Roy)

(1)

Dehmer, Matthias, 1968-

(1)

(1)

Desai, C. S. (Chandrakant S.), 1936-

(1)

(1)

Diniz, Paulo S. R.

(1)

(1)

Dvorský, Jiří. editor.

(1)

Ekbal, Asif. editor.

(1)

El Hajji, Said. editor.

(1)

El Naqa, Issam. editor.

(1)

Elliott, Ian D.

(1)

Eremeev, Anton. editor. (orcid)

(1)

F MELLO, RODRIGO. author.

(1)

Ferdjallah, Mohammed.

(1)

Ferdous, Farhana. editor.

(1)

Fischlin, Marc. editor.

(1)

Fokoue, Ernest. author.

(1)

Frey, Gerhard, 1944-

(1)

Fukumoto, Makoto. editor.

(1)

Gammerman, Alexander. editor.

(1)

Garau, Chiara. editor. (orcid)

(1)

García-Prada, J.C. editor.

(1)

García-Prada, Juan Carlos. editor.

(1)

Gerber, Aurona. editor.

(1)

Gervasi, Osvaldo. editor. (orcid)

(1)

Ghosh, Ashish. editor. (orcid)

(1)

Gibadullin, Arthur. editor.

(1)

Gnesi, Stefania, 1954-

(1)

Groote, J. F. (Jan Friso), 1965-, author.

(1)

Grønli, Tor-Morten. editor.

(1)

Guo, Bin. editor.

(1)

Gupta, B. V. R.

(1)

Hammer, Patrick. editor.

(1)

Han, Kyungsook. editor.

(1)

Han, Qilong. editor.

(1)

Hao, Tianyong. editor.

(1)

Harame, David Louis.

(1)

Hauenschild, Christa.

(1)

Heizmann, Susanne, 1963-

(1)

Hnatkowska, Bogumiła. editor.

(1)

Ho, Shen-Shyang, editor of compilation.

(1)

Hoggar, S. G., author.

(1)

Holmes, Dawn E. editor.

(1)

Holowenko, Alfred R.

(1)

Holowenko, Alfred R., ort. yaz.

(1)

Hong, Tzung-Pei. editor. (orcid)

(1)

Hong, Wenxing. editor.

(1)

Hopcroft, John E., 1939-

(1)

IEEE Computer Society.

(1)

IEEE Xplore (Online Service), distributor.

(1)

International Conference on Modelling and Computation in Engineering (2010 : Hong Kong, China)

(1)

International FCT-Conference (1983 : Borgholm, Sweden)

(1)

Jain, Lakhmi C. editor.

(1)

Jan, Mian Ahmad. editor.

(1)

Jatowt, Adam. editor.

(1)

John Wiley & Sons.

(1)

Kanevski, Mikhail.

(1)

Kansaku, Kenji. editor.

(1)

Kapır, Bahadır.

(1)

Karaca, Yeliz. editor.

(1)

Karpiński, Marek, 1948-

(1)

Ke, Yinggen. editor.

(1)

Keleş, Hacer Yalim. editor.

(1)

Khachay, Michael. editor. (orcid)

(1)

Khamisov, Oleg. editor.

(1)

Khan, Fazlullah. editor.

(1)

Kim, Hwankuk. editor.

(1)

(1)

Kobrinskiĭ, Natan Efimovich.

(1)

Kochetov, Yury. editor. (orcid)

(1)

Koenig, Eldo C. (Eldo Clyde), 1919-

(1)

Komati, Venkateswara Rao. editor.

(1)

Koniusz, Piotr. editor.

(1)

Kosala, Raymond. editor.

(1)

Kröber, Cindy. editor.

(1)

Kubat, Miroslav. author.

(1)

Kumar, Rajendra.

(1)

LaGrandeur, Kevin.

(1)

Laughlin, Herman G.

(1)

Laughlin, Herman G., ort. yaz.

(1)

Leeuwen, J. van (Jan)

(1)

Lewis, Harry R.

(1)

Li, Ruijiang. editor.

(1)

(1)

Liao, Yun-zhang. author.

(1)

Lin, Hao-Ran. author.

(1)

Lingras, Pawan. editor.

(1)

(1)

(1)

Lu, Zeguang. editor.

(1)

Lukac, Rastislav.

(1)

MIT Press, publisher.

(1)

Margaria-Steffen, Tiziana, 1964-

(1)

Mayer, Richard E., 1947- editor.

(1)

Mazalov, Vladimir. editor.

(1)

Meng, Weizhi. editor.

(1)

Mesnager, Sihem. editor.

(1)

Mikołajczak, Bolesław.

(1)

Minns, Peter D.

(1)

Mohammed, Mohssen, 1982-

(1)

Moniz, Nuno. editor.

(1)

Moret, Bernard M.

(1)

Morin, Pat. editor.

(1)

Morusupalli, Raghava. editor.

(1)

Motwani, Rajeev.

(1)

Mousavi, Mohammad Reza, 1978-, author.

(1)

Mu, Yuanyuan. editor. (orcid)

(1)

Murgante, Beniamino. editor. (orcid)

(1)

Murphy, Martin J. editor.

(1)

Münster, Sander. editor.

(1)

(1)

Naldi, Murilo C. editor.

(1)

Narukawa, Yasuo. editor.

(1)

Naved, Mohd. editor.

(1)

Neubert, Reinhard.

(1)

Ngatched Nkouatchah, Telex Magloire. editor.

(1)

Nguyen, Thanh Dung. editor.

(1)

Niebling, Florian. editor.

(1)

Nishiuchi, Nobuyuki. editor.

(1)

Niwiński, Damian.

(1)

Oprysko, Modest Michael, 1957-

(1)

Oswald, Elisabeth. editor.

(1)

Ozawa, Seiichi. editor.

(1)

Papadimitriou, Christos H.

(1)

Papadopoulos, Harris. editor.

(1)

Pasupa, Kitsuchart. editor.

(1)

Patel, Atul. editor.

(1)

Patel, Kanubhai K. editor.

(1)

Pathan, Al-Sakib Khan.

(1)

Pattee, Aaron. editor.

(1)

Perrin, Dominique.

(1)

Phan, Cong Vinh. editor. (orcid)

(1)

Pietikäinen, Matti. editor.

(1)

Pin, Jean Eric.

(1)

Plaue, Matthias. author.

(1)

Tümünü genişlet

Dil

(121)

(1)

Yayın Yılı

-

(47)

(11)

(8)

(7)

(7)

(6)

(5)

(4)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Machine theory.

(20)

Electronic books.

(9)

Sequential machine theory.

(8)

COMPUTERS -- Hardware -- General.

(5)

COMPUTERS -- Machine Theory.

(5)

Formal languages.

(5)

Machine learning.

(5)

Artificial intelligence.

(4)

COMPUTERS -- Computer Engineering.

(4)

Computational complexity.

(4)

Computer science.

(4)

Computer vision.

(4)

Computer algorithms.

(3)

(3)

Mechanical engineering.

(3)

(2)

Digital electronics.

(2)

Logic, Symbolic and mathematical.

(2)

Makine kuramı.

(2)

Mathematical optimization.

(2)

Mathematical statistics.

(2)

Optical pattern recognition.

(2)

(2)

VHDL (Computer hardware description language)

(2)

Affinity electrophoresis.

(1)

Algebraic logic.

(1)

(1)

Androids in literature.

(1)

Aprenentatge automàtic.

(1)

Artificial intelligence -- Popular works

(1)

Artificial intelligence -- Social aspects

(1)

Asynchrones Schaltwerk.

(1)

Bioinformatics.

(1)

(1)

(1)

Boole, George, 1815-1864.

(1)

COMPUTERS -- Computer Literacy.

(1)

COMPUTERS -- Computer Science.

(1)

COMPUTERS -- Data Processing.

(1)

COMPUTERS -- Information Technology.

(1)

COMPUTERS -- Interactive & Multimedia.

(1)

COMPUTERS -- Reference.

(1)

COMPUTERS -- Social Aspects -- Human-Computer Interaction.

(1)

COMPUTERS / Computer Engineering.

(1)

COMPUTERS / Computer Literacy

(1)

COMPUTERS / Computer Science

(1)

COMPUTERS / Data Processing

(1)

COMPUTERS / Hardware / General

(1)

COMPUTERS / Information Technology

(1)

COMPUTERS / Machine Theory

(1)

COMPUTERS / Reference

(1)

Capillary electrophoresis.

(1)

(1)

Cluster analysis.

(1)

Communication -- Network analysis -- Graphic methods.

(1)

Computational complexity -- Congresses.

(1)

Computational photography.

(1)

Computer logic.

(1)

Computer networks -- Security measures.

(1)

Computer progamming.

(1)

Computer programming.

(1)

Computer science -- Mathematics -- Congresses.

(1)

Computer science -- Mathematics.

(1)

Computer software -- Development.

(1)

Computer viruses.

(1)

Computer-assisted instruction.

(1)

Computerarchitektur.

(1)

Computers and civilization

(1)

Critical theory.

(1)

Cryptography -- Mathematics -- Handbooks, manuals, etc.

(1)

Curves, Elliptic -- Handbooks, manuals, etc.

(1)

Differential games.

(1)

Digital electronics -- Computer simulation.

(1)

Digital electronics -- Data processing.

(1)

Discoveries in science.

(1)

Distribution (Probability theory)

(1)

Document clustering.

(1)

Drugs -- Analysis.

(1)

(1)

Ecological risk assessment -- Methodology.

(1)

Electric machinery, Synchronous.

(1)

Electrical engineers -- United States -- Biography.

(1)

Elektronisches Bauelement.

(1)

Embedded computer systems.

(1)

Engineering -- Data processing -- Congresses.

(1)

Engineering -- Mathematical models -- Congresses.

(1)

Engineering mathematics.

(1)

English literature -- Early modern, 1500-1700 -- History and criticism.

(1)

Field programmable gate arrays.

(1)

File organization (Computer science)

(1)

Fixed point theory.

(1)

Formal methods (Computer science)

(1)

Frankfurt school of sociology.

(1)

(1)

Geschwindigkeitsunabhängigkeit.

(1)

(1)

Hardwareverifikation.

(1)

Hesap karmaşıklığı.

(1)

Human-computer interaction.

(1)

Image processing -- Digital techniques -- Mathematics.

(1)

Industrial engineering.

(1)

Information science -- Statistical methods.

(1)

Information technology.

(1)

Information visualization.

(1)

Integrated circuits -- Verification.

(1)

Integrated circuits -- Very large scale integration.

(1)

Integrierte Schaltung.

(1)

Interactive multimedia.

(1)

Interfaces (Physical sciences)

(1)

Knowledge acquisition (Expert systems)

(1)

Lattice theory.

(1)

Logicians -- Great Britain -- Biography.

(1)

MAKİNE KURAMI.

(1)

MAKİNELER -- ÇİZİM.

(1)

(1)

Machine theory -- Congresses.

(1)

Machine theory -- Handbooks, manuals, etc.

(1)

Machine theory -- Mathematical models.

(1)

Machine theory in literature.

(1)

Machine translating.

(1)

Machinery, Kinematics of.

(1)

(1)

Machines -- Drawing.

(1)

Mantık, sembolik ve Matematiksel.

(1)

Mechanics, Applied.

(1)

(1)

Models, Biological.

(1)

Monotonic functions.

(1)

Multimedia systems.

(1)

Parallel processing (Electronic computers)

(1)

Pollution -- Environmental aspects.

(1)

Production engineering.

(1)

Public administration -- Philosophy.

(1)

Reinforcement learning.

(1)

Research -- Statistical methods.

(1)

Robotics and Automation.

(1)

Science -- Methodology.

(1)

Sequences (Mathematics)

(1)

Shannon, Claude Elwood, 1916-2001.

(1)

Signal processing.

(1)

Siliciumhalbleiter.

(1)

(1)

Strains and stresses.

(1)

Strength of materials -- Mathematical models.

(1)

Support vector machines.

(1)

Swarm intelligence.

(1)

Switching circuits.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Microelectronics.

(1)

Technology and civilization -- England -- History.

(1)

Teknoloji ve uygarlık.

(1)

Telecommunication systems -- Simulation methods.

(1)

Translating and interpreting.

(1)

Verilog (Computer hardware description language)

(1)

Vibration, Dynamical Systems, Control.

(1)

(1)

Yapay zeka -- Popüler eserler.

(1)

Yapay zeka -- Sosyal yönleri.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Kütüphane

Beytepe 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

128 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 7 8 9 10 11

00000000DEFAULT_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.

121.

Algebraic and structural automata theory için kapak resmi

Algebraic and structural automata theory

Algebraic and structural automata theory

Yazar

Mikołajczak, Bolesław.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Trace theory for automatic hierarchical verification of speed-independent circuits için kapak resmi

Trace theory for automatic hierarchical verification of speed-independent circuits

Trace theory for automatic hierarchical verification of speed-independent circuits

Yazar

Dill, David L.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 için kapak resmi

Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983

Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983

Yazar

International FCT-Conference (1983 : Borgholm, Sweden) Karpiński, Marek, 1948- Leeuwen, J. van (Jan)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Automata, languages and machines. Voume B için kapak resmi

Automata, languages and machines. Voume B

Automata, languages and machines. Voume B

Yazar

Eilenberg, Samuel. Tilson, Bret.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Automata, languages and machines. Volume A için kapak resmi

Automata, languages and machines. Volume A

Automata, languages and machines. Volume A

Yazar

Eilenberg, Samuel.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Automaton theory and modeling of biological systems için kapak resmi

Automaton theory and modeling of biological systems

Automaton theory and modeling of biological systems

Yazar

T͡Setlin, Mikhail Lʹvovich, 1924-1966.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Logic, automata, and algorithms için kapak resmi

Logic, automata, and algorithms

Logic, automata, and algorithms

Yazar

Aĭzerman, M. A. (Mark Aronovich), 1913-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Introduction to the theory of finite automata için kapak resmi

Introduction to the theory of finite automata

Introduction to the theory of finite automata

Yazar

Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 7 8 9 10 11

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11