|
|
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan.
by Graf, Susanne [editor.] | Viswanathan, Mahesh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Bridging People and Sound [electronic resource] : 12th International Symposium, CMMR 2016, São Paulo, Brazil, July 5-8, 2016, Revised Selected Papers / edited by Mitsuko Aramaki, Richard Kronland-Martinet, Sølvi Ystad.
by Aramaki, Mitsuko [editor.] | Kronland-Martinet, Richard [editor.] | Ystad, Sølvi [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
|
|
|
|
Euro-Par 2010, Parallel Processing Workshops [electronic resource] : HeteroPAR, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Iscia, Italy, August 31 - September 3, 2010, Revised Selected Papers / edited by Mario R. Guarracino, Fréderic Vivien, Jesper Larsson Traff, Mario Cannataro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Knüpfer, Benjamino Di Martino, Michael Alexander.
by Guarracino, Mario R [editor.] | Vivien, Fréderic [editor.] | Traff, Jesper Larsson [editor.] | Cannataro, Mario [editor.] | Danelutto, Marco [editor.] | Hast, Anders [editor.] | Perla, Francesca [editor.] | Knüpfer, Andreas [editor.] | Di Martino, Benjamino [editor.] | Alexander, Michael [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
|
|
|
|
Image and Video Technology - PSIVT 2015 Workshops [electronic resource] : RV 2015, GPID 2013, VG 2015, EO4AS 2015, MCBMIIA 2015, and VSWS 2015, Auckland, New Zealand, November 23-27, 2015. Revised Selected Papers / edited by Fay Huang, Akihiro Sugimoto.
by Huang, Fay [editor.] | Sugimoto, Akihiro [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
|
|
|
|
Progress in Cryptology - INDOCRYPT 2008 [electronic resource] : 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings / edited by Dipanwita Roy Chowdhury, Vincent Rijmen, Abhijit Das.
by Chowdhury, Dipanwita Roy [editor.] | Rijmen, Vincent [editor.] | Das, Abhijit [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
|
|
|
|
Optical Supercomputing [electronic resource] : Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings / edited by Shlomi Dolev, Mihai Oltean.
by Dolev, Shlomi [editor.] | Oltean, Mihai [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
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-18, 2012, Proceedings / edited by Hwanjo Yu, Ge Yu, Wynne Hsu, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo.
by Yu, Hwanjo [editor.] | Yu, Ge [editor.] | Hsu, Wynne [editor.] | Moon, Yang-Sae [editor.] | Unland, Rainer [editor.] | Yoo, Jaesoo [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
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / edited by Jordi Cabot, Julia Rubin.
by Cabot, Jordi [editor.] | Rubin, Julia [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
|
|
|
|
Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia.
by Gurfinkel, Arie [editor.] | Seshia, Sanjit A [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
|
|
|
|
Persuasive Technology [electronic resource] : 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings / edited by Thomas MacTavish, Santosh Basapur.
by MacTavish, Thomas [editor.] | Basapur, Santosh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More [electronic resource] / edited by Mitsuhisa Sato, Toshihiro Hanawa, Matthias S. Müller, Barbara Chapman, Bronis R. de Supinski.
by Sato, Mitsuhisa [editor.] | Hanawa, Toshihiro [editor.] | Müller, Matthias S [editor.] | Chapman, Barbara [editor.] | de Supinski, Bronis R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Autonomic Principles of IP Operations and Management [electronic resource] : 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings / edited by Gerard Parr, David Malone, Mícheál Ó Foghlú.
by Parr, Gerard [editor.] | Malone, David [editor.] | Ó Foghlú, Mícheál [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
|
|
|
|
Dynamic Data-Driven Environmental Systems Science [electronic resource] : First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / edited by Sai Ravela, Adrian Sandu.
by Ravela, Sai [editor.] | Sandu, Adrian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Neural Information Processing [electronic resource] : 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I / edited by Jun Wang, Laiwan Chan, DeLiang Wang.
by Wang, Jun [editor.] | Chan, Laiwan [editor.] | Wang, DeLiang [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
|
|
|
|
Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / edited by Jeremy Gibbons, Jose Nuno Oliveira.
by Gibbons, Jeremy [editor.] | Nuno Oliveira, Jose [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
|
|
|
|
Serious Games Development and Applications [electronic resource] : Third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012, Proceedings / edited by Minhua Ma, Manuel Fradinho Oliveira, Jannicke Baalsrud Hauge, Heiko Duin, Klaus-Dieter Thoben.
by Ma, Minhua [editor.] | Fradinho Oliveira, Manuel [editor.] | Baalsrud Hauge, Jannicke [editor.] | Duin, Heiko [editor.] | Thoben, Klaus-Dieter [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
|
|
|
|
Advances in Cryptology - EUROCRYPT 2012 [electronic resource] : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012, Proceedings / edited by David Pointcheval, Thomas Johansson.
by Pointcheval, David [editor.] | Johansson, Thomas [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
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings / edited by Roberto Amadio.
by Amadio, Roberto [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
|
|
|
|
Trust Management [electronic resource] : Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings / edited by Peter Herrmann, Valerie Issarny, Simon Shiu.
by Herrmann, Peter [editor.] | Issarny, Valerie [editor.] | Shiu, Simon [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
|
|
|
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.
by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [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
|
