|
|
|
Computational Science and Its Applications - ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV / edited by David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan.
by Taniar, David [editor.] | Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Pardede, Eric [editor.] | Apduhan, Bernady O [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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings / edited by Gustavo Carvalho, Volker Stolz.
by Carvalho, Gustavo [editor.] | Stolz, Volker [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 2009, Parallel Processing - Workshops [electronic resource] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops / edited by Hai-Xiang Lin, Michael Alexander, Martti Forsell, Andreas Knüpfer, Radu Prodan, Leonel Sousa, Achim Streit.
by Lin, Hai-Xiang [editor.] | Alexander, Michael [editor.] | Forsell, Martti [editor.] | Knüpfer, Andreas [editor.] | Prodan, Radu [editor.] | Sousa, Leonel [editor.] | Streit, Achim [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
|
|
|
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers / edited by Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala.
by Hliněný, Petr [editor.] | Dvořák, Zdeněk [editor.] | Jaroš, Jiří [editor.] | Kofroň, Jan [editor.] | Kořenek, Jan [editor.] | Matula, Petr [editor.] | Pala, Karel [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
|
|
|
|
Web Information Systems and Mining [electronic resource] : International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / edited by Zhiguo Gong, Xiangfeng Luo, Junjie Chen, Jingsheng Lei, Fu Lee Wang.
by Gong, Zhiguo [editor.] | Luo, Xiangfeng [editor.] | Chen, Junjie [editor.] | Lei, Jingsheng [editor.] | Wang, Fu Lee [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
|
|
|
|
Wired / Wireless Internet Communication [electronic resource] : 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012, Proceedings / edited by Yevgeni Koucheryavy, Lefteris Mamatas, Ibrahim Matta, Vassilis Tsaoussidis.
by Koucheryavy, Yevgeni [editor.] | Mamatas, Lefteris [editor.] | Matta, Ibrahim [editor.] | Tsaoussidis, Vassilis [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers / edited by Darren Cofer, Alessandro Fantechi.
by Cofer, Darren [editor.] | Fantechi, Alessandro [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
|
|
|
|
Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings / edited by Jetty Kleijn, Alex Yakovlev.
by Kleijn, Jetty [editor.] | Yakovlev, Alex [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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings / edited by Yu Cheng, Do Young Eun, Zhiguang Qin, Min Song, Kai Xing.
by Cheng, Yu [editor.] | Eun, Do Young [editor.] | Qin, Zhiguang [editor.] | Song, Min [editor.] | Xing, Kai [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
|
|
|
|
Current Trends in Web Engineering [electronic resource] : ICWE 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016. Revised Selected Papers / edited by Sven Casteleyn, Peter Dolog, Cesare Pautasso.
by Casteleyn, Sven [editor.] | Dolog, Peter [editor.] | Pautasso, Cesare [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
|
|
|
|
Design Science Research in Information Systems: Advances in Theory and Practice [electronic resource] : 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012, Proceedings / edited by Ken Peffers, Marcus Rothenberger, Bill Kuechler.
by Peffers, Ken [editor.] | Rothenberger, Marcus [editor.] | Kuechler, Bill [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
|
|
|
|
Engineering Societies in the Agents World X [electronic resource] : 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009, Proceedings / edited by Huib Aldewereld, Virginia Dignum, Gauthier Picard.
by Aldewereld, Huib [editor.] | Dignum, Virginia [editor.] | Picard, Gauthier [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings / edited by Javier Esparza, Rupak Majumdar.
by Esparza, Javier [editor.] | Majumdar, Rupak [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
|
|
|
|
SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings / edited by Maria Bielikova, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán.
by Bielikova, Maria [editor.] | Friedrich, Gerhard [editor.] | Gottlob, Georg [editor.] | Katzenbeisser, Stefan [editor.] | Turán, György [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
|
|
|
|
Future Generation Information Technology [electronic resource] : Third International Conference, FGIT 2011, Jeju Island, December 8-10, 2011. Proceedings / edited by Tai-hoon Kim, Hojjat Adeli, Dominik Slezak, Frode Eika Sandnes, Xiaofeng Song, Kyo-il Chung, Kirk P. Arnett.
by Kim, Tai-hoon [editor.] | Adeli, Hojjat [editor.] | Slezak, Dominik [editor.] | Sandnes, Frode Eika [editor.] | Song, Xiaofeng [editor.] | Chung, Kyo-il [editor.] | Arnett, Kirk P [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
|
|
|
|
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies [electronic resource] : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez.
by Gorentla Venkata, Manjunath [editor.] | Shamis, Pavel [editor.] | Imam, Neena [editor.] | Lopez, M. Graham [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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider.
by Barthe, Gilles [editor.] | Pardo, Alberto [editor.] | Schneider, Gerardo [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
|
|
|
|
Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.
by Dams, Dennis [editor.] | Hannemann, Ulrich [editor.] | Steffen, Martin [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
|
|
|
|
Adaptive and Natural Computing Algorithms [electronic resource] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I / edited by Andrej Dobnikar, Uroš Lotric, Branko Šter.
by Dobnikar, Andrej [editor.] | Lotric, Uroš [editor.] | Šter, Branko [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
|
|
|
|
RoboCup 2014: Robot World Cup XVIII [electronic resource] / edited by Reinaldo A. C. Bianchi, H. Levent Akin, Subramanian Ramamoorthy, Komei Sugiura.
by Bianchi, Reinaldo A. C [editor.] | Akin, H. Levent [editor.] | Ramamoorthy, Subramanian [editor.] | Sugiura, Komei [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
|
