Your search returned 15 results.

Not what you expected? Check for suggestions
Sort
Results
Software architecture : first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings / Flavio Oquendo (ed.).

by ECSA (Conference) (1st : 2007 : Madrid, Spain) | Oquendo, Flavio, 1958-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4758. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: ECSA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings / José F. Morales, Dominic Orchard (eds.).

by PADL (Symposium) (23rd : 2021 : Online) | Morales, José F [editor.] | Orchard, Dominic [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12548. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer Nature eBookMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2021]Other title: PADL 2021.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Model-based safety and assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings / Frank Ortmeier, Antoine Rauzy (Eds.).

by IMBSA (Symposium) (4th : 2014 : Munich, Germany) | Ortmeier, Frank [editor.] | Rauzy, Antoine [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8822. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: IMBSA 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Making globally distributed software development a success story : International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings / Qing Wang, Dietmar Pfahl, David M. Raffo (eds.).

by International Conference on the Software Process (2008 : Leipzig, Germany) | Wang, Qing | Pfahl, Dietmar | Raffo, David Mitchell.

Series: Serienbezeichnung | LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 5007.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trustworthy software development processes : International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 16-17, 2009 : proceedings / Qing Wang [and others] (eds.).

by International Conference on the Software Process (2009 : Vancouver, B.C.) | Wang, Qing, 1964 January 29-.

Series: Serienbezeichnung | Lecture notes in computer science ; 5543. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2009Other title: ICSP 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Requirements engineering : foundation for software quality : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings / Joerg Doerr, Andreas L. Opdahl (eds.).

by REFSQ (Conference) (19th : 2013 : Essen, Germany) | Doerr, Joerg | Opdahl, Andreas.

Series: Serienbezeichnung | Lecture notes in computer science ; 7830. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: REFSQ 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Product-focused software process improvement : 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014 : proceedings / Andreas Jedlitschka, Pasi Kuvaja, Marco Kuhrmann, Tomi Männistö, Jürgen Münch, Mikko Raatikainen (Eds.).

by PROFES (Conference) (15th : 2014 : Helsinki, Finland) | Jedlitschka, Andreas [edt] | Kuvaja, Pasi [editor.] | Kuhrmann, Marco [editor.] | Männistö, Tomi [editor.] | Münch, Jürgen [editor.] | Taatikainen, Mikko [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8892. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: PROFES 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers / Paolo MIlazzo, Dániel Varró, Manuel Wimmer (eds.).

by Milazzo, Paolo [editor.] | Varró, Dániel [editor.] | Wimmer, Manuel [editor.] | STAF (Federation of conferences) (2016 : Vienna, Austria) | DataMod (Symposium) (5th : 2016 : Vienna, Austria) | GCM (Workshop) (7th : 2016 : Vienna, Austria) | HOFM (Workshop) (3rd : 2016 : Vienna, Austria) | MELO (Workshop) (2nd : 2016 : Vienna, Austria) | SEMS (Workshop) (3rd : 2016 : Vienna, Austria) | VeryComp (Workshop) (1st : 2016 : Vienna, Austria).

Series: Serienbezeichnung | Lecture notes in computer science ; 9946. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

by SETSS (International school) (2nd : 2016 : Chongqing, China) | Bowen, J. P. (Jonathan Peter), 1956- [editor.] | Liu, Zhiming, 1961- [editor.] | Zhang, Zili (Senior lecturer) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10215. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: SETSS 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

by SETSS (International school) (3rd : 2017 : Chongqing, China) | Bowen, J. P. (Jonathan Peter), 1956- [editor.] | Liu, Zhiming, 1961- [editor.] | Zhang, Zili (Senior lecturer) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11174. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018Other title: SETSS 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Software technologies : applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised selected papers / Manuel Mazzara, Iulian Ober, Gwen Salaün (eds.).

by STAF (Federation of conferences) (2018 : Toulouse, France) | Mazzara, Manuel [editor.] | Ober, Iulian [editor.] | Salaün, G. (Gwen) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11176. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2018]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

by SETSS (International school) (4th : 2018 : Chongqing, China) | Bowen, J. P. (Jonathan Peter), 1956- [editor.] | Liu, Zhiming, 1961- [editor.] | Zhang, Zili [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11430. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019Other title: SETSS 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Software verification : 12th international conference, VSTTE 2020, and 13th international workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, revised selected papers / Maria Christaki, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel (eds.).

by VSTTE (Conference) (12th : 2020 : Online) | Chrisakis, Maria [editor.] | Polikarpova, Nadia [editor.] | Duggirala, Parasara Sridhar [editor.] | Schrammel, Peter [editor.] | NSV (Workshop) (13th : 2020 : Online).

Series: Serienbezeichnung | Lecture notes in computer science ; 12549. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: VSTTE 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Engineering trustworthy software systems : 5th international school, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

by SETSS (International school) (5rd : 2019 : Chongqing, China) | Bowen, J. P. (Jonathan Peter), 1956- [editor.] | Liu, Zhiming, 1961- [editor.] | Zhang, Zili (Senior lecturer) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12154. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: SETSS 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Engineering trustworthy software systems : 5th international school, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

by SETSS (International school) (5rd : 2019 : Chongqing, China) | Bowen, J. P. (Jonathan Peter), 1956- [editor.] | Liu, Zhiming, 1961- [editor.] | Zhang, Zili (Senior lecturer) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12154. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: SETSS 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha