Search Results for Formal languages.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer Communication Networks.

Author

SpringerLink (Online service)

(43)

Bouajjani, Ahmed. editor.

(2)

Liu, Shaoying. editor.

(2)

Soto, José A. editor.

(2)

Wiese, Andreas. editor.

(2)

Albert, Elvira. editor.

(1)

Amos, Martyn. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Arbel, Eli. editor.

(1)

Baier, Christel. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Barbosa, Haniel. editor.

(1)

Berdine, Josh. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Bollen, Peter. editor.

(1)

Bravetti, Mario. editor.

(1)

Brlek, Srečko. editor.

(1)

Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949

(1)

Broering, Arne. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cholvy, Laurence. editor.

(1)

Ciuciu, Ioana. editor.

(1)

Condon, Anne. editor.

(1)

Cook, Matthew. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706

(1)

Debruyne, Christophe. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Dinh, Thang N. editor.

(1)

Dolce, Francesco. editor.

(1)

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571

(1)

Duan, Zhenhua. editor.

(1)

Eder, Johann. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Fensel, Anna. editor.

(1)

Formenti, Enrico. editor.

(1)

Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159

(1)

Gaag, Linda C. editor.

(1)

Gamard, Guilhem. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Groves, Lindsay. editor.

(1)

Hierons, Robert M. editor.

(1)

Hinchey, Mike. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hähnle, Reiner. editor.

(1)

Jeong, Young-Sik. editor.

(1)

Jimenez-Ruiz, Ernesto. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

(1)

Kephart, Jeffrey O. editor.

(1)

Kern-Isberner, Gabriele. editor.

(1)

Kordon, Fabrice. editor.

(1)

Kounev, Samuel. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leroy, Julien. editor.

(1)

Mangler, Jürgen. author.

(1)

Manzoni, Luca. editor.

(1)

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

(1)

Martel, Matthieu. editor.

(1)

Mastroeni, Isabella. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Milenkoski, Aleksandar. editor.

(1)

Moldt, Daniel. editor.

(1)

Monniaux, David. editor.

(1)

Müller, Jörg P. editor.

(1)

Neary, Turlough. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Nunes, Ingrid. editor.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Ong, Luke. editor.

(1)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(1)

Papini, Odile. editor.

(1)

Park, James J. (Jong Hyuk). editor.

(1)

Pinger, Ralf. editor.

(1)

Podnar Žarko, Ivana. editor.

(1)

Porreca, Antonio E. editor.

(1)

Poveda-Villalón, María. editor.

(1)

Prabhakar, Pavithra. editor.

(1)

Reutenauer, Christophe. editor.

(1)

Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108

(1)

Ritter, Daniel. author. (orcid)0000-0001-6146-3365

(1)

Romanovsky, Alexander. editor.

(1)

Serrano, Martin. editor.

(1)

Shen, Hong. editor.

(1)

Silva, Alexandra. editor.

(1)

Soursos, Sergios. editor.

(1)

Spivakovsky, Aleksander. editor.

(1)

Steffen, Bernhard. editor.

(1)

Strichman, Ofer. editor.

(1)

Sun, Jing. editor.

(1)

Thai, My T. editor.

(1)

Troubitsyna, Elena. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Vandomme, Élise. editor.

(1)

Varró, Dániel. editor.

(1)

Vidal, Maria-Esther. editor.

(1)

Weichhart, Georg. editor.

(1)

Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098

(1)

Yi, Gangman. editor.

(1)

Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794

(1)

Zholtkevych, Grygoriy. editor.

(1)

Zhu, Xiaoyun. editor.

(1)

Zohar, Yoni. editor.

(1)

de Boer, Frank. editor.

(1)

van den Brand, Mark. editor.

(1)

Ölveczky, Peter Csaba. author.

(1)

Language

(43)

Publication Date

-

(16)

(13)

(8)

(5)

(1)

Subject

Computer networks .

(35)

Computer science.

(30)

Software engineering.

(30)

Formal Languages and Automata Theory.

(27)

Machine theory.

(27)

Artificial intelligence.

(20)

Computer Science Logic and Foundations of Programming.

(15)

Application software.

(10)

Computer and Information Systems Applications.

(10)

Theory of Computation.

(10)

Programming Techniques.

(9)

Compilers (Computer programs).

(8)

Compilers and Interpreters.

(8)

Computer science -- Mathematics.

(8)

(8)

Mathematical Logic and Formal Languages.

(8)

(7)

Logics and Meanings of Programs.

(7)

Programming Languages, Compilers, Interpreters.

(6)

Computer programming.

(5)

Discrete Mathematics in Computer Science.

(5)

Discrete mathematics.

(5)

Artificial Intelligence (incl. Robotics).

(4)

Computer Modelling.

(3)

Computer simulation.

(3)

Data Mining and Knowledge Discovery.

(3)

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Computers, Special purpose.

(2)

Data Structures and Information Theory.

(2)

Data and Information Security.

(2)

Data protection.

(2)

Data structures (Computer science).

(2)

Information theory.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Special Purpose and Application-Based Systems.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Business information services.

(1)

Communications Engineering, Networks.

(1)

Computation by Abstract Devices.

(1)

Computational intelligence.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer architecture.

(1)

Computer graphics.

(1)

Computer input-output equipment.

(1)

Computer software.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Control Structures and Microprogramming.

(1)

Electronic data processing -- Management.

(1)

(1)

IT in Business.

(1)

Information Systems Applications (incl. Internet).

(1)

Information technology -- Management.

(1)

Input/Output and Data Communications.

(1)

(1)

Logic programming.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(1)

Microprocessors.

(1)

Microprogramming .

(1)

Models of Computation.

(1)

Numerical analysis.

(1)

Probability and Statistics in Computer Science.

(1)

Processor Architectures.

(1)

Telecommunication.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

43 Results Found

Subscribe to search results

1 2 3 4

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 Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings

Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings

Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings

Author

Gamard, Guilhem. editor. Leroy, Julien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

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:

4.

Cover image for Fundamentals of Information Systems Interoperability Data, Services, and Processes

Fundamentals of Information Systems Interoperability Data, Services, and Processes

Fundamentals of Information Systems Interoperability Data, Services, and Processes

Author

Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108 Mangler, Jürgen. author. Ritter, Daniel. author. (orcid)0000-0001-6146-3365 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Author

de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Author

Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49342-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

Author

Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67190-1

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Author

Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68690-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

Author

Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66396-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Author

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

OWL: Experiences and Directions - Reasoner Evaluation 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers

Author

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571 Poveda-Villalón, María. editor. Jimenez-Ruiz, Ernesto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54627-8

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11