Search Results for Compilers (Computer programs)

|

|

|

|

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

Author

SpringerLink (Online service)

(79)

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

(4)

Legay, Axel. editor.

(3)

De Nicola, Rocco. editor.

(2)

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

(2)

Liu, Shaoying. 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)

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)

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)

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)

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)

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)

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)

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)

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)

Proença, José. 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)

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)

de Moura, Leonardo. editor.

(1)

ten Teije, Annette. editor.

(1)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(1)

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X

(1)

van der Torre, Leendert. editor.

(1)

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134

(1)

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(79)

Publication Date

-

(42)

(32)

(3)

(2)

Subject

Compilers (Computer programs).

(79)

Compilers and Interpreters.

(79)

Formal Languages and Automata Theory.

(79)

Computer science.

(74)

Computer Science Logic and Foundations of Programming.

(73)

Software engineering.

(69)

Artificial intelligence.

(29)

Computer programming.

(28)

Programming Techniques.

(28)

(14)

Theory of Computation.

(12)

Computer networks .

(11)

Application software.

(8)

Computer Communication Networks.

(8)

Computer and Information Systems Applications.

(8)

Computer Modelling.

(7)

Computer simulation.

(7)

Computers, Special purpose.

(5)

Special Purpose and Application-Based Systems.

(5)

Computer science -- Mathematics.

(4)

Electronic data processing -- Management.

(4)

(4)

Computer Engineering and Networks.

(3)

Computer engineering.

(3)

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

Computers and Education.

(1)

Computing Milieux.

(1)

Data Mining and Knowledge Discovery.

(1)

Data and Information Security.

(1)

(1)

Data protection.

(1)

Design and Analysis of Algorithms.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Education -- Data processing.

(1)

Electronic digital computers -- Evaluation.

(1)

Information technology -- Management.

(1)

(1)

Logic programming.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(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

79 Results Found

Subscribe to search results

1 2 3 4 5 6 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.

37.

Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Author

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68270-9

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Author

Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Author

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Author

Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Author

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Author

Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Author

Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Author

Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Author

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40648-0

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Author

Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Author

Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11