Search Results for Software engineering.

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: Algorithms.

Author

SpringerLink (Online service)

(69)

Apduhan, Bernady O. editor.

(6)

Falcão, Maria Irene. editor.

(6)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(6)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(6)

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

(6)

Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Jorge Gustavo. editor.

(6)

Taniar, David. editor.

(6)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(6)

Alexander, Michael. editor.

(3)

Cannataro, Mario. editor.

(3)

Costan, Alexandru. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Ricci, Laura. editor.

(3)

Scarano, Vittorio. editor.

(3)

Benkner, Siegfried. editor.

(2)

Breitbart, Jens. editor.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Gheorghe, Marian. editor.

(2)

Gracia, José. editor.

(2)

Guo, Hua. editor.

(2)

Hunold, Sascha. editor.

(2)

Jeannot, Emmanuel. editor.

(2)

Lankes, Stefan. editor.

(2)

Lengauer, Christian. editor.

(2)

Li, Zhiyang. editor.

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

Min, Geyong. editor.

(2)

Petit, Salvador. editor.

(2)

Qu, Wenyu. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Salomaa, Arto. editor.

(2)

Scott, Stephen L. editor.

(2)

Stojmenovic, Ivan. editor.

(2)

Sun, Xiang-he. editor.

(2)

Wu, Yulei. editor.

(2)

Yang, Tingting. editor.

(2)

Zhou, Wanlei. editor.

(2)

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

(2)

Žilinskas, Julius. editor.

(2)

Abraham, Erika. editor.

(1)

Alhazov, Artiom. editor.

(1)

Alpuente, María. editor.

(1)

Altmann, Jörn. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Artho, Cyrille. editor.

(1)

Bellalta, Boris. editor.

(1)

Belyaev, Evgeny. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Boche, Holger. author.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001

(1)

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

(1)

Cao, Jian-nong. editor.

(1)

Carrasco-Ochoa, Jesús Ariel. editor.

(1)

Catania, Barbara. editor. (orcid)0000-0002-6443-169X

(1)

Ceroni Díaz, Jose A. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Clauss, Carsten. editor.

(1)

Cojocaru, Svetlana. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Damaševičius, Robertas. editor.

(1)

DeRose, Luiz. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Deng, Xiaotie. editor.

(1)

Di Fatta, Giuseppe. editor.

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dongarra, Jack. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dressler, Falko. editor. (orcid)0000-0002-1989-1750

(1)

Du, Ding-Zhu. editor.

(1)

Dvořák, Zdeněk. editor.

(1)

England, Matthew. editor. (orcid)0000-0001-5729-3420

(1)

Esparza, Javier. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Felber, Pascal. editor.

(1)

Ferragina, Paolo. author.

(1)

Fiege, Ludger. author.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fortino, Giancarlo. editor.

(1)

Gailly, Frederik. editor.

(1)

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003

(1)

Garg, Vijay. editor.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

Giese, Holger. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

González-Ramírez, Rosa G. editor.

(1)

Graf, Susanne. editor.

(1)

Guizzardi, Giancarlo. editor.

(1)

Gupta, Prosenjit. editor.

(1)

Haar, Stefan. editor. (orcid)0000-0002-1892-2703

(1)

Hanus, Michael. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hliněný, Petr. editor.

(1)

Hopcroft, John E. editor.

(1)

Horváth, Gábor. editor.

(1)

Hu, Xiaodong. editor.

(1)

Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804

(1)

Jin, Zhi. editor.

(1)

Jonsson, Magnus. editor.

(1)

Kaczorowski, Jerzy. editor.

(1)

Karczewski, Konrad. editor.

(1)

Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472

(1)

Koepf, Wolfram. editor.

(1)

Kofroň, Jan. editor.

(1)

Koranne, Sandeep. author.

(1)

Kothapalli, Kishore. editor.

(1)

Kovalev, Mikhail. author.

(1)

Kořenek, Jan. editor.

(1)

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009

(1)

König, Barbara. editor.

(1)

Larsen, Kim G. editor.

(1)

Le Goues, Claire. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Li, Wenfeng. editor.

(1)

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

(1)

Lozano, Manuel. editor.

(1)

Luccio, Fabrizio. author.

(1)

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

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Martín-Vide, Carlos. editor.

(1)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(1)

Martínez-Trinidad, José Francisco. editor.

(1)

Matula, Petr. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Miklós, Telek. editor.

(1)

Morin, Christine. editor.

(1)

Mühl, Gero. author.

(1)

Müller, Matthias S. editor.

(1)

Müller, Silvia M. author.

(1)

Nawrocki, Jerzy. editor.

(1)

Nejati, Shiva. editor.

(1)

Ochoa, Sergio F. editor. (orcid)0000-0002-0431-8767

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

Olivier, Stephen L. editor.

(1)

Olvera-López, José Arturo. editor. (orcid)0000-0003-0639-1463

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Ostercamp, Scott. editor.

(1)

Pala, Karel. editor.

(1)

Paolo, Bientinesi. editor.

(1)

Pardalos, Panos M. editor.

(1)

Parker, David. editor. (orcid)0000-0003-4137-8862

(1)

Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898

(1)

Pathan, Mukaddim. editor.

(1)

Paul, Wolfgang J. author.

(1)

Paule, Peter. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466

(1)

Pietzuch, Peter. author.

(1)

Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842

(1)

Pomykała, Jacek. editor.

(1)

Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845

(1)

Poole, Stephen. editor.

(1)

Rajsbaum, Sergio. editor.

(1)

Rana, Omer F. editor.

(1)

Rauzy, Antoine. editor.

(1)

Rogozhin, Yurii. editor.

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318

(1)

Sahuquillo, Julio. editor.

(1)

Salas, Joaquín. editor.

(1)

Sanguinetti, Guido. editor.

(1)

Scheideler, Christian. editor. (orcid)0000-0002-5278-528X

(1)

Schulte, Frederik. editor.

(1)

Schulz, Martin. editor.

(1)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Sericola, Bruno. editor.

(1)

Shamis, Pavel. editor.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sosík, Petr. editor.

(1)

Stańczak, Sławomir. author.

(1)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(1)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(1)

Suzana Pitangueira Maciel, Rita. editor.

(1)

Vanmechelen, Kurt. editor.

(1)

Vasiljevienė, Giedrė. editor.

(1)

Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X

(1)

Vinel, Alexey. editor.

(1)

Vorozhtsov, Evgenii V. editor.

(1)

Voß, Stefan. editor.

(1)

Voß, Stefan. editor. (orcid)0000-0003-1296-4221

(1)

Waśniewski, Jerzy. editor.

(1)

Weidendorfer, Josef. editor.

(1)

Wiczanowski, Marcin. author.

(1)

Woeginger, Gerhard. editor.

(1)

Wolf, Verena. editor. (orcid)0000-0001-8460-6007

(1)

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

(1)

Language

(69)

Publication Date

-

(34)

(25)

(4)

(2)

(2)

(1)

(1)

Subject

Software engineering.

(66)

Computer communication systems.

(22)

Artificial intelligence.

(17)

Programming languages (Electronic computers).

(17)

Application software.

(16)

Computer logic.

(15)

Computer science.

(14)

Mathematical logic.

(12)

Computer system failures.

(8)

(8)

(7)

Computer science—Mathematics.

(6)

Computer software.

(5)

Computational complexity.

(4)

Computer Communication Networks.

(4)

Computer simulation.

(4)

Pattern recognition.

(4)

Computer organization.

(3)

Computer programming.

(3)

Data structures (Computer science).

(3)

Management information systems.

(3)

Computer network architectures.

(2)

Computer security.

(2)

Database management.

(2)

(2)

Bioinformatics.

(1)

(1)

Computer hardware.

(1)

Computers and civilization.

(1)

Data encryption (Computer science).

(1)

Economic theory.

(1)

Engineering mathematics.

(1)

Information storage and retrieval.

(1)

Information theory.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

(1)

Microprocessors.

(1)

Natural language processing (Computer science).

(1)

(1)

Numerical analysis.

(1)

Operating systems (Computers).

(1)

Optical data processing.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Special purpose computers.

(1)

Telecommunication.

(1)

Theory of Computation.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

69 Results Found

Subscribe to search results

1 2 3 4 5 6

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.

49.

Cover image for Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers

Author

an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54420-0

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54862-8

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I

Author

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III

Author

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I

Author

Sun, Xiang-he. editor. Qu, Wenyu. editor. Stojmenovic, Ivan. editor. Zhou, Wanlei. editor. Li, Zhiyang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Author

Felber, Pascal. editor. Garg, Vijay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

Author

Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI

Author

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.

Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.

Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.

Author

Altmann, Jörn. editor. Vanmechelen, Kurt. editor. Rana, Omer F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

Author

Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-45249-9

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Author

Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

Author

Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11