Search Results for Computer Systems.

|

|

|

|

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 (Computer programs).

Author

SpringerLink (Online service)

(54)

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

(3)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Perner, Petra. editor.

(2)

Schoitsch, Erwin. editor.

(2)

Tonetta, Stefano. editor.

(2)

Zhang, Zili. editor.

(2)

Abelló, Alberto. editor.

(1)

Aceto, Luca. editor.

(1)

Altmann, Jörn. editor.

(1)

Ammeraal, Leen. author.

(1)

An, Bo. editor.

(1)

Anjorin, Anthony. editor.

(1)

Apduhan, Bernady O. editor.

(1)

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351

(1)

Babar, Ali. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

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

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

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

(1)

Bazzan, Ana. editor.

(1)

Bañares, José Ángel. editor.

(1)

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

(1)

Bernardo, Marco. editor.

(1)

Bernhaupt, Regina. editor.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Bhiri, Sami. editor.

(1)

Bogdan, Cristian. editor.

(1)

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

(1)

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

(1)

Borruso, Giuseppe. editor.

(1)

Botterweck, Goetz. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

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

(1)

Buhr, Peter A. author.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Cabaleiro, José C. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charoy, François. editor.

(1)

Chopra, Amit K. editor.

(1)

Corchado, Emilio. editor.

(1)

Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575

(1)

Costantini, Stefania. editor.

(1)

Cranefield, Stephen. editor.

(1)

Criswell, John. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979

(1)

Dang, Tran Khanh. editor.

(1)

De Nicola, Rocco. editor.

(1)

Ding, Chen. editor.

(1)

Dori, Dov. author.

(1)

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

(1)

Dutot, Pierre-François. editor.

(1)

England, Matthew. editor.

(1)

Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985

(1)

Espinoza, Huáscar. editor.

(1)

Esposito, Floriana. editor.

(1)

Ferilli, Stefano. editor.

(1)

Filipe, Joaquim. editor.

(1)

Forbrig, Peter. editor.

(1)

Franconi, Enrico. editor.

(1)

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

(1)

Gaál, Bence. editor. (orcid)0000-0001-8771-7140

(1)

Gervasi, Osvaldo. editor.

(1)

Geuvers, Herman. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Grätzer, George. author. (orcid)0000-0002-5149-3883

(1)

Guerra, Esther. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Gulliksen, Jan. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasan, Osman. editor.

(1)

Haverkort, Boudewijn R. editor.

(1)

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

(1)

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

(1)

Hirayama, Katsutoshi. editor.

(1)

Imam, Neena. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

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

(1)

Jacquet, Jean-Marie. editor.

(1)

Jalote, Pankaj. author.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, Chris. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kis, Filip. editor.

(1)

Klemm, Michael. editor. (orcid)0000-0002-8634-4634

(1)

Klinkenberg, Jannis. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kontchakov, Roman. editor.

(1)

Kunkel, Julian M. editor.

(1)

Kunčak, Viktor. editor.

(1)

Küng, Josef. editor.

(1)

Legay, Axel. editor.

(1)

Leite, João. editor.

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

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

(1)

Lisi, Francesca A. editor.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Luszczak, Andreas. author.

(1)

Mahmoud, Samhar. editor.

(1)

Majumdar, Rupak. editor.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Mardare, Radu. editor.

(1)

Martínez de Pisón, Francisco Javier. editor.

(1)

Massink, Mieke. editor.

(1)

Mendling, Jan. editor.

(1)

Mery, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Mili, Ali. editor.

(1)

Miller, Bruce. editor.

(1)

Mintz, Tiffany M. editor.

(1)

Misra, Sanjay. editor.

(1)

Mohamed, Mohamed. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

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

(1)

Müller, Matthias S. editor.

(1)

Neuhold, Erich J. editor. (orcid)0000-0002-7068-2225

(1)

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

(1)

Olivier, Stephen L. editor.

(1)

Ouhammou, Yassine. editor.

(1)

Padget, Julian. editor.

(1)

Palanque, Philippe. editor.

(1)

Pena, Tomás F. editor.

(1)

Pham, Congduc. editor.

(1)

Pluhár, Zsuzsa. editor. (orcid)0000-0003-2688-4652

(1)

Pophale, Swaroop. editor.

(1)

Probst, Christian W. editor.

(1)

Quintián, Héctor. editor.

(1)

Rabe, Florian. editor.

(1)

Remke, Anne. editor.

(1)

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

(1)

Rivera, Francisco F. editor.

(1)

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

(1)

Rocha, Ana Paula. editor.

(1)

Roman, Dumitru. editor.

(1)

Sadri, Fariba. editor.

(1)

Santana de Almeida, Eduardo. editor.

(1)

Sauer, Stefan. editor. (orcid)0000-0003-3084-0409

(1)

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

(1)

Serwe, Wendelin. editor.

(1)

Shalf, John. editor.

(1)

Skavhaug, Amund. editor.

(1)

Son, Tran Cao. editor.

(1)

Stankova, Elena. editor.

(1)

Sun, Meng. editor.

(1)

Tahar, Sofiène. editor.

(1)

Takizawa, Makoto. editor.

(1)

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

(1)

Taufer, Michela. editor.

(1)

Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261

(1)

Terboven, Christian. editor.

(1)

Teschke, Olaf. editor.

(1)

Thoai, Nam. editor.

(1)

Tompa, Frank. editor.

(1)

Torre, Carmelo M. editor.

(1)

Torroni, Paolo. editor.

(1)

Trystram, Denis. editor.

(1)

Urraca, Rubén. editor.

(1)

Van Woensel, William. editor.

(1)

Viana, Petrucio. editor. (orcid)0000-0002-3517-6706

(1)

Villata, Serena. editor.

(1)

Wagner, Roland. editor.

(1)

Wang, Hongbing. editor.

(1)

Wang, Yan. editor.

(1)

Wang, Zhongjie. editor.

(1)

Werner, Claudia. editor.

(1)

Winckler, Marco. editor.

(1)

Wu, Peng. editor.

(1)

Yan, Yuhong. editor.

(1)

Yokota, Rio. editor.

(1)

Yu, Qi. editor.

(1)

Zdun, Uwe. editor. (orcid)0000-0002-6233-2591

(1)

Zhang, Kang. author.

(1)

de Moura, Leonardo. editor.

(1)

de Supinski, Bronis R. editor.

(1)

de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006

(1)

van den Brand, Mark. editor.

(1)

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

(1)

van der Torre, Leendert. editor.

(1)

Ábrahám, Erika. editor.

(1)

Language

(54)

Publication Date

-

(28)

(18)

(5)

(3)

Subject

Compilers and Interpreters.

(54)

Application software.

(34)

Computer and Information Systems Applications.

(34)

Software engineering.

(34)

Computer programming.

(22)

Programming Techniques.

(22)

Computer science.

(21)

Artificial intelligence.

(20)

Computer Science Logic and Foundations of Programming.

(16)

Formal Languages and Automata Theory.

(12)

Machine theory.

(12)

Computer networks .

(11)

Computers, Special purpose.

(10)

Special Purpose and Application-Based Systems.

(10)

Computer System Implementation.

(8)

Computer systems.

(8)

Electronic digital computers -- Evaluation.

(8)

System Performance and Evaluation.

(8)

(7)

Computer Engineering and Networks.

(6)

Computer Modelling.

(6)

Computer engineering.

(6)

Computer simulation.

(6)

(6)

Computer Communication Networks.

(5)

Theory of Computation.

(5)

Data and Information Security.

(4)

Data protection.

(4)

Operating Systems.

(4)

Operating systems (Computers).

(4)

(4)

The Computing Profession.

(4)

Computer science -- Mathematics.

(3)

Information theory.

(3)

(3)

Natural Language Processing (NLP).

(3)

Natural language processing (Computer science).

(3)

Coding and Information Theory.

(2)

(2)

Computer architecture.

(2)

Computer input-output equipment.

(2)

Control Structures and Microprogramming.

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Electronic data processing -- Management.

(2)

Human-computer interaction.

(2)

(2)

Input/Output and Data Communications.

(2)

Microprocessors.

(2)

Microprogramming .

(2)

Processor Architectures.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Computer Application in Administrative Data Processing.

(1)

Computer graphics.

(1)

Computer software.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

(1)

(1)

Data Structures and Information Theory.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Digital Education and Educational Technology.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Education -- Data processing.

(1)

Educational technology.

(1)

Electronic commerce.

(1)

Hardware Performance and Reliability.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information technology -- Management.

(1)

Interactive multimedia.

(1)

(1)

Logic programming.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

(1)

Multimedia systems.

(1)

Probability and Statistics in Computer Science.

(1)

e-Commerce and e-Business.

(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

54 Results Found

Subscribe to search results

1 2 3 4 5

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 Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Author

de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

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:

28.

Cover image for Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings

Author

Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 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-66284-8

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Author

Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

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:

32.

Cover image for Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 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

Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Author

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

Author

Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Author

Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Author

Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61482-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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11