Search Results for Systems software.

234 Results Found

1 .. 3 4 5 6 7 .. 20

000000000000DEFAULT

49.

Systems and Software Variability Management Concepts, Tools and Experiences

Author

Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334240.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36583-6

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334348.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37036-6

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Author

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335141.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41707-8

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Author

Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334033.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35702-2

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36742-7

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Author

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334688.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38874-3

Format:

Availability

Online Library~1

Available:
Copies:

55.

Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

Author

Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.

Preferred Shelf Number

ONLINE(335170.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-44930-7

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

Author

Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335198.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45260-4

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Author

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334055.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35813-5

Format:

Availability

Online Library~1

Available:
Copies:

58.

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Author

Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335024.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40894-6

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

Author

Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335064.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41151-9

Format:

Availability

Online Library~1

Available:
Copies:

60.

Using Event-B for Critical Device Software Systems

Author

Singh, Neeraj Kumar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331181.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5260-6

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 20

	{displayName}	{count}
{error}