Search Results for Theory of Computation.

|

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)

(85)

Cooper, S. Barry. editor.

(5)

Li, Angsheng. editor.

(5)

Agrawal, Manindra. editor.

(3)

Atallah, Mikhail J.

(3)

Blanton, Marina.

(2)

Cai, Jin-Yi. editor.

(2)

Caro, Jaime. editor.

(2)

Kawano, Yasuhito. editor.

(2)

Liu, Zhiming. editor.

(2)

Mosca, Michele. editor.

(2)

Nishizaki, Shin-ya. editor.

(2)

Numao, Masayuki. editor.

(2)

Raynal, Michel. author.

(2)

Suarez, Merlin Teodosia. editor.

(2)

Woodcock, Jim. editor.

(2)

Zhu, Huibiao. editor.

(2)

Zohdi, Tarek I. author.

(2)

Abraham, Ajith. editor.

(1)

Aceto, Luca. editor.

(1)

Adeli, Hojjat, 1950-

(1)

Alirezaie, Marjan. editor.

(1)

Artemov, Sergei. editor.

(1)

Augustin, Thomas, editor.

(1)

(1)

Bacon, Dave. editor.

(1)

Bahi, Jacques Mohcine.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Barker, V. A., ort. yaz.

(1)

Benatti, Fabio. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Cagnoni, Stefano, 1961-

(1)

Cai, Ruichu. editor.

(1)

Camastra, Francesco. author.

(1)

Chan, T-H. Hubert. editor.

(1)

Charatonik, Witold. editor.

(1)

Chen, Jianer. editor.

(1)

Chen, Yufeng, author.

(1)

Cheng, Reynold. editor.

(1)

Childs, Andrew. editor.

(1)

Chuang, Isaac L., 1968-

(1)

Cicalese, Ferdinando. author.

(1)

Colbaugh, Richard. editor.

(1)

Collet, Pierre. editor.

(1)

Correia, João. editor.

(1)

Couveignes, Jean-Marc.

(1)

Criminale, W. O..

(1)

Csuhaj-Varjú, Erzsébet. editor.

(1)

Cui, Bin. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Dam, Wim. editor.

(1)

(1)

Dershowitz, Nachum. editor.

(1)

Dodig-Crnkovic, Gordana. editor.

(1)

Dolev, Shlomi. editor.

(1)

Dong, Andy. author.

(1)

Dong, Xin Luna. editor.

(1)

Du, Dingzhu. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duckham, Matt. author.

(1)

(1)

D’Alessandro, Flavio. author.

(1)

Edixhoven, B. (Bas), 1962-

(1)

Engeler, Erwin.

(1)

European Society of Computational Methods in Science and Engineering.

(1)

Fan, Wenfei. editor.

(1)

Fannes, Mark. editor.

(1)

Fasano, Giorgio. editor.

(1)

Fellows, Michael. editor.

(1)

Fernau, Henning. editor.

(1)

Fernández, Maribel. author.

(1)

Fiala, Jiří. editor.

(1)

Fischlin, Marc. editor.

(1)

Floreanini, Roberto. editor.

(1)

Fourman, Michael. editor.

(1)

Ganguly, Sumit. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Ghosh-Dastidar, Samanwoy.

(1)

Gilliam, David S., 1946- ed.

(1)

Giovagnoli, Raffaela. editor.

(1)

Glass, Kristin. editor.

(1)

Gopal, T V. editor.

(1)

Gopal, T.V. editor.

(1)

Grant, I. P. editor.

(1)

Grossi, Davide. editor.

(1)

Guyeux, Christophe.

(1)

Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814

(1)

Gąsieniec, Leszek. editor.

(1)

Gębala, Maciej. editor.

(1)

Hamadi, Youssef. author.

(1)

Hammer, Patrick. editor.

(1)

Hartley, Richard, author.

(1)

(1)

Heckel, Reiko. editor.

(1)

Hitzler, Pascal.

(1)

Huang, Huaxin. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

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

(1)

International FCT-Conference (1983 : Borgholm, Sweden)

(1)

International Symposium on the Mathematical Theory of Networks and Systems (15th : 2002 : University of Notre Dame)

(1)

Iwama, Kazuo. editor.

(1)

Jackson, T. L..

(1)

Jain, Rahul. editor.

(1)

Jain, Sanjay. editor.

(1)

Jansen, Klaus. editor.

(1)

Jansen, Thomas. author.

(1)

Jansson, Jesper. editor. (orcid)0000-0001-6859-8932

(1)

Jin, Jian-Ming, 1962-

(1)

Jin, Jian-Ming.

(1)

Johnson, Clayton Matthew.

(1)

(1)

Karhumäki, Juhani. editor.

(1)

Karpiński, Marek, 1948-

(1)

Kendon, Vivien M. editor.

(1)

Kim, Dong-Seong. author.

(1)

Kolman, Petr. editor.

(1)

Kosowski, Adrian. editor.

(1)

Kozen, Dexter C. author.

(1)

Kratochvíl, Jan. editor.

(1)

Krishnamurti, Ramesh. editor.

(1)

Kubrusly, Carlos S. editor.

(1)

Kumar, Rajendra.

(1)

Kupferman, Orna. editor.

(1)

Kutyłowski, Mirosław. editor.

(1)

Lau, Lap Chi. editor.

(1)

Leeuwen, J. van (Jan)

(1)

Lent, Craig S. editor.

(1)

Lepistö, Arto. editor.

(1)

Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862

(1)

Lewis, Harry R.

(1)

Li, Jian. editor.

(1)

Li, ZhiWu, 1967- author.

(1)

Libkin, Leonid. editor.

(1)

Lifschitz, Vladimir.

(1)

Lipton, Richard J. author.

(1)

Liśkiewicz, Maciej. editor.

(1)

Luca, Aldo. author.

(1)

Luccio, Fabrizio, 1938-

(1)

(1)

Maroulis, George.

(1)

Martin-Delgado, Miguel. editor.

(1)

Martí-Oliet, Narciso. editor.

(1)

McCarthy, John, 1927-2011.

(1)

McReynolds, Stephen R.

(1)

Milius, Stefan. editor.

(1)

Moore, Jason H. editor.

(1)

Moret, Bernard M.

(1)

Morin, Pat. editor.

(1)

Murao, Mio. editor.

(1)

Muscholl, Anca. editor.

(1)

Nerode, Anil. editor.

(1)

Nielsen, Michael A. 1974-

(1)

Nissan, Ephraim. editor.

(1)

Nyberg, Kaisa. editor.

(1)

Ogihara, Mitsunori. editor.

(1)

Oltean, Mihai. editor.

(1)

Orlov, Alexei O. editor.

(1)

Ormerod, Paul. editor.

(1)

Oswald, Elisabeth. editor.

(1)

Owe, Olaf. editor.

(1)

(1)

Palomino, Miguel. editor.

(1)

Papadimitriou, Christos H.

(1)

Paule, Peter. editor.

(1)

Petritis, Dimitri. editor.

(1)

Pfenning, Frank. editor.

(1)

Pientka, Brigitte. editor.

(1)

Pintér, János D. editor.

(1)

Pitts, Andrew. editor. (orcid)

(1)

Porod, Wolfgang. editor.

(1)

Portugal, Renato. author.

(1)

Prokopenko, Mikhail. editor.

(1)

Qaddoura, Raneem. editor.

(1)

Regan, Kenneth W. author.

(1)

Reischuk, Rüdiger. editor.

(1)

Reisig, Wolfgang. author.

(1)

Reiter, Edna E. (Edna Elizabeth)

(1)

Renfro, Charles G. author.

(1)

Riolo, Rick. editor.

(1)

Ritchie, Marylyn D. editor.

(1)

Roetteler, Martin. editor.

(1)

Rosenberg, Arnold L. author.

(1)

Rosenthal, Joachim, 1961- ed.

(1)

Roy, Olivier. editor.

(1)

SUN, YIZHOU. editor.

(1)

(1)

Severini, Simone. editor.

(1)

(1)

Simpson, Alex. editor.

(1)

Singh, Arindama. author.

(1)

Sipser, Michael.

(1)

Smith, Stephen L., 1962-

(1)

Smith, Stephen. editor.

(1)

Snider, Gregory L. editor.

(1)

Sobocinski, Pawel. editor.

(1)

Steel, Graham, 1977-

(1)

Steffen, Martin. editor.

(1)

Stephan, Frank. editor.

(1)

Strannegård, Claes. editor.

(1)

Suri, Subhash. editor.

(1)

Tümünü genişlet

Dil

(114)

(1)

Yayın Yılı

-

(38)

(9)

(9)

(8)

(7)

(6)

(5)

(5)

(4)

(4)

(3)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(51)

Information theory.

(47)

Theory of Computation.

(32)

Computational complexity.

(23)

Computer software.

(21)

Artificial intelligence.

(17)

(16)

Artificial Intelligence (incl. Robotics).

(12)

Software engineering.

(11)

(7)

(7)

Logics and Meanings of Programs.

(7)

Mathematical Logic and Formal Languages.

(7)

(6)

Data structures (Computer science).

(6)

Discrete Mathematics in Computer Science.

(6)

Electronic data processing.

(6)

(6)

Algorithm Analysis and Problem Complexity.

(5)

Bioinformatics.

(5)

Computational Intelligence.

(5)

Logic, Symbolic and mathematical.

(5)

Computation by Abstract Devices.

(4)

Computer science—Mathematics.

(4)

(4)

Machine theory.

(4)

Mathematical Logic and Foundations.

(4)

Mathematical logic.

(4)

Mathematical optimization.

(4)

Mathematics of Computing.

(4)

Computer Systems Organization and Communication Networks.

(3)

Computer algorithms.

(3)

Computer graphics.

(3)

Computer network architectures.

(3)

Computer science -- Mathematics.

(3)

Computer simulation.

(3)

(3)

Electronic books.

(3)

(3)

(3)

Programming Languages, Compilers, Interpreters.

(3)

Quantum Information Technology, Spintronics.

(3)

Quantum theory.

(3)

Simulation and Modeling.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Algebra -- Data processing.

(2)

Applications of Mathematics.

(2)

Computer aided design.

(2)

Computer hardware.

(2)

Computer programming.

(2)

Computing Methodologies.

(2)

Data Mining and Knowledge Discovery.

(2)

Electromagnetic fields -- Mathematics -- Textbooks.

(2)

Makine kuramı.

(2)

Mechanics, applied.

(2)

Programming Techniques.

(2)

Programming languages (Electronic computers).

(2)

Quantum Computing.

(2)

Quantum Physics.

(2)

Symbolic and Algebraic Manipulation.

(2)

ARDIŞIK MAKİNE KURAMI.

(1)

Adaptive computing systems.

(1)

Aerospace Technology and Astronautics.

(1)

Appl.Mathematics/Computational Methods of Engineering.

(1)

Architectural design.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Brain -- Diseases -- Diagnosis -- Data processing.

(1)

BİÇİMSEL DİL.

(1)

Chaotic behavior in systems.

(1)

Chemistry, Physical organic.

(1)

Class field theory.

(1)

Coding and Information Theory.

(1)

(1)

Complex Systems.

(1)

Computable functions.

(1)

Computational Biology -- methods.

(1)

Computational Biology/Bioinformatics.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational complexity -- Congresses.

(1)

Computational linguistics.

(1)

Computer Communication Networks.

(1)

Computer communication systems.

(1)

Computer engineering.

(1)

Computer industry.

(1)

Computer logic.

(1)

Computer science -- Congresses.

(1)

Computer science -- Mathematics -- Congresses.

(1)

Computer security.

(1)

Computer system performance.

(1)

Computer vision.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computeralgebra.

(1)

Control theory -- Congresses.

(1)

Control theory.

(1)

Control theory. Mathematical optimization.

(1)

(1)

DENETİM KURAMI -- KONGRELER.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

Database management.

(1)

Differential equations, partial.

(1)

Discrete Mathematics.

(1)

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.

(1)

(1)

Economics -- Statistics.

(1)

(1)

Electrical Engineering.

(1)

Electroencephalography -- Data processing.

(1)

Electronic circuits.

(1)

Engineering -- Data processing -- Congresses.

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

Evolution, Molecular.

(1)

Evolutionary programming (Computer science)

(1)

Field programmable gate arrays.

(1)

Functional programming languages.

(1)

Galois modules (Algebra)

(1)

Genetic programming (Computer science)

(1)

Geographical Information Systems/Cartography.

(1)

Geographical information systems.

(1)

(1)

Geometry, Projective.

(1)

(1)

Hesap karmaşıklığı.

(1)

History of Computing.

(1)

History of Mathematical Sciences.

(1)

(1)

Information Systems and Communication Service.

(1)

Information Systems.

(1)

Information storage and retrieval.

(1)

Information systems.

(1)

Internet -- Mathematical models.

(1)

Künstliche Intelligenz.

(1)

(1)

Laser Technology, Photonics.

(1)

Logic programming.

(1)

MAKİNE KURAMI.

(1)

Machine theory -- Congresses.

(1)

Management of Computing and Information Systems.

(1)

Mantık, sembolik ve Matematiksel.

(1)

Manufacturing processes -- Automation.

(1)

(1)

(1)

Math Applications in Computer Science.

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical Software.

(1)

Mathematical physics.

(1)

Mathematical statistics.

(1)

McCarthy, John A. (Philologe)

(1)

McCarthy, John, 1927-2011.

(1)

Medicine -- Data processing.

(1)

(1)

Microprocessors.

(1)

Models, Genetic.

(1)

Molecular structure.

(1)

Natural language processing (Computer science).

(1)

Numeric Computing.

(1)

Numerical and Computational Physics.

(1)

Numerical calculations.

(1)

Optical pattern recognition.

(1)

PROGRAM DÜZELTİM -- BİLGİSAYAR BİLİMİNDE.

(1)

Partial Differential Equations.

(1)

Pattern Recognition.

(1)

Philosophy of mind.

(1)

(1)

Production engineering -- Automation.

(1)

Programmierung.

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Quantum Optics.

(1)

Quantum computers.

(1)

Quantum computing.

(1)

(1)

SONLU ÖĞE YÖNETİMİ.

(1)

Science -- Data processing -- Congresses.

(1)

Science -- History.

(1)

Social sciences -- Data processing.

(1)

(1)

System analysis -- Congresses.

(1)

SİSTEM ANALİZİ -- KONGRELER.

(1)

Thermodynamics.

(1)

User Interfaces and Human Computer Interaction.

(1)

(1)

World Wide Web -- Mathematical models.

(1)

calcul numérique.

(1)

intelligence artificielle.

(1)

(1)

programmation en logique.

(1)

(1)

(1)

ÇEVRE DEĞERİ PROBLEMLERİ -- SAYISAL ÇÖZÜMLER.

(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

116 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 10

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.

Theory of computation için kapak resmi

Theory of computation

Theory of computation

Yazar

Tourlakis, George J.

Yer Numarası

ONLINE

Elektronik Erişim

Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606
Wiley http://dx.doi.org/10.1002/9781118315361
http://site.ebrary.com/lib/alltitles/Doc?id=10560654
ebrary http://site.ebrary.com/id/10560654

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Theory of Computation için kapak resmi

Theory of Computation

Theory of Computation

Yazar

Kozen, Dexter C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-477-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Mathematical theory of computation için kapak resmi

Mathematical theory of computation

Mathematical theory of computation

Yazar

Manna, Zohar.

Yer Numarası

QA 76.6 M356 1974

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

4.

Elements of Computation Theory için kapak resmi

Elements of Computation Theory

Elements of Computation Theory

Yazar

Singh, Arindama. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-497-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

The theory of computation için kapak resmi

The theory of computation

The theory of computation

Yazar

Moret, Bernard M.

Yer Numarası

QA 267 M67 1998

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

Introduction to the theory of computation için kapak resmi

Introduction to the theory of computation

Introduction to the theory of computation

Yazar

Sipser, Michael.

Yer Numarası

QA267 S56 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

7.

Theory and computation of electromagnetic fields için kapak resmi

Theory and computation of electromagnetic fields

Theory and computation of electromagnetic fields

Yazar

Jin, Jian-Ming.

Yer Numarası

QC665.E4 J56 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

Theory and computation of electromagnetic fields için kapak resmi

Theory and computation of electromagnetic fields

Theory and computation of electromagnetic fields

Yazar

Jin, Jian-Ming, 1962-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Theory of automata languages and computation için kapak resmi

Theory of automata languages and computation

Theory of automata languages and computation

Yazar

Kumar, Rajendra.

Yer Numarası

QA267 K86 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

10.

Theory and Computation of Hydrodynamic Stability için kapak resmi

Theory and Computation of Hydrodynamic Stability

Theory and Computation of Hydrodynamic Stability

Yazar

Criminale, W. O.. Jackson, T. L.. Joslin, R. D..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Algorithms and theory of computation handbook için kapak resmi

Algorithms and theory of computation handbook

Algorithms and theory of computation handbook

Yazar

Atallah, Mikhail J.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Elements of the theory of computation için kapak resmi

Elements of the theory of computation

Elements of the theory of computation

Yazar

Lewis, Harry R. Papadimitriou, Christos H.

Yer Numarası

QA267 .L49 1998

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 10

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11