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)

(609)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(11)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(11)

Fehr, Serge. editor.

(10)

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X

(9)

Sasaki, Yu. editor. (orcid)0000-0002-1273-2394

(9)

Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276

(8)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

Joye, Marc. editor. (orcid)0000-0003-4433-2333

(7)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(7)

Leander, Gregor. editor. (orcid)0000-0002-2579-8587

(7)

Lee, Roger. editor.

(7)

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960

(7)

Paszynski, Maciej. editor.

(7)

Sheng, Bin. editor. (orcid)0000-0001-8678-2784

(7)

Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382

(6)

Cooper, S. Barry. editor.

(6)

Kowalczyk, Ryszard. editor.

(6)

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052

(6)

Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757

(6)

Coron, Jean-Sébastien. editor.

(5)

Correia, João. editor.

(5)

Jager, Tibor. editor. (orcid)0000-0002-3205-7699

(5)

Li, Angsheng. editor.

(5)

Martín-Vide, Carlos. editor.

(5)

Nguyen, Ngoc Thanh. editor.

(5)

Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850

(5)

Takagi, Tsuyoshi. editor.

(5)

Abramson, David. editor. (orcid)0000-0003-0441-4596

(4)

Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453

(4)

Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874

(4)

Bi, Lei. editor. (orcid)0000-0001-9759-0200

(4)

Boyle, Elette. editor.

(4)

Cai, Wentong. editor. (orcid)0000-0002-0183-3835

(4)

Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699

(4)

Doya, Kenji. editor.

(4)

Ferrández Vicente, José Manuel. editor.

(4)

Filipe, Joaquim. editor.

(4)

Hirose, Akira. editor.

(4)

Huang, De-Shuang. editor.

(4)

Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121

(4)

Kacprzyk, Janusz. editor.

(4)

Kim, Jinman. editor.

(4)

Kumar, Devendra. editor. (orcid)0000-0003-4249-6326

(4)

Lee, Minho. editor.

(4)

Lees, Michael H. editor. (orcid)0000-0002-5457-9180

(4)

Legay, Axel. editor.

(4)

Li, Xiaodong. editor.

(4)

Liu, Derong. editor.

(4)

Mahmoody, Mohammad. editor.

(4)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(4)

Ozawa, Seiichi. editor.

(4)

Singh, Jagdev. editor. (orcid)0000-0001-6853-4138

(4)

Su, Yi. editor.

(4)

Tang, Qiang. editor.

(4)

Teague, Vanessa. editor.

(4)

Acosta, Maribel. editor. (orcid)0000-0002-1209-2868

(3)

Agrawal, Manindra. editor.

(3)

Aliev, Rafik A. editor.

(3)

Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662

(3)

Chen, Yong. editor.

(3)

Cheng, Gong. editor. (orcid)0000-0003-3539-7776

(3)

Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693

(3)

Deng, Zhigang. editor. (orcid)0000-0002-0452-8676

(3)

Ferranti, Nicolas. editor. (orcid)0000-0002-5574-1987

(3)

Finkbeiner, Bernd. editor.

(3)

Fischlin, Marc. editor.

(3)

Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Hart, Emma. editor.

(3)

Hartig, Olaf. editor. (orcid)0000-0002-1741-2090

(3)

Hernández, Daniel. editor. (orcid)0000-0002-7896-0875

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Hogan, Aidan. editor. (orcid)0000-0001-9482-1982

(3)

Hose, Katja. editor. (orcid)0000-0001-7025-8099

(3)

Hussain, Amir. editor.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Jat, Dharm Singh. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Katz, Jonathan. editor.

(3)

Kim, Jinman. editor. (orcid)0000-0001-5960-1060

(3)

Klasing, Ralf. editor.

(3)

Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337

(3)

Kovács, Laura. editor.

(3)

Kunkel, Julian M. editor.

(3)

Lange, Christoph. editor.

(3)

Li, Ping. editor. (orcid)0000-0002-1503-0240

(3)

López-Ibáñez, Manuel. editor.

(3)

Madani, Kurosh. editor.

(3)

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Mishra, Durgesh. editor.

(3)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(3)

Nielsen, Jesper Buus. editor.

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118

(3)

Pedrycz, Witold. editor.

(3)

Peyrin, Thomas. editor.

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Ren, Jinchang. editor.

(3)

Robshaw, Matthew. editor.

(3)

Rocha, Ana Paula. editor.

(3)

Rosa, Agostinho. editor.

(3)

Shi, Yuhui. editor.

(3)

Skaf-Molli, Hala. editor. (orcid)0000-0003-1062-6659

(3)

Smith, Stephen. editor.

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670

(3)

Tan, Ying. editor. (orcid)0000-0001-8243-4731

(3)

Unal, Aynur. editor.

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Wu, Weili. editor.

(3)

Zhang, An. editor. (orcid)0000-0002-2622-5158

(3)

Zhu, Huibiao. editor.

(3)

Aceto, Luca. editor.

(2)

Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

(2)

Adamatzky, Andrew. editor.

(2)

Akshay, S. editor. (orcid)0000-0002-2471-5997

(2)

Anastassiou, George A. editor.

(2)

Anastassiou, George A. editor. (orcid)0000-0002-3781-9824

(2)

Artho, Cyrille. editor.

(2)

Asirvatham, David. editor.

(2)

Atallah, Mikhail J.

(2)

Atzmüller, Martin. editor. (orcid)0000-0002-2480-6901

(2)

Babanli, M.B. editor.

(2)

Balaji, Pavan. editor.

(2)

Baleanu, Dumitru. editor.

(2)

Baleanu, Dumitru. editor. (orcid)0000-0002-0286-7244

(2)

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X

(2)

Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Bhasin, Shivam. editor.

(2)

Biecek, Przemysław. editor.

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Blanton, Marina.

(2)

Blum, Christian. author.

(2)

Bobek, Szymon. editor.

(2)

Bruno, Pierangela. editor.

(2)

Cadenas, José M. editor.

(2)

Cagnoni, Stefano. editor.

(2)

Cai, Jin-Yi. editor.

(2)

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X

(2)

Calimeri, Francesco. editor.

(2)

Caro, Jaime. editor.

(2)

Castelli, Mauro. editor.

(2)

Catala, Andreu. editor.

(2)

Cauteruccio, Francesco. editor.

(2)

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983

(2)

Cheon, Jung Hee. editor.

(2)

Chung, Neo Christopher. editor.

(2)

Ciesielski, Vic. editor.

(2)

Cintrano, Christian. editor.

(2)

Corchado, Emilio. editor.

(2)

Cudré-Mauroux, Philippe. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

Dey, Maitreyee. editor.

(2)

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X

(2)

Dimitrova, Rayna. editor.

(2)

Dimitrova, Vania. editor.

(2)

Dourado, António. editor.

(2)

Du, Donglei. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Falkowski-Gilski, Przemyslaw. editor.

(2)

Fellows, Michael. editor.

(2)

Fernandez, Miriam. editor.

(2)

Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946

(2)

Gangemi, Aldo. editor.

(2)

Gao, Yang. editor. (orcid)0000-0002-2488-1813

(2)

Gao, Zhi. editor.

(2)

García-Sánchez, Pablo. editor.

(2)

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894

(2)

Gavrilova, Marina L. editor.

(2)

Ghosh, Smita. editor. (orcid)0000-0002-7026-1826

(2)

Gopal, T.V. editor.

(2)

Guo, Jianxiong. editor.

(2)

Gąsieniec, Leszek. editor.

(2)

Hameurlain, Abdelkader. editor.

(2)

Han, Lu. editor.

(2)

Heflin, Jeff. editor.

(2)

Hirt, Martin. editor.

(2)

Hitzler, Pascal. editor.

(2)

Hoekstra, Rinke. editor.

(2)

Hu, Bin. editor.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789

(2)

Jamshidi, Mo. editor.

(2)

Jaworek-Korjakowska, Joanna. editor. (orcid)0000-0003-0146-8652

(2)

Jiang, Bo. editor.

(2)

Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092

(2)

Johnson, Colin. editor.

(2)

Joya, Gonzalo. editor.

(2)

Kawano, Yasuhito. editor.

(2)

Kayakutlu, Gülgün. editor. (orcid)0000-0001-8548-6377

(2)

Kliegr, Tomáš. editor. (orcid)0000-0002-7261-0380

(2)

Kobayashi, Naoki. editor.

(2)

Korytkowski, Marcin. editor.

(2)

Kozierkiewicz, Adrianna. editor. (orcid)0000-0001-8445-3979

(2)

Tümünü genişlet

Dil

(672)

(1)

Yayın Yılı

-

(142)

(137)

(132)

(114)

(39)

(14)

(13)

(12)

(8)

(7)

(6)

(6)

(5)

(5)

(5)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(454)

Theory of Computation.

(432)

Artificial intelligence.

(287)

Computer networks .

(184)

Computer science -- Mathematics.

(155)

Software engineering.

(154)

Computer Communication Networks.

(135)

Application software.

(123)

Computer and Information Systems Applications.

(123)

(115)

Information theory.

(109)

Mathematics of Computing.

(85)

Discrete Mathematics in Computer Science.

(70)

(68)

(68)

Data encryption (Computer science).

(68)

Discrete mathematics.

(64)

Data protection.

(60)

Machine theory.

(59)

Computer engineering.

(56)

Data structures (Computer science).

(56)

Computer Engineering and Networks.

(55)

Computer vision.

(54)

Formal Languages and Automata Theory.

(54)

Computer Science Logic and Foundations of Programming.

(51)

Data Structures and Information Theory.

(50)

(46)

Computational intelligence.

(45)

Data Mining and Knowledge Discovery.

(45)

Computer simulation.

(41)

Computer Modelling.

(38)

Automated Pattern Recognition.

(34)

Database management.

(34)

Information Storage and Retrieval.

(34)

Information storage and retrieval systems.

(34)

Pattern recognition systems.

(34)

Compilers (Computer programs).

(33)

Compilers and Interpreters.

(33)

Computer System Implementation.

(32)

Computer networks -- Security measures.

(32)

Computer systems.

(32)

Mobile and Network Security.

(32)

Data and Information Security.

(31)

Security Services.

(29)

(27)

Computational complexity.

(26)

Electronic data processing -- Management.

(26)

(26)

(25)

Computers, Special purpose.

(25)

Special Purpose and Application-Based Systems.

(25)

Bioinformatics.

(22)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(21)

Computer software.

(21)

Image processing -- Digital techniques.

(21)

Coding and Information Theory.

(20)

Computer programming.

(19)

Programming Techniques.

(19)

Mathematical Logic and Foundations.

(18)

Mathematical logic.

(18)

Computational and Systems Biology.

(17)

Information technology -- Management.

(17)

(17)

Numerical analysis.

(17)

Computer Application in Administrative Data Processing.

(16)

Natural language processing (Computer science).

(16)

Natural Language Processing (NLP).

(15)

Computational Mathematics and Numerical Analysis.

(14)

Control Structures and Microprogramming.

(14)

Mathematics -- Data processing.

(14)

Microprogramming .

(14)

Logic programming.

(13)

Machine learning.

(13)

Symbolic and Algebraic Manipulation.

(13)

Artificial Intelligence (incl. Robotics).

(12)

Computer graphics.

(12)

Computing Milieux.

(12)

Electronic books.

(12)

(12)

Signal processing.

(12)

Mathematical optimization.

(11)

Signal, Speech and Image Processing.

(11)

Artificial intelligence -- Data processing.

(10)

(10)

Operating Systems.

(10)

Operating systems (Computers).

(10)

Electronic digital computers -- Evaluation.

(9)

Mathematical statistics.

(9)

Quantum Computing.

(9)

Quantum computers.

(9)

System Performance and Evaluation.

(9)

(8)

Engineering -- Data processing.

(8)

Engineering mathematics.

(8)

(8)

(8)

(8)

Probability and Statistics in Computer Science.

(8)

User Interfaces and Human Computer Interaction.

(8)

Applied Dynamical Systems.

(7)

Complex Systems.

(7)

Control engineering.

(7)

Electronic data processing.

(7)

Human-computer interaction.

(7)

Logics and Meanings of Programs.

(7)

Mathematical Logic and Formal Languages.

(7)

Nonlinear theories.

(7)

(7)

Programming languages (Electronic computers).

(7)

(7)

User interfaces (Computer systems).

(7)

(6)

Social sciences -- Data processing.

(6)

Algorithm Analysis and Problem Complexity.

(5)

(5)

Communications Engineering, Networks.

(5)

Computational Intelligence.

(5)

Computational Science and Engineering.

(5)

Computational linguistics.

(5)

Computer Application in Social and Behavioral Sciences.

(5)

Computer Hardware.

(5)

Control, Robotics, Automation.

(5)

Data Engineering.

(5)

Logic, Symbolic and mathematical.

(5)

Mathematical Modeling and Industrial Mathematics.

(5)

Models of Computation.

(5)

Programming Language.

(5)

(5)

Telecommunication.

(5)

Computation by Abstract Devices.

(4)

Computer science—Mathematics.

(4)

Design and Analysis of Algorithms.

(4)

Digital humanities.

(4)

Electronic commerce.

(4)

Mathematical models.

(4)

Microprocessors.

(4)

(4)

(4)

The Computing Profession.

(4)

e-Commerce and e-Business.

(4)

Applications of Mathematics.

(3)

Computer Systems Organization and Communication Networks.

(3)

Computer algorithms.

(3)

Computer architecture.

(3)

Computer network architectures.

(3)

Computers and Education.

(3)

Database Management System.

(3)

Education -- Data processing.

(3)

Electrical and Electronic Engineering.

(3)

Electrical engineering.

(3)

Expert systems (Computer science).

(3)

Hardware Performance and Reliability.

(3)

Knowledge Based Systems.

(3)

MATHEMATICS -- Applied.

(3)

MATHEMATICS -- Probability & Statistics -- General.

(3)

(3)

Mathematical Applications in Computer Science.

(3)

Mathematical and Computational Engineering Applications.

(3)

Mathematical physics.

(3)

(3)

(3)

Operations research.

(3)

Processor Architectures.

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

TECHNOLOGY & ENGINEERING.

(3)

Theory and Algorithms for Application Domains.

(3)

Thermodynamics.

(3)

Algebra -- Data processing.

(2)

Algebraic topology.

(2)

Arithmetic and Logic Structures.

(2)

Computable functions.

(2)

Computer aided design.

(2)

Computer hardware.

(2)

Computer science -- Congresses.

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

Computing Methodologies.

(2)

Control and Systems Theory.

(2)

Control theory.

(2)

Data Analysis and Big Data.

(2)

Density functionals.

(2)

Discrete Mathematics.

(2)

Electromagnetic fields -- Mathematics -- Textbooks.

(2)

Engineering design.

(2)

Evolution (Biology).

(2)

Evolutionary Biology.

(2)

Geographic information systems.

(2)

Geographical Information System.

(2)

Health Informatics.

(2)

History of Computing.

(2)

Humanities and Social Sciences.

(2)

(2)

Image processing.

(2)

Informatique douce.

(2)

(2)

Makine kuramı.

(2)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

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

674 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 57

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.

The Language of Design Theory and Computation için kapak resmi

The Language of Design Theory and Computation

The Language of Design Theory and Computation

Yazar

Dong, Andy. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-021-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

The computation and theory of optimal control için kapak resmi

The computation and theory of optimal control

The computation and theory of optimal control

Yazar

Dyer, Peter. McReynolds, Stephen R.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Theory of Computation Automata, Formal Languages, Computation and Complexity için kapak resmi

Theory of Computation Automata, Formal Languages, Computation and Complexity

Theory of Computation Automata, Formal Languages, Computation and Complexity

Yazar

Chowdhary, K.R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-6234-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

An Introduction to Theory of Computation An Algorithmic Approach için kapak resmi

An Introduction to Theory of Computation An Algorithmic Approach

An Introduction to Theory of Computation An Algorithmic Approach

Yazar

Ogihara, Mitsunori. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-84740-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Yazar

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90897-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57231-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings için kapak resmi

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Yazar

Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2340-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Theory and computation of electromagnetic fields in layered media için kapak resmi

Theory and computation of electromagnetic fields in layered media

Theory and computation of electromagnetic fields in layered media

Yazar

Okhmatovski, Vladimir, author. Zheng, Shucheng, author.

Yer Numarası

QC665 .E4 O55 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763222

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57228-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30829-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings için kapak resmi

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Yazar

Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43587-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

THEORY AND PRACTICE OF COMPUTATION proceedings of the workshop on. için kapak resmi

THEORY AND PRACTICE OF COMPUTATION proceedings of the workshop on.

THEORY AND PRACTICE OF COMPUTATION proceedings of the workshop on.

Yazar

Workshop on Computation: Theory and Practice (2013 : Diliman, Quezon City, Philippines) Nishizaki, Shin-ya, editor.

Yer Numarası

QA75.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780367814656
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 57

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11