|
|
|
Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro.
by Bravetti, Mario [editor.] | Kloul, Leila [editor.] | Zavattaro, Gianluigi [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
|
|
|
|
Traffic Monitoring and Analysis [electronic resource] : Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011, Proceedings / edited by Jordi Domingo-Pascual, Yuval Shavitt, Steve Uhlig.
by Domingo-Pascual, Jordi [editor.] | Shavitt, Yuval [editor.] | Uhlig, Steve [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
|
|
|
|
High Performance Computing [electronic resource] : 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings / edited by Julian M. Kunkel, Rio Yokota, Pavan Balaji, David Keyes.
by Kunkel, Julian M [editor.] | Yokota, Rio [editor.] | Balaji, Pavan [editor.] | Keyes, David [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
|
|
|
|
Performance Evaluation and Benchmarking [electronic resource] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess.
by Nambiar, Raghunath [editor.] | Poess, Meikel [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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings / edited by Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing.
by Wang, Xinbing [editor.] | Zheng, Rong [editor.] | Jing, Tao [editor.] | Xing, Kai [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
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 12th IFIP WG 6.1 International Conference, DAIS 2012. Stockholm, Sweden, June 13-16, 2012, Proceedings / edited by Karl Michael Göschka, Seif Haridi.
by Göschka, Karl Michael [editor.] | Haridi, Seif [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
|
|
|
|
Service-Oriented Computing [electronic resource] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings / edited by Luciano Baresi, Chi-Hung Chi, Jun Suzuki.
by Baresi, Luciano [editor.] | Chi, Chi-Hung [editor.] | Suzuki, Jun [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
|
|
|
|
Energy Efficient Data Centers [electronic resource] : First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers / edited by Jyrki Huusko, Hermann de Meer, Sonja Klingert, Andrey Somov.
by Huusko, Jyrki [editor.] | de Meer, Hermann [editor.] | Klingert, Sonja [editor.] | Somov, Andrey [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 Conceptual Modeling [electronic resource] : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings / edited by Sergio de Cesare, Ulrich Frank.
by de Cesare, Sergio [editor.] | Frank, Ulrich [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
|
|
|
|
Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / edited by Jeremy Avigad, Assia Mahboubi.
by Avigad, Jeremy [editor.] | Mahboubi, Assia [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
|
|
|
|
Traffic Monitoring and Analysis [electronic resource] : 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012, Proceedings / edited by Antonio Pescapè, Luca Salgarelli, Xenofontas Dimitropoulos.
by Pescapè, Antonio [editor.] | Salgarelli, Luca [editor.] | Dimitropoulos, Xenofontas [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
|
|
|
|
Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops [electronic resource] : ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings / edited by Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo, Gudula Ruenger.
by Min, Geyong [editor.] | Di Martino, Beniamino [editor.] | Yang, Laurence T [editor.] | Guo, Minyi [editor.] | Ruenger, Gudula [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
|
|
|
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016, Revised Selected Papers / edited by José Ángel Bañares, Konstantinos Tserpes, Jörn Altmann.
by Bañares, José Ángel [editor.] | Tserpes, Konstantinos [editor.] | Altmann, Jörn [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 Computing Technologies [electronic resource] : 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011, Proceedings / edited by Victor Malyshkin.
by Malyshkin, Victor [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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati.
by Cheng, Xiuzhen [editor.] | Li, Wei [editor.] | Znati, Taieb [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
|
|
|
|
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks [electronic resource] : Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers / edited by Henning Schulzrinne, Radu State, Saverio Niccolini.
by Schulzrinne, Henning [editor.] | State, Radu [editor.] | Niccolini, Saverio [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
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014, Proceedings / edited by Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy.
by Balandin, Sergey [editor.] | Andreev, Sergey [editor.] | Koucheryavy, Yevgeni [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
|
|
|
|
Social Computing and Social Media. User Experience and Behavior [electronic resource] : 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / edited by Gabriele Meiselwitz.
by Meiselwitz, Gabriele [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
|
|
|
|
Reconfigurable Computing: Architectures, Tools, and Applications [electronic resource] : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings / edited by Roger Woods, Katherine Compton, Christos Bourganis, Pedro C. Diniz.
by Woods, Roger [editor.] | Compton, Katherine [editor.] | Bourganis, Christos [editor.] | Diniz, Pedro C [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
|
|
|
|
Advances in Grid and Pervasive Computing [electronic resource] : Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings / edited by Christophe Cérin, Kuan-Ching Li.
by Cérin, Christophe [editor.] | Li, Kuan-Ching [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
|
