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: Information theory.

Author

SpringerLink (Online service)

(16)

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)

Artemov, Sergei. editor.

(1)

Bollig, Benedikt. author.

(1)

Chan, T-H. Hubert. editor.

(1)

Cámara, Javier. editor.

(1)

D’Alessandro, Flavio. author.

(1)

Everitt, Tom. editor.

(1)

Goertzel, Ben. editor.

(1)

Gopal, T.V. editor.

(1)

Grossi, Davide. editor.

(1)

Grumberg, Orna. editor.

(1)

Huang, Huaxin. editor.

(1)

Jongmans, Sung-Shik. editor.

(1)

Jäger, Gerhard. editor.

(1)

Kaminski, Michael. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Katz, Shmuel. editor.

(1)

Lau, Lap Chi. editor.

(1)

Lepistö, Arto. editor.

(1)

Luca, Aldo. author.

(1)

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

(1)

Martí-Oliet, Narciso. editor.

(1)

Nerode, Anil. editor.

(1)

Palomino, Miguel. editor.

(1)

Potapov, Alexey. editor.

(1)

Roy, Olivier. editor.

(1)

Steila, Silvia. editor.

(1)

Sun, Meng. editor.

(1)

Trevisan, Luca. editor.

(1)

Wintner, Shuly. editor.

(1)

Zamboni, Luca. editor.

(1)

Language

(15)

(1)

Publication Date

-

(6)

(4)

(2)

(2)

(1)

(1)

Subject

Computer science.

(11)

Data structures (Computer science).

(8)

Theory of Computation.

(8)

Data Structures and Information Theory.

(7)

Formal Languages and Automata Theory.

(6)

Machine theory.

(6)

Mathematical Logic and Formal Languages.

(6)

Artificial intelligence.

(5)

(5)

Logic, Symbolic and mathematical.

(4)

Logics and Meanings of Programs.

(4)

Software engineering.

(4)

Computer science -- Mathematics.

(3)

Computer software.

(3)

Discrete Mathematics in Computer Science.

(3)

Mathematical Logic and Foundations.

(3)

Mathematics of Computing.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Application software.

(2)

Computation by Abstract Devices.

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

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Algebra -- Data processing.

(1)

(1)

Applications of Mathematics.

(1)

Arithmetic and Logic Structures.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Coding and Information Theory.

(1)

(1)

(1)

Computational complexity.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computers, Special purpose.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Discrete Mathematics.

(1)

Information systems.

(1)

Information technology -- Management.

(1)

(1)

Math Applications in Computer Science.

(1)

(1)

(1)

Programming Languages, Compilers, Interpreters.

(1)

Special Purpose and Application-Based Systems.

(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

16 Results Found

Subscribe to search results

1 2

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 Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Author

Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Author

Bollig, Benedikt. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-32923-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

4.

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:

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

8.

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:

9.

Cover image for Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Author

Everitt, Tom. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

Cover image for Teoria degli Automi Finiti

Teoria degli Automi Finiti

Teoria degli Automi Finiti

Author

Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335644.1)

Electronic Access

http://dx.doi.org/10.1007/978-88-470-5474-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11