Your search returned 15 results.

Not what you expected? Check for suggestions
Sort
Results
Performance evaluation, measurement and characterization of complex systems : second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers / Raghunath Nambiar, Meikel Poess (eds.).

by TPC Technology Conference (2nd : 2010 : Singapore) | Nambiar, Raghunath | Poess, Meikel.

Series: Serienbezeichnung | Lecture notes in computer science ; 6417. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011Other title: TPCTC 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures / Marco Bernardo, Valérie Issarny (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th : 2011 : Bertinoro, Italy) | Bernardo, Marco | Issarny, Valérie.

Series: Serienbezeichnung | Lecture notes in computer science ; 6659. | Lecture notes in computer science. Tutorial. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011Other title: SFM 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Testing software and systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.).

by ICTSS (Conference) (27th : 2015 : Sharjah and Dubai, United Arab Emirates) | El-Fakih, Khaled [editor.] | Barlas, Gerassimos [editor.] | Yevtushenko, Nina [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9447. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICTSS 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe.

by Globalizing Domain-Specific Languages (Seminar) (2014 : Dagstuhl, Wadern, Germany) | Combemale, Benoit [editor.] | Cheng, Betty H. C [editor.] | France, Robert (Robert B.) [editor.] | Jézéquel, Jean-Marc, 1964- [editor.] | Rumpe, Bernhard [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9400. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers / edited by Fredrik Seehusen, Michael Felderer, Jürgen Großmann, Marc-Florian Wendland.

by RISK (Conference) (3rd : 2015 : Berlin, Germany) | Seehusen, Fredrik [editor.] | Felderer, Michael [editor.] | Grossmann, Jürgen (Project manager) [editor.] | Wendland, Marc-Florian [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9488. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: RISK 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Service-Oriented Computing : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings / edited by Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam.

by ICSOC (Conference) (13th : 2015 : Velha Goa, India) | Barros, Alistair [editor.] | Grigori, Daniela [editor.] | Narendra, Nanjangud C [editor.] | Dam, Hoa Khanh [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9435. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2015Other title: ICSOC 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / Roderick Bloem, Eli Arbel (eds.).

by International Haifa Verification Conference (12th : 2016 : Haifa, Israel) | Bloem, Roderick P [editor.] | Arbel, Eli [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10028. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2016]Other title: HVC 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday / Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner (eds.).

by Blass, Andreas, 1947- | Cégielski, Patrick, 1954- | Dershowitz, Nachum | Droste, Manfred, 1956- | Finkbeiner, Bernd.

Series: Serienbezeichnung | Lecture notes in computer science ; 12180. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Cham : Springer, 2020Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Service-oriented computing : 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, proceedings / Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari (eds.).

by ICSOC (Conference) (18th : 2020 : Online) | Kafeza, Eleanna [editor.] | Benatallah, Boualem [editor.] | Martinelli, Fabio, 1969- [editor.] | Hacid, Hakim [editor.] | Bouguettaya, Athman [editor.] | Motahari, Hamid [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12571. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2020]Other title: ICSOC 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Static analysis : 27th International Symposium, SAS 2020, virtual event, November 18-20, 2020, proceedings / David Pichardie, Mihaela Sighireanu (eds.).

by SAS (Symposium) (27th : 2020 : Online) | Pichardie, David [editor.] | Sighireanu, Mihaela [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12389. | Lecture notes in computer science. Advanced research in computing and software science. | 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: SAS 2020.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).
Services -- SERVICES 2020 : 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / Joao Eduardo Ferreira, Balaji Palanisamy, Kejiang Ye, Siva Kantamneni, Liang-Jie Zhang (eds.).

by World Congress on Services (16th : 2020 : Online) | Ferreira, João Eduardo (Associate professor of computer science) | Palanisamy, Balaji | Ye, Kejiang | Kantamneni, Siva | Zhang, Liang-Jie | Services Conference Federation. Conference (2020 : Online).

Series: Serienbezeichnung | Lecture notes in computer science ; 12411. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: SERVICES 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Services -- SERVICES 2020 : 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / Joao Eduardo Ferreira, Balaji Palanisamy, Kejiang Ye, Siva Kantamneni, Liang-Jie Zhang (eds.).

by World Congress on Services (16th : 2020 : Online) | Ferreira, João Eduardo (Associate professor of computer science) | Palanisamy, Balaji | Ye, Kejiang | Kantamneni, Siva | Zhang, Liang-Jie | Services Conference Federation. Conference (2020 : Online).

Series: Serienbezeichnung | Lecture notes in computer science ; 12411. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: SERVICES 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Service-oriented computing -- ICSOC 2020 Workshops : AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings / Hakim Hacid, Fatma Outay, Hye-young Paik, Amira Alloum, Marinella Petrocchi, Mohamed Reda Bouadjenek, Amin Beheshti, Xumin Liu, Abderrahmane Maaradji (eds.).

by ICSOC (Conference) (18th : 2020 : Online) | Hacid, Hakim [editor.] | Outay, Fatma, 1977- [editor.] | Paik, Hye-Young [editor.] | Alloum, Amira [editor.] | Petrocchi, Marinella [editor.] | Bouadjenek, Mohamed Reda [editor.] | Beheshti, Amin [editor.] | Liu, Xumin [editor.] | Maaradji, Abderrahmane [editor.] | AIOps (Workshop) (2020 : Online) | CFTIC (Workshop) (2020 : Online) | STRAPS (Workshop) (2nd : 2020 : Online) | AI-IOTS (Workshop) (2020 : Online).

Series: Serienbezeichnung | Lecture notes in computer science ; 12632. | Lecture notes in computer science. Services science. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2021]Other title: ICSOC 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Service-oriented computing -- ICSOC 2020 Workshops : AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings / Hakim Hacid, Fatma Outay, Hye-young Paik, Amira Alloum, Marinella Petrocchi, Mohamed Reda Bouadjenek, Amin Beheshti, Xumin Liu, Abderrahmane Maaradji (eds.).

by ICSOC (Conference) (18th : 2020 : Online) | Hacid, Hakim [editor.] | Outay, Fatma, 1977- [editor.] | Paik, Hye-Young [editor.] | Alloum, Amira [editor.] | Petrocchi, Marinella [editor.] | Bouadjenek, Mohamed Reda [editor.] | Beheshti, Amin [editor.] | Liu, Xumin [editor.] | Maaradji, Abderrahmane [editor.] | AIOps (Workshop) (2020 : Online) | CFTIC (Workshop) (2020 : Online) | STRAPS (Workshop) (2nd : 2020 : Online) | AI-IOTS (Workshop) (2020 : Online).

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

Powered by Koha