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

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

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

37.

Cover image for Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Author

Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

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:

39.

Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Author

Skavhaug, Amund. editor. Guiochet, Jérémie. 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-45477-1

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Author

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Author

Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

Author

Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Understanding Control Flow Concurrent Programming Using μC++

Understanding Control Flow Concurrent Programming Using μC++

Understanding Control Flow Concurrent Programming Using μC++

Author

Buhr, Peter A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Using Microsoft Dynamics AX The New Dynamics 'AX 7'

Using Microsoft Dynamics AX The New Dynamics 'AX 7'

Using Microsoft Dynamics AX The New Dynamics 'AX 7'

Author

Luszczak, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-13622-2

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Author

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-29628-9

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

Author

Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Author

Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Author

Perner, Petra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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