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: Compilers and Interpreters.

Author

SpringerLink (Online service)

(84)

Legay, Axel. editor.

(4)

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

(4)

De Nicola, Rocco. editor.

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

Liu, Shaoying. editor.

(2)

Proença, José. editor.

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Abelló, Alberto. editor.

(1)

Aceto, Luca. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Alkhalaf, Muath. author.

(1)

An, Bo. editor.

(1)

Arbel, Eli. editor.

(1)

Artho, Cyrille. editor.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

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

(1)

Barrett, Clark. editor.

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Batsakis, Sotiris. editor.

(1)

Bazzan, Ana. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Biro, Miklos. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bouajjani, Ahmed. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Butler, Michael. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chopra, Amit K. editor.

(1)

Cornélio, Márcio. editor.

(1)

Costantini, Stefania. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cunha, Jácome. editor.

(1)

Davies, Misty. editor.

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Dori, Dov. author.

(1)

Duan, Zhenhua. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

England, Matthew. editor.

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

Esposito, Floriana. editor.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Franconi, Enrico. editor.

(1)

Furia, Carlo A. editor.

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Geeraerts, Gilles. editor.

(1)

Geuvers, Herman. editor.

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasan, Osman. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hirayama, Katsutoshi. editor.

(1)

Holmes, John H. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hung, Dang Van. editor.

(1)

Hähnle, Reiner. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Ingólfsdóttir, Anna. editor.

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jacobs, Bart. editor.

(1)

James, Phillip. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Kapur, Deepak. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

King, Andy. editor.

(1)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(1)

Knapp, Alexander. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kontchakov, Roman. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Eva. editor.

(1)

Langerak, Rom. editor.

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Lecomte, Thierry. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leite, João. editor.

(1)

Leuschel, Michael. editor. (orcid)0000-0002-4595-1518

(1)

Lindley, Sam. editor.

(1)

Lisi, Francesca A. editor.

(1)

Liu, Yu David. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lucanu, Dorel. editor.

(1)

Lumpe, Markus. editor.

(1)

Lämmel, Ralf. editor.

(1)

Löding, Christof. editor.

(1)

Ma, Hui. editor.

(1)

Majumdar, Rupak. editor.

(1)

Mardare, Radu. editor.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Mayr, Heinrich C. editor.

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

Mazzara, Manuel. editor.

(1)

McBride, Conor. editor.

(1)

Miller, Bruce. editor.

(1)

Monniaux, David. editor.

(1)

Mousavi, Mohammad Reza. editor.

(1)

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104

(1)

Murawski, Andrzej S. editor.

(1)

Muñoz, César A. editor.

(1)

Nalon, Cláudia. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

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

(1)

Olivetti, Nicola. editor.

(1)

Ong, Luke. editor.

(1)

Ouhammou, Yassine. editor.

(1)

Pastor, Oscar. editor. (orcid)0000-0002-1320-8471

(1)

Peled, Doron. editor.

(1)

Petrucci, Laure. editor. (orcid)0000-0003-3154-5268

(1)

Pinho, Luís Miguel. editor.

(1)

Popow, Christian. editor. (orcid)0000-0002-0496-1453

(1)

Probst, Christian W. editor.

(1)

Quiñones, Eduardo. editor.

(1)

Rabe, Florian. editor.

(1)

Ranzato, Francesco. editor.

(1)

Raskin, Jean-François. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Rensink, Arend. editor.

(1)

Ribeiro, Leila. editor.

(1)

Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026

(1)

Rival, Xavier. editor.

(1)

Roggenbach, Markus. editor.

(1)

Roman, Dumitru. editor.

(1)

Roscoe, Bill. editor.

(1)

Rubin, Julia. editor.

(1)

Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825

(1)

Sadri, Fariba. editor.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Saraiva, João. editor.

(1)

Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schmidt, Renate A. editor.

(1)

Schmitt, Peter H. editor.

(1)

Seceleanu, Cristina. editor.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Sgall, Jiří. editor.

(1)

Son, Tran Cao. editor.

(1)

Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

(1)

Stevens, Perdita. editor.

(1)

Strichman, Ofer. editor.

(1)

Tamaddoni-Nezhad, Alireza. editor.

(1)

Teschke, Olaf. editor.

(1)

Tiwari, Ashish. editor.

(1)

Tkachuk, Oksana. editor.

(1)

Tompa, Frank. editor.

(1)

Torra, Vicenç. author.

(1)

Torroni, Paolo. editor.

(1)

Trinder, Phil. editor.

(1)

Troubitsyna, Elena. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Ulbrich, Mattias. editor.

(1)

Van Woensel, William. editor.

(1)

Villata, Serena. editor.

(1)

Voronkov, Andrei. editor.

(1)

Wang, Farn. editor.

(1)

Wijs, Anton. editor.

(1)

Winterstein, Felix. author.

(1)

Wąsowski, Andrzej. editor.

(1)

Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591

(1)

Yu, Fang. author.

(1)

Zaytsev, Vadim. editor.

(1)

Zeume, Thomas. author.

(1)

Zholtkevych, Grygoriy. editor.

(1)

Zhu, Huibiao. editor.

(1)

Language

(84)

Publication Date

-

(44)

(35)

(3)

(2)

Subject

Compilers (Computer programs).

(84)

Formal Languages and Automata Theory.

(79)

Machine theory.

(79)

Computer science.

(76)

Computer Science Logic and Foundations of Programming.

(74)

Software engineering.

(72)

Artificial intelligence.

(30)

Computer programming.

(30)

Programming Techniques.

(30)

(15)

Theory of Computation.

(13)

Computer networks .

(12)

Application software.

(9)

Computer and Information Systems Applications.

(9)

Computer Communication Networks.

(8)

Computer Modelling.

(8)

Computer simulation.

(8)

Computers, Special purpose.

(5)

Special Purpose and Application-Based Systems.

(5)

Computer Engineering and Networks.

(4)

Computer engineering.

(4)

Computer science -- Mathematics.

(4)

Electronic data processing -- Management.

(4)

(4)

(2)

Models of Computation.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Automated Pattern Recognition.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Memory Structure.

(1)

Computer storage devices.

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

Data Mining and Knowledge Discovery.

(1)

Data and Information Security.

(1)

(1)

Data protection.

(1)

Database management.

(1)

Design and Analysis of Algorithms.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Education -- Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic digital computers -- Evaluation.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information technology -- Management.

(1)

(1)

(1)

Logic programming.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(1)

Memory management (Computer science).

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Pattern recognition systems.

(1)

Probability and Statistics in Computer Science.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

The Computing Profession.

(1)

Material Type

Shelf Location

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

84 Results Found

Subscribe to search results

1 2 3 4 5 .. 7

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.

25.

Cover image for Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

Author

Ouhammou, Yassine. editor. Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384 Abelló, Alberto. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66854-3

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Author

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54577-5

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Author

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54494-5

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Author

ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59758-4

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Author

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53354-4

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Author

Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Author

Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62075-6

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Author

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63139-4

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Author

Ranzato, Francesco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Author

Zeume, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54314-6

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Author

Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author

Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65765-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11