Search Results for Software Engineering.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

21 Results Found

000000000000000000000DEFAULT

Cover image for Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Author

Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Author

Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Author

Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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

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:

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Author

Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

Author

Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Author

van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

Author

Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers

Author

Buckley, Christopher L. editor. Cialfi, Daniela. editor. (orcid)0000-0001-8953-062X Lanillos, Pablo. editor. (orcid)0000-0001-9154-0798 Ramstead, Maxwell. editor. Sajid, Noor. editor. (orcid)0000-0003-1904-2887

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-47958-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Planning and executing credible experiments : a guidebook for engineering, science, industrial processes, agriculture, and business

Planning and executing credible experiments : a guidebook for engineering, science, industrial processes, agriculture, and business

Author

Moffat, R. J., author. Henk, Roy W., author.

Preferred Shelf Number

QA279 .M64 2020 EB

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119532828

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Author

Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings

Author

Beecks, Christian. editor. Borutta, Felix. editor. Kröger, Peer. editor. Seidl, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers

Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers

Author

Holzinger, Andreas. editor. Goebel, Randy. editor. (orcid)0000-0002-0739-2946 Ferri, Massimo. editor. Palade, Vasile. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings

Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings

Author

Shikata, Junji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings

Author

Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings

Author

Rothe, Jörg. editor. (orcid)0000-0002-0589-3616 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings

Author

Czachórski, Tadeusz. editor. Gelenbe, Erol. editor. Grochla, Krzysztof. editor. Lent, Ricardo. editor. (orcid)0000-0003-4884-3456 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

Author

Mendes, Emilia. author. SpringerLink (Online service)