Search Results for Software engineering

|

|

|

|

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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

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.

1.

Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Author

Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27455-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, 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-030-17601-3

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Author

Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30942-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Author

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31784-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32079-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Author

Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18744-6

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Author

Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34146-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

Author

Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

Author

Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Author

Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11