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: Computer networks .

Author

SpringerLink (Online service)

(33)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(3)

Schoitsch, Erwin. editor.

(2)

Tonetta, Stefano. editor.

(2)

Aceto, Luca. editor.

(1)

Altmann, Jörn. editor.

(1)

Apduhan, Bernady O. editor.

(1)

Arbel, Eli. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Ballmann, Bastian. author.

(1)

Bañares, José Ángel. editor.

(1)

Bhiri, Sami. editor.

(1)

Bloem, Roderick. editor.

(1)

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

(1)

Borruso, Giuseppe. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bougé, Luc. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Charoy, François. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Csöndes, Tibor. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

D'Souza, Deepak. editor.

(1)

Dastani, Mehdi. editor.

(1)

Dou, Yong. editor.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Duan, Zhenhua. editor.

(1)

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

(1)

Gervasi, Osvaldo. editor.

(1)

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

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

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

(1)

Grabowski, Jens. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Haverkort, Boudewijn R. editor.

(1)

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872

(1)

Heras, Dora. editor.

(1)

Herbold, Steffen. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Imam, Neena. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Kovács, Gábor. editor.

(1)

Kushik, Natalia. editor.

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Legay, Axel. editor.

(1)

Leino, K. Rustan M. editor.

(1)

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

(1)

Lin, Haixiang. editor.

(1)

Liu, Shaoying. editor.

(1)

Lopes, Antónia. editor.

(1)

Lönn, Henrik. editor.

(1)

Mardare, Radu. editor.

(1)

Mendling, Jan. editor.

(1)

Mintz, Tiffany M. editor.

(1)

Misra, Sanjay. editor.

(1)

Mohamed, Mohamed. editor.

(1)

Monniaux, David. editor.

(1)

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

(1)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(1)

Narayan Kumar, K. editor.

(1)

Nica, Mihai. editor.

(1)

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

(1)

Ong, Luke. editor.

(1)

Pham, Congduc. editor.

(1)

Polikarpova, Nadia. editor.

(1)

Pophale, Swaroop. editor.

(1)

Remke, Anne. editor.

(1)

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

(1)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(1)

Rossberg, Joachim. author.

(1)

Réthy, György. editor.

(1)

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

(1)

Schneider, Steve. editor.

(1)

Serwe, Wendelin. editor.

(1)

Sirjani, Marjan. editor.

(1)

Skavhaug, Amund. editor.

(1)

Stankova, Elena. editor.

(1)

Strichman, Ofer. editor.

(1)

Sun, Guangyu. editor.

(1)

Tamaddoni-Nezhad, Alireza. editor.

(1)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(1)

Torre, Carmelo M. editor.

(1)

Troubitsyna, Elena. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Wang, Hongbing. editor.

(1)

Wang, Yan. editor.

(1)

Wang, Zhongjie. editor.

(1)

Wotawa, Franz. editor.

(1)

Wu, Junjie. editor. (orcid)0000-0001-5951-8988

(1)

Wąsowski, Andrzej. editor.

(1)

Yan, Yuhong. editor.

(1)

Yenigün, Hüsnü. editor.

(1)

Yevtushenko, Nina. editor.

(1)

Yu, Qi. editor.

(1)

de Lemos, Rogério. editor.

(1)

Language

(33)

Publication Date

-

(17)

(10)

(3)

(1)

(1)

(1)

Subject

Compilers (Computer programs).

(33)

Compilers and Interpreters.

(33)

Software engineering.

(28)

Computer science.

(23)

Computer Communication Networks.

(19)

Computer Science Logic and Foundations of Programming.

(19)

Computer Engineering and Networks.

(15)

Computer engineering.

(15)

Formal Languages and Automata Theory.

(11)

Machine theory.

(11)

Application software.

(10)

Computer and Information Systems Applications.

(10)

Artificial intelligence.

(9)

Computer programming.

(6)

Electronic data processing -- Management.

(6)

(6)

Programming Techniques.

(6)

Theory of Computation.

(6)

Computers, Special purpose.

(5)

Special Purpose and Application-Based Systems.

(5)

Data and Information Security.

(4)

Data protection.

(4)

(3)

(3)

Computer Modelling.

(2)

Computer simulation.

(2)

Computing Milieux.

(2)

Electronic digital computers -- Evaluation.

(2)

System Performance and Evaluation.

(2)

Coding and Information Theory.

(1)

(1)

Computer architecture.

(1)

Electronic commerce.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information theory.

(1)

(1)

Logic programming.

(1)

Microprocessors.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

(1)

The Computing Profession.

(1)

e-Commerce and e-Business.

(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

33 Results Found

Subscribe to search results

1 2 3

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 Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Author

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Author

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-68150-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Author

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Author

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Author

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Author

Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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 Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

Author

Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Author

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68972-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

Author

Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11