|
|
|
Usability- and Accessibility-Focused Requirements Engineering [electronic resource] : First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers / edited by Achim Ebert, Shah Rukh Humayoun, Norbert Seyff, Anna Perini, Simone D.J. Barbosa.
by Ebert, Achim [editor.] | Humayoun, Shah Rukh [editor.] | Seyff, Norbert [editor.] | Perini, Anna [editor.] | Barbosa, Simone D.J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Lectures on Runtime Verification [electronic resource] : Introductory and Advanced Topics / edited by Ezio Bartocci, Yliès Falcone.
by Bartocci, Ezio [editor.] | Falcone, Yliès [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 [electronic resource] : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings / edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt.
by Fonseca i Casas, Pau [editor.] | Sancho, Maria-Ribera [editor.] | Sherratt, Edel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Central European Functional Programming School [electronic resource] : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers / edited by Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth.
by Zsók, Viktória [editor.] | Porkoláb, Zoltán [editor.] | Horváth, Zoltán [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Trends in Functional Programming [electronic resource] : 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers / edited by Aleksander Byrski, John Hughes.
by Byrski, Aleksander [editor.] | Hughes, John [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings / edited by Shang-Wei Lin, Zhe Hou, Brendan Mahony.
by Lin, Shang-Wei [editor.] | Hou, Zhe [editor.] | Mahony, Brendan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Rough Sets XXII [electronic resource] / edited by James F. Peters, Andrzej Skowron.
by Peters, James F [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / edited by Markus Roggenbach.
by Roggenbach, Markus [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings / edited by Roland Glück, Luigi Santocanale, Michael Winter.
by Glück, Roland [editor.] | Santocanale, Luigi [editor.] | Winter, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Theoretical Aspects of Software Engineering [electronic resource] : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / edited by Yamine Aït-Ameur, Florin Crăciun.
by Aït-Ameur, Yamine [editor.] | Crăciun, Florin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Graph Transformation [electronic resource] : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings / edited by Nicolas Behr, Daniel Strüber.
by Behr, Nicolas [editor.] | Strüber, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings / edited by Franck Capello, Thomas Herault, Jack Dongarra.
by Capello, Franck [editor.] | Herault, Thomas [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Computing and Combinatorics [electronic resource] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings / edited by Zhipeng Cai, Alexander Zelikovsky, Anu Bourgeois.
by Cai, Zhipeng [editor.] | Zelikovsky, Alexander [editor.] | Bourgeois, Anu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Trends in Functional Programming [electronic resource] : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / edited by Meng Wang, Scott Owens.
by Wang, Meng [editor.] | Owens, Scott [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Deelman, Ewa [editor.] | Karczewski, Konrad [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Monotonicity in Logic and Language [electronic resource] : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / edited by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl.
by Deng, Dun [editor.] | Liu, Fenrong [editor.] | Liu, Mingming [editor.] | Westerståhl, Dag [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / edited by José F. Morales, Dominic Orchard.
by Morales, José F [editor.] | Orchard, Dominic [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings / edited by David Pichardie, Mihaela Sighireanu.
by Pichardie, David [editor.] | Sighireanu, Mihaela [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Accelerator Programming Using Directives [electronic resource] : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / edited by Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland.
by Bhalachandra, Sridutt [editor.] | Wienke, Sandra [editor.] | Chandrasekaran, Sunita [editor.] | Juckeland, Guido [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Model Checking Software [electronic resource] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / edited by Alfons Laarman, Ana Sokolova.
by Laarman, Alfons [editor.] | Sokolova, Ana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
