Search Results for Theory of Computation.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

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)

Language

(114)

(1)

Publication Date

-

(38)

(9)

(9)

(8)

(7)

(6)

(5)

(5)

(4)

(4)

(3)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

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)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

116 Results Found

Subscribe to search results

1 2 3 4 5 .. 10

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Theory of computation

Theory of computation

Theory of computation

Author

Tourlakis, George J.

Preferred Shelf Number

ONLINE

Electronic Access

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:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Theory of Computation

Theory of Computation

Theory of Computation

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Mathematical theory of computation

Mathematical theory of computation

Mathematical theory of computation

Author

Manna, Zohar.

Preferred Shelf Number

QA 76.6 M356 1974

Format:

Availability

Beytepe Library~2

Available:
Copies:

4.

Cover image for Elements of Computation Theory

Elements of Computation Theory

Elements of Computation Theory

Author

Singh, Arindama. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for The theory of computation

The theory of computation

The theory of computation

Author

Moret, Bernard M.

Preferred Shelf Number

QA 267 M67 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Cover image for Introduction to the theory of computation

Introduction to the theory of computation

Introduction to the theory of computation

Author

Sipser, Michael.

Preferred Shelf Number

QA267 S56 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

7.

Cover image for Theory and computation of electromagnetic fields

Theory and computation of electromagnetic fields

Theory and computation of electromagnetic fields

Author

Jin, Jian-Ming.

Preferred Shelf Number

QC665.E4 J56 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

Cover image for Theory and computation of electromagnetic fields

Theory and computation of electromagnetic fields

Theory and computation of electromagnetic fields

Author

Jin, Jian-Ming, 1962-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Theory of automata languages and computation

Theory of automata languages and computation

Theory of automata languages and computation

Author

Kumar, Rajendra.

Preferred Shelf Number

QA267 K86 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

Cover image for Theory and Computation of Hydrodynamic Stability

Theory and Computation of Hydrodynamic Stability

Theory and Computation of Hydrodynamic Stability

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Algorithms and theory of computation handbook

Algorithms and theory of computation handbook

Algorithms and theory of computation handbook

Author

Atallah, Mikhail J.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Elements of the theory of computation

Elements of the theory of computation

Elements of the theory of computation

Author

Lewis, Harry R. Papadimitriou, Christos H.

Preferred Shelf Number

QA267 .L49 1998

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 10

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11