|
|
|
Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / edited by Saddek Bensalem, Doron A. Peled.
by Bensalem, Saddek [editor.] | Peled, Doron A [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
|
|
|
|
Foundations of Computer Software [electronic resource] : Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers / edited by Radu Calinescu, Ethan Jackson.
by Calinescu, Radu [editor.] | Jackson, Ethan [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
|
|
|
|
Euro-Par 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander.
by Lopes, Luís [editor.] | Žilinskas, Julius [editor.] | Costan, Alexandru [editor.] | Cascella, Roberto G [editor.] | Kecskemeti, Gabor [editor.] | Jeannot, Emmanuel [editor.] | Cannataro, Mario [editor.] | Ricci, Laura [editor.] | Benkner, Siegfried [editor.] | Petit, Salvador [editor.] | Scarano, Vittorio [editor.] | Gracia, José [editor.] | Hunold, Sascha [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Lengauer, Christian [editor.] | Carretero, Jesus [editor.] | Breitbart, Jens [editor.] | Alexander, Michael [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
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings / edited by Jim Dowling, François Taïani.
by Dowling, Jim [editor.] | Taïani, François [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
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, MARINA AGUADO, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel.
by Berbineau, Marion [editor.] | Jonsson, Magnus [editor.] | Bonnin, Jean-Marie [editor.] | Cherkaoui, Soumaya [editor.] | AGUADO, MARINA [editor.] | Rico-Garcia, Cristina [editor.] | Ghannoum, Hassan [editor.] | Mehmood, Rashid [editor.] | Vinel, Alexey [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
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / edited by Lydia Y. Chen, Hans P. Reiser.
by Chen, Lydia Y [editor.] | Reiser, Hans P [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
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings / edited by Sanyou Zeng.
by Zeng, Sanyou [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II / edited by Sang-Soo Yeo, Jong Hyuk Park, Laurence Tianruo Yang, Ching-Hsien Hsu.
by Yeo, Sang-Soo [editor.] | Park, Jong Hyuk [editor.] | Yang, Laurence Tianruo [editor.] | Hsu, Ching-Hsien [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
|
|
|
|
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings / edited by Alexander Dudin, Koen De Turck.
by Dudin, Alexander [editor.] | De Turck, Koen [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings / edited by Doug Lea, Gianluigi Zavattaro.
by Lea, Doug [editor.] | Zavattaro, Gianluigi [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
|
|
|
|
Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / edited by Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner.
by Hofmeister, Christine [editor.] | Crnkovic, Ivica [editor.] | Reussner, Ralf H [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger.
by Chatterjee, Krishnendu [editor.] | Henzinger, Thomas A [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
|
|
|
|
OpenMP in a Heterogeneous World [electronic resource] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / edited by Barbara Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro.
by Chapman, Barbara [editor.] | Massaioli, Federico [editor.] | Müller, Matthias S [editor.] | Rorro, Marco [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings / edited by Haj Jin, Omer F. Rana, Yi Pan, Victor K. Prasanna.
by Jin, Haj [editor.] | Rana, Omer F [editor.] | Pan, Yi [editor.] | Prasanna, Victor K [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
|
|
|
|
OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller.
by Rendell, Alistair P [editor.] | Chapman, Barbara M [editor.] | Müller, Matthias S [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
|
|
|
|
Challenges for Next Generation Network Operations and Service Management [electronic resource] : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings / edited by Yan Ma, Deokjai Choi, Shingo Ata.
by Ma, Yan [editor.] | Choi, Deokjai [editor.] | Ata, Shingo [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
|
|
|
|
Traffic Monitoring and Analysis [electronic resource] : 6th International Workshop, TMA 2014, London, UK, April 14, 2014, Proceedings / edited by Alberto Dainotti, Anirban Mahanti, Steve Uhlig.
by Dainotti, Alberto [editor.] | Mahanti, Anirban [editor.] | Uhlig, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers / edited by Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Wasniewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Meyer, Norbert [editor.] | Wasniewski, Jerzy [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
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers / edited by Chen Ding, John Criswell, Peng Wu.
by Ding, Chen [editor.] | Criswell, John [editor.] | Wu, Peng [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
|
|
|
|
High Performance Embedded Architectures and Compilers [electronic resource] : Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings / edited by Per Stenström, Michel Dubois, Manolis Katevenis, Rajiv Gupta, Theo Ungerer.
by Stenström, Per [editor.] | Dubois, Michel [editor.] | Katevenis, Manolis [editor.] | Gupta, Rajiv [editor.] | Ungerer, Theo [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
|
