Search Results for Formal languages.

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

Narrowed by:

+

Subject: Data structures (Computer science).

Author

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)

Language

(11)

Publication Date

-

(4)

(4)

(2)

(1)

Subject

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)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

11 Results Found

Subscribe to search results

1

00000000000DEFAULT

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

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

Author

Konstantinidis, Stavros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334771.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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

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

Author

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

Preferred Shelf Number

ONLINE(334925.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

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

Author

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

Preferred Shelf Number

ONLINE(335202.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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

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

Author

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

Preferred Shelf Number

ONLINE(334564.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11