Search Results for Machine theory.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(9)

Eilenberg, Samuel.

(2)

(2)

Aggarwal, Charu C., editor of compilation.

(1)

(1)

Allouche, Jean-Paul.

(1)

Antonelli Ponti, Moacir. author.

(1)

Arnold, A. (André), 1945-

(1)

Avanzi, Roberto.

(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)

Bergstra, J. A.

(1)

Box, Richard C.

(1)

Camastra, Francesco.

(1)

Camastra, Francesco. author.

(1)

Cao, Bing-Yuan. author.

(1)

Castejón, C. editor.

(1)

Castejón, Cristina. editor.

(1)

Ceccarelli, Marco. editor.

(1)

(1)

Cheng, Li. editor.

(1)

Chu, Pong P., 1959-

(1)

Clarke, Bertrand. author.

(1)

(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)

Elliott, Ian D.

(1)

F MELLO, RODRIGO. author.

(1)

Ferdjallah, Mohammed.

(1)

Fokoue, Ernest. author.

(1)

Frey, Gerhard, 1944-

(1)

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

(1)

García-Prada, Juan Carlos. editor.

(1)

Gnesi, Stefania, 1954-

(1)

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

(1)

Gupta, B. V. R.

(1)

Harame, David Louis.

(1)

Hauenschild, Christa.

(1)

Heizmann, Susanne, 1963-

(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)

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)

John Wiley & Sons.

(1)

Kanevski, Mikhail.

(1)

Kapır, Bahadır.

(1)

Karpiński, Marek, 1948-

(1)

(1)

Kobrinskiĭ, Natan Efimovich.

(1)

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

(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)

(1)

Liao, Yun-zhang. author.

(1)

Lin, Hao-Ran. author.

(1)

(1)

(1)

Lukac, Rastislav.

(1)

MIT Press, publisher.

(1)

Margaria-Steffen, Tiziana, 1964-

(1)

Mayer, Richard E., 1947- editor.

(1)

Mikołajczak, Bolesław.

(1)

Minns, Peter D.

(1)

Mohammed, Mohssen, 1982-

(1)

Moret, Bernard M.

(1)

Motwani, Rajeev.

(1)

Mousavi, Mohammad Reza, 1978-, author.

(1)

(1)

Neubert, Reinhard.

(1)

Niwiński, Damian.

(1)

Oprysko, Modest Michael, 1957-

(1)

Papadimitriou, Christos H.

(1)

Pathan, Al-Sakib Khan.

(1)

Perrin, Dominique.

(1)

Pietikäinen, Matti. editor.

(1)

Pin, Jean Eric.

(1)

Ponse, A. (Alban), 1955-

(1)

(1)

Pozdnoukhov, Alexei.

(1)

Reddy, Chandan K., 1980- editor of compilation.

(1)

(1)

R¿ttinger, Hans-Hermann.

(1)

Schaum, Daniel.

(1)

Schwartz, Howard M., author.

(1)

Shallit, Jeffrey.

(1)

Singh, Raminderpal.

(1)

Sipser, Michael.

(1)

Smith, C. F. (Craig Forsythe), 1950-

(1)

Smolka, Scott A.

(1)

Suter, Glenn W.

(1)

Tian, Yingjie, 1973-

(1)

(1)

Timonin, Vadim.

(1)

(1)

Trakhtenbrot, B. A. (Boris Avraamovich), author.

(1)

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

(1)

Ullman, Jeffrey D., 1942-

(1)

Viadero, Fernando. editor.

(1)

Vinciarelli, Alessandro.

(1)

Vinciarelli, Alessandro. author.

(1)

Vovk, Vladimir, 1960- editor of compilation.

(1)

Wagner, Ferdinand.

(1)

Wang, Jiacun, editor of compilation.

(1)

Wang, Liang. editor.

(1)

Zengin, Ferhat.

(1)

Zhang, Chunhua, 1978-

(1)

Zhang, Hao Helen. author.

(1)

Zhao, Guoying. editor.

(1)

(1)

Language

(63)

(1)

Publication Date

-

(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)

Subject

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)

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

70 Results Found

Subscribe to search results

1 2 3 4 5 6

0000000000DEFAULT

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.

61.

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:

62.

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:

63.

Cover image for Algebraic and structural automata theory

Algebraic and structural automata theory

Algebraic and structural automata theory

Author

Mikołajczak, Bolesław.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Trace theory for automatic hierarchical verification of speed-independent circuits

Trace theory for automatic hierarchical verification of speed-independent circuits

Trace theory for automatic hierarchical verification of speed-independent circuits

Author

Dill, David L.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Automata, languages and machines. Voume B

Automata, languages and machines. Voume B

Automata, languages and machines. Voume B

Author

Eilenberg, Samuel. Tilson, Bret.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Automata, languages and machines. Volume A

Automata, languages and machines. Volume A

Automata, languages and machines. Volume A

Author

Eilenberg, Samuel.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Automaton theory and modeling of biological systems

Automaton theory and modeling of biological systems

Automaton theory and modeling of biological systems

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Logic, automata, and algorithms

Logic, automata, and algorithms

Logic, automata, and algorithms

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Introduction to the theory of finite automata

Introduction to the theory of finite automata

Introduction to the theory of finite automata

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11