|
|
|
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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings / edited by Paul Spirakis, Philippas Tsigas.
by Spirakis, Paul [editor.] | Tsigas, Philippas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski.
by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [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
|
|
|
|
Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
by Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers / edited by Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn.
by Feitelson, Dror [editor.] | Frachtenberg, Eitan [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.
by Aldini, Alessandro [editor.] | Gorrieri, Roberto [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings / edited by G. Ramalingam.
by Ramalingam, G [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
by de Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | de Roever, Willem-Paul [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2018: Parallel Processing Workshops [electronic resource] : Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers / edited by Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio, Emmanuel Jeannot, Felix Wolf, Antonio Salis, Claudio Schifanella, Ravi Reddy Manumachu, Laura Ricci, Marco Beccuti, Laura Antonelli, José Daniel Garcia Sanchez, Stephen L. Scott.
by Mencagli, Gabriele [editor.] | B. Heras, Dora [editor.] | Cardellini, Valeria [editor.] | Casalicchio, Emiliano [editor.] | Jeannot, Emmanuel [editor.] | Wolf, Felix [editor.] | Salis, Antonio [editor.] | Schifanella, Claudio [editor.] | Manumachu, Ravi Reddy [editor.] | Ricci, Laura [editor.] | Beccuti, Marco [editor.] | Antonelli, Laura [editor.] | Garcia Sanchez, José Daniel [editor.] | Scott, Stephen L [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency XIII [electronic resource] / edited by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek.
by Koutny, Maciej [editor.] | Kristensen, Lars Michael [editor.] | Penczek, Wojciech [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Architecture of Computing Systems - ARCS 2018 [electronic resource] : 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings / edited by Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck.
by Berekovic, Mladen [editor.] | Buchty, Rainer [editor.] | Hamann, Heiko [editor.] | Koch, Dirk [editor.] | Pionteck, Thilo [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3-5, 2019, Proceedings / edited by Ilia Polian, Marc Stöttinger.
by Polian, Ilia [editor.] | Stöttinger, Marc [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
|
|
|
|
Information Processing in Medical Imaging [electronic resource] : 26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019, Proceedings / edited by Albert C. S. Chung, James C. Gee, Paul A. Yushkevich, Siqi Bao.
by Chung, Albert C. S [editor.] | Gee, James C [editor.] | Yushkevich, Paul A [editor.] | Bao, Siqi [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
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers / edited by Lawrence Rauchwerger.
by Rauchwerger, Lawrence [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
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part I / edited by Kazue Sako, Nils Ole Tippenhauer.
by Sako, Kazue [editor.] | Tippenhauer, Nils Ole [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
|
|
|
|
Design and Architecture for Signal and Image Processing [electronic resource] : 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20-22, 2022, Proceedings / edited by Karol Desnos, Sergio Pertuz.
by Desnos, Karol [editor.] | Pertuz, Sergio [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 - ARCS 2009 [electronic resource] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings / edited by Mladen Berekovic, Christian Müller-Schloer, Christian Hochberger, Stephan Wong.
by Berekovic, Mladen [editor.] | Müller-Schloer, Christian [editor.] | Hochberger, Christian [editor.] | Wong, Stephan [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
|
|
|
|
Engineering Self-Organising Systems [electronic resource] : Methodologies and Applications / edited by Sven A. Brueckner, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal.
by Brueckner, Sven A [editor.] | Di Marzo Serugendo, Giovanna [editor.] | Karageorgos, Anthony [editor.] | Nagpal, Radhika [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Sunita Chandrasekaran, Guido Juckeland.
by Chandrasekaran, Sunita [editor.] | Juckeland, Guido [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
|
