Search Results for Computer Systems.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Programming Techniques.

Author

SpringerLink (Online service)

(47)

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

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dongarra, Jack. editor.

(2)

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996

(2)

Karczewski, Konrad. editor.

(2)

Kitowski, Jacek. editor.

(2)

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

(2)

Perner, Petra. editor.

(2)

Wiatr, Kazimierz. editor.

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(2)

Abelló, Alberto. editor.

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Anjorin, Anthony. editor.

(1)

Araujo, Theo. editor.

(1)

Araujo, Theo. editor. (orcid)0000-0002-4633-9339

(1)

Aycock, John. author.

(1)

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

(1)

Bazzan, Ana. editor.

(1)

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

(1)

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

(1)

Botterweck, Goetz. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Brandtzaeg, Petter Bae. editor.

(1)

Brandtzaeg, Petter Bae. editor. (orcid)0000-0002-9010-0800

(1)

Breitman, Karin. editor.

(1)

Bråthen, Svein. editor.

(1)

Buhr, Peter A. author.

(1)

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

(1)

Cabaleiro, José C. editor.

(1)

Carretero, Jesus. editor.

(1)

Chang, Stephen. editor. (orcid)0000-0002-4760-0658

(1)

Chapman, Barbara M. editor.

(1)

Corchado, Emilio. editor.

(1)

Costantini, Stefania. editor.

(1)

Criswell, John. editor.

(1)

Di Napoli, Edoardo. editor.

(1)

Ding, Chen. editor.

(1)

Diniz Junqueira Barbosa, Simone. editor.

(1)

Domínguez Mayo, Francisco José. editor.

(1)

Dutot, Pierre-François. editor.

(1)

Espinoza, Huáscar. editor.

(1)

Ferreira, Joao C. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Fontoura de Gusmão Cerqueira, Renato. author.

(1)

Franconi, Enrico. editor.

(1)

Garcia-Blas, Javier. editor.

(1)

Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Goodwin, Morten. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gray, Iain. author.

(1)

Helgheim, Berit Irene. editor.

(1)

Hemann, Jason. editor. (orcid)0000-0002-5405-2936

(1)

Hermanns, Marc-André. editor.

(1)

Hobert, Sebastian. editor.

(1)

Hobert, Sebastian. editor. (orcid)0000-0003-3621-0272

(1)

Hollink, Laura. editor. (orcid)0000-0002-6865-0021

(1)

Iliev, Hristo. editor.

(1)

Imam, Neena. editor.

(1)

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

(1)

Jacquet, Jean-Marie. editor.

(1)

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

(1)

Kapitsaki, Georgia M. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Ko, Ryan K.L. editor.

(1)

Kocian, Alexander. editor.

(1)

Kontchakov, Roman. editor.

(1)

Kunkel, Julian M. editor.

(1)

Kunčak, Viktor. editor.

(1)

Law, Effie L.-C. editor.

(1)

Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150

(1)

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

(1)

Lintermann, Andreas. editor.

(1)

Liu, Mingming. editor.

(1)

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

(1)

Luger, Ewa. editor.

(1)

Luger, Ewa. editor. (orcid)0000-0001-7882-9415

(1)

Maciaszek, Leszek A. editor.

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Majumdar, Rupak. editor.

(1)

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

(1)

Marques Afonso, Luiz. author.

(1)

Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595

(1)

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

(1)

Massink, Mieke. editor.

(1)

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

(1)

Meyer, Bertrand. editor.

(1)

Mili, Ali. editor.

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Mintz, Tiffany M. editor.

(1)

Mueller, Peter. editor.

(1)

Müller, Matthias S. editor.

(1)

Nagel, Kai. editor.

(1)

Nakano, Koji. editor.

(1)

Namazi-Rad, Mohammad-Reza. editor.

(1)

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

(1)

Olivier, Stephen L. editor.

(1)

Ouhammou, Yassine. editor.

(1)

Padgham, Lin. editor.

(1)

Papadopoulos, Symeon. editor.

(1)

Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341

(1)

Pena, Tomás F. editor.

(1)

Perez, Pascal. editor.

(1)

Peyser, Alexander. editor.

(1)

Pophale, Swaroop. editor.

(1)

Quintián, Héctor. editor.

(1)

Rivera, Francisco F. editor.

(1)

Roman, Dumitru. editor.

(1)

Rospocher, Marco. editor. (orcid)0000-0001-9391-3201

(1)

Rossi de Mello Brandão, Rafael. author.

(1)

Sadri, Fariba. editor.

(1)

Santana de Almeida, Eduardo. editor.

(1)

Shalf, John. editor.

(1)

Sieckenius de Souza, Clarisse. author.

(1)

Soares Jansen Ferreira, Juliana. author.

(1)

Sobolev, Sergey. editor.

(1)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(1)

Sun, Meng. editor.

(1)

Tahar, Sofiène. editor.

(1)

Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554

(1)

Taufer, Michela. editor.

(1)

Terboven, Christian. editor.

(1)

Tokkozhina, Ulpan. 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)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(1)

Werner, Claudia. editor.

(1)

Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811

(1)

Wong, Hiu Yung. author.

(1)

Wu, Peng. editor.

(1)

Wu, Yulei. editor. (orcid)0000-0003-0801-8443

(1)

Xu, Min. editor.

(1)

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300

(1)

Yang, Xiaolu. editor.

(1)

Yokota, Rio. editor.

(1)

Zhang, Zili. editor.

(1)

Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656

(1)

de Supinski, Bronis R. editor.

(1)

van Erp, Marieke. editor. (orcid)0000-0001-9195-8203

(1)

van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353

(1)

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

(1)

Language

(47)

Publication Date

-

(21)

(10)

(10)

(6)

Subject

Computer programming.

(47)

Software engineering.

(28)

Compilers (Computer programs).

(22)

Compilers and Interpreters.

(22)

Application software.

(18)

Computer and Information Systems Applications.

(18)

Computer System Implementation.

(17)

Computer systems.

(17)

Computer Communication Networks.

(12)

Computer networks .

(12)

Artificial intelligence.

(11)

Computer science.

(11)

(10)

(7)

Natural Language Processing (NLP).

(7)

Natural language processing (Computer science).

(7)

Computers, Special purpose.

(6)

Electronic digital computers -- Evaluation.

(6)

Human-computer interaction.

(6)

Special Purpose and Application-Based Systems.

(6)

System Performance and Evaluation.

(6)

Theory of Computation.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Computer Modelling.

(4)

Computer Science Logic and Foundations of Programming.

(4)

Computer science -- Mathematics.

(4)

Computer simulation.

(4)

Control Structures and Microprogramming.

(4)

(4)

Logic programming.

(4)

Microprogramming .

(4)

Data Mining and Knowledge Discovery.

(3)

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Mathematics of Computing.

(3)

Operating Systems.

(3)

Operating systems (Computers).

(3)

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

The Computing Profession.

(3)

Computer Hardware.

(2)

Computer architecture.

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer science).

(2)

Database management.

(2)

Information theory.

(2)

(2)

Microprocessors.

(2)

Processor Architectures.

(2)

(1)

Computer Application in Administrative Data Processing.

(1)

Computer graphics.

(1)

Computer input-output equipment.

(1)

Computer programs -- Testing.

(1)

Computers -- History.

(1)

Computing Milieux.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Embedded Systems.

(1)

Embedded computer systems.

(1)

Hardware Performance and Reliability.

(1)

History of Computing.

(1)

Information technology -- Management.

(1)

Input/Output and Data Communications.

(1)

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Media Sociology.

(1)

Models of Computation.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Numerical analysis.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

(1)

Software Testing.

(1)

Material Type

Shelf Location

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

47 Results Found

Subscribe to search results

1 2 3 4

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.

13.

Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Author

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66021-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Author

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71291-3

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

Author

Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for The French School of Programming

The French School of Programming

The French School of Programming

Author

Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-34518-0

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Author

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Author

Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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:

20.

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:

21.

Cover image for Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

Author

Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

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:

23.

Cover image for Snake Charming - The Musical Python

Snake Charming - The Musical Python

Snake Charming - The Musical Python

Author

Gray, Iain. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Author

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11