|
|
|
Advanced Parallel Processing Technologies [electronic resource] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu.
by Cao, Jiannong [editor.] | Nejdl, Wolfgang [editor.] | Xu, Ming [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
|
|
|
|
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
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl.
by Muscholl, Anca [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
|
|
|
|
Principles of Distributed Systems [electronic resource] : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012, Proceedings / edited by Roberto Baldoni, Paola Flocchini, Ravindran Binoy.
by Baldoni, Roberto [editor.] | Flocchini, Paola [editor.] | Binoy, Ravindran [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
|
|
|
|
Reliable Software Technology - Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / edited by Tullio Vardanega, Andy Wellings.
by Vardanega, Tullio [editor.] | Wellings, Andy [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
|
|
|
|
Software Process Dynamics and Agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo.
by Wang, Qing [editor.] | Pfahl, Dietmar [editor.] | Raffo, David M [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
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings / edited by Fabio MASSACCI, Dan Wallach, Nicola Zannone.
by MASSACCI, Fabio [editor.] | Wallach, Dan [editor.] | Zannone, Nicola [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
|
|
|
|
Parallel Computing Technologies [electronic resource] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings / edited by Victor Malyshkin.
by Malyshkin, Victor [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
|
|
|
|
AI 2017: Advances in Artificial Intelligence [electronic resource] : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings / edited by Wei Peng, Damminda Alahakoon, Xiaodong Li.
by Peng, Wei [editor.] | Alahakoon, Damminda [editor.] | Li, Xiaodong [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
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / edited by Silvio Ghilardi, Roberto Sebastiani.
by Ghilardi, Silvio [editor.] | Sebastiani, Roberto [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
|
|
|
|
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [electronic resource] : Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers / edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko.
by Tuyls, Karl [editor.] | Nowe, Ann [editor.] | Guessoum, Zahia [editor.] | Kudenko, Daniel [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
|
|
|
|
Rapid Integration of Software Engineering Techniques [electronic resource] : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / edited by Nicolas Guelfi.
by Guelfi, Nicolas [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
|
|
|
|
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings / edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi.
by Abrahamsson, Pekka [editor.] | Marchesi, Michele [editor.] | Succi, Giancarlo [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
|
|
|
|
Software Product Lines: Going Beyond [electronic resource] : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings / edited by Jan Bosch, Jaejoon Lee.
by Bosch, Jan [editor.] | Lee, Jaejoon [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
|
|
|
|
Algorithms - ESA 2010 [electronic resource] : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings / edited by Mark de Berg, Ulrich Meyer.
by de Berg, Mark [editor.] | Meyer, Ulrich [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
|
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 8th International Symposium, ARC 2012, Hongkong, China, March 19-23, 2012, Proceedings / edited by Oliver Choy, Ray Cheung, Peter Athanas, Kentaro Sano.
by Choy, Oliver [editor.] | Cheung, Ray [editor.] | Athanas, Peter [editor.] | Sano, Kentaro [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
|
|
|
|
Tests and Proofs [electronic resource] : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / edited by Sebastian Gabmeyer, Einar Broch Johnsen.
by Gabmeyer, Sebastian [editor.] | Johnsen, Einar Broch [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
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue.
by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | de Boer, Frank S [editor.] | Bonsangue, Marcello M [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
|
|
|
|
High Performance Computing for Computational Science -- VECPAR 2010 [electronic resource] : 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers / edited by José M. Laginha M. Palma, Michel Daydé, Osni Marques, Joao Correia Lopes.
by Palma, José M. Laginha M [editor.] | Daydé, Michel [editor.] | Marques, Osni [editor.] | Lopes, Joao Correia [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
|
|
|
|
Advanced Parallel Processing Technologies [electronic resource] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu.
by Xu, Ming [editor.] | Zhan, Yinwei [editor.] | Cao, Jiannong [editor.] | Liu, Yijun [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
|
