|
|
|
Model-Driven Architecture - Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings / edited by Arend Rensink, Jos Warmer.
by Rensink, Arend [editor.] | Warmer, Jos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Architecture of Computing Systems - ARCS 2019 [electronic resource] : 32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings / edited by Martin Schoeberl, Christian Hochberger, Sascha Uhrig, Jürgen Brehm, Thilo Pionteck.
by Schoeberl, Martin [editor.] | Hochberger, Christian [editor.] | Uhrig, Sascha [editor.] | Brehm, Jürgen [editor.] | Pionteck, Thilo [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
|
|
|
|
Reversible Computation [electronic resource] : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings / edited by Michael Kirkedal Thomsen, Mathias Soeken.
by Thomsen, Michael Kirkedal [editor.] | Soeken, Mathias [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
|
|
|
|
New Frontiers in Mining Complex Patterns [electronic resource] : 8th International Workshop, NFMCP 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Revised Selected Papers / edited by Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew Ras.
by Ceci, Michelangelo [editor.] | Loglisci, Corrado [editor.] | Manco, Giuseppe [editor.] | Masciari, Elio [editor.] | Ras, Zbigniew [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
|
|
|
|
High Performance Computing [electronic resource] : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 - June 2, 2022, Proceedings / edited by Ana-Lucia Varbanescu, Abhinav Bhatele, Piotr Luszczek, Baboulin Marc.
by Varbanescu, Ana-Lucia [editor.] | Bhatele, Abhinav [editor.] | Luszczek, Piotr [editor.] | Marc, Baboulin [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
|
|
|
|
Architecture of Computing Systems [electronic resource] : 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings / edited by Georgios Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck.
by Goumas, Georgios [editor.] | Tomforde, Sven [editor.] | Brehm, Jürgen [editor.] | Wildermann, Stefan [editor.] | Pionteck, Thilo [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity [electronic resource] : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers / edited by Swaroop Pophale, Neena Imam, Ferrol Aderholdt, Manjunath Gorentla Venkata.
by Pophale, Swaroop [editor.] | Imam, Neena [editor.] | Aderholdt, Ferrol [editor.] | Gorentla Venkata, Manjunath [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
|
|
|
|
RoboCup 2019: Robot World Cup XXIII [electronic resource] / edited by Stephan Chalup, Tim Niemueller, Jackrit Suthakorn, Mary-Anne Williams.
by Chalup, Stephan [editor.] | Niemueller, Tim [editor.] | Suthakorn, Jackrit [editor.] | Williams, Mary-Anne [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
|
|
|
|
Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings / edited by Holger Hermanns.
by Hermanns, Holger [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
|
|
|
|
OpenMP: Advanced Task-Based, Device and Compiler Programming [electronic resource] : 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings / edited by Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg.
by McIntosh-Smith, Simon [editor.] | Klemm, Michael [editor.] | de Supinski, Bronis R [editor.] | Deakin, Tom [editor.] | Klinkenberg, Jannis [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 Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security - ESORICS 2022 [electronic resource] : 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26-30, 2022, Proceedings, Part I / edited by Vijayalakshmi Atluri, Roberto Di Pietro, Christian D. Jensen, Weizhi Meng.
by Atluri, Vijayalakshmi [editor.] | Di Pietro, Roberto [editor.] | Jensen, Christian D [editor.] | Meng, Weizhi [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
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel Daydé, José M.L.M. Palma, Álvaro L.G.A. Couthino, Esther Pacitti, João Correia Lopes.
by Daydé, Michel [editor.] | Palma, José M.L.M [editor.] | Couthino, Álvaro L.G.A [editor.] | Pacitti, Esther [editor.] | Correia Lopes, João [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
|
|
|
|
Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef.
by Abran, Alain [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Cuadrado-Gallego, Juan J [editor.] | Brunekreef, Jacob [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Cyber Physical Systems. Model-Based Design [electronic resource] : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers / edited by Roger Chamberlain, Walid Taha, Martin Törngren.
by Chamberlain, Roger [editor.] | Taha, Walid [editor.] | Törngren, Martin [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
|
|
|
|
Theory of Cryptography [electronic resource] : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part I / edited by Eike Kiltz, Vinod Vaikuntanathan.
by Kiltz, Eike [editor.] | Vaikuntanathan, Vinod [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 Nature Switzerland : 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] : 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings / edited by Matti Ropo, Jan Westerholm, Jack Dongarra.
by Ropo, Matti [editor.] | Westerholm, Jan [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Software Architecture [electronic resource] : 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings / edited by Anton Jansen, Ivano Malavolta, Henry Muccini, Ipek Ozkaya, Olaf Zimmermann.
by Jansen, Anton [editor.] | Malavolta, Ivano [editor.] | Muccini, Henry [editor.] | Ozkaya, Ipek [editor.] | Zimmermann, Olaf [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
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings / edited by Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert.
by Rieck, Konrad [editor.] | Stewin, Patrick [editor.] | Seifert, Jean-Pierre [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings / edited by Luís Soares Barbosa, Alexandru Baltag.
by Soares Barbosa, Luís [editor.] | Baltag, Alexandru [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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers / edited by Javier Camara, Martin Steffen.
by Camara, Javier [editor.] | Steffen, Martin [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
|
