Search Results for Formal languages.

|

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

Daraltılmış:

+

Konu: Data structures (Computer science).

Yazar

SpringerLink (Online service)

(11)

Celino, Irene. editor. (orcid)0000-0001-9962-7193

(2)

Corcho, Oscar. editor. (orcid)0000-0002-9260-0753

(2)

Groth, Paul. editor. (orcid)0000-0003-0183-6910

(2)

Lisena, Pasquale. editor. (orcid)0000-0003-3094-5585

(2)

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842

(2)

Nuzzolese, Andrea Giovanni. editor. (orcid)0000-0003-2928-9496

(2)

Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367

(2)

Presutti, Valentina. editor. (orcid)0000-0002-9380-5160

(2)

Raad, Joe. editor. (orcid)0000-0002-7891-7738

(2)

Revenko, Artem. editor. (orcid)0000-0001-6681-3328

(2)

Sabou, Marta. editor. (orcid)0000-0001-9301-8418

(2)

Sartini, Bruno. editor. (orcid)0000-0002-9152-4402

(2)

Simperl, Elena. editor. (orcid)0000-0003-1722-947X

(2)

Soto, José A. editor.

(2)

Tamma, Valentina. editor. (orcid)0000-0002-1320-610X

(2)

Wiese, Andreas. editor.

(2)

Chan, T-H. Hubert. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Cámara, Javier. editor.

(1)

Gopal, T.V. editor.

(1)

Jongmans, Sung-Shik. editor.

(1)

Jäger, Gerhard. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Lau, Lap Chi. editor.

(1)

Lecroq, Thierry. editor.

(1)

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673

(1)

Mouchard, Laurent. editor.

(1)

Sgall, Jirí. editor.

(1)

Steila, Silvia. editor.

(1)

Sun, Meng. editor.

(1)

Trevisan, Luca. editor.

(1)

Tümünü genişlet

Dil

(11)

Yayın Yılı

-

(4)

(4)

(2)

(1)

Konu

Information theory.

(8)

Computer science.

(7)

Data Structures and Information Theory.

(7)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Computer software.

(4)

Discrete Mathematics in Computer Science.

(4)

Mathematical Logic and Formal Languages.

(4)

Artificial intelligence.

(3)

Computer science -- Mathematics.

(3)

Data Structures.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Theory of Computation.

(3)

Application software.

(2)

Computational complexity.

(2)

Computer Communication Networks.

(2)

Computer System Implementation.

(2)

Computer and Information Systems Applications.

(2)

Computer networks .

(2)

Computer systems.

(2)

Database management.

(2)

Discrete mathematics.

(2)

Mathematics of Computing.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Software engineering.

(2)

Algebra -- Data processing.

(1)

(1)

Bioinformatics.

(1)

(1)

Computation by Abstract Devices.

(1)

Computational Biology/Bioinformatics.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Electronic data processing.

(1)

(1)

(1)

Logics and Meanings of Programs.

(1)

Math Applications in Computer Science.

(1)

Numeric Computing.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Ç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

11 sonuç bulundu

Arama sonuçlarına abone ol

1

00000000000DEFAULT_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 Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I için kapak resmi

The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I

The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I

Yazar

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Corcho, Oscar. editor. (orcid)0000-0002-9260-0753 Groth, Paul. editor. (orcid)0000-0003-0183-6910 Simperl, Elena. editor. (orcid)0000-0003-1722-947X Tamma, Valentina. editor. (orcid)0000-0002-1320-610X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78952-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part II için kapak resmi

The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part II

The Semantic Web: ESWC 2024 Satellite Events Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part II

Yazar

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Corcho, Oscar. editor. (orcid)0000-0002-9260-0753 Groth, Paul. editor. (orcid)0000-0003-0183-6910 Simperl, Elena. editor. (orcid)0000-0003-1722-947X Tamma, Valentina. editor. (orcid)0000-0002-1320-610X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78955-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I için kapak resmi

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

Yazar

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-55598-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II için kapak resmi

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

Yazar

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Yazar

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71261-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Yazar

Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-52183-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings için kapak resmi

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Yazar

Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-55911-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings için kapak resmi

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Yazar

Konstantinidis, Stavros. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334771.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39274-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings için kapak resmi

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Yazar

Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334925.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40313-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers için kapak resmi

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

Yazar

Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335202.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45278-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings için kapak resmi

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Yazar

Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334564.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38236-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11