|
|
|
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
|
|
|
|
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings / edited by Abdelkader Hameurlain, A Min Tjoa.
by Hameurlain, Abdelkader [editor.] | Tjoa, A Min [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
|
|
|
|
Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister.
by Lewis, Grace A [editor.] | Poernomo, Iman [editor.] | Hofmeister, Christine [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
|
|
|
|
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings / edited by Jorge Cuellar, Tom Maibaum.
by Cuellar, Jorge [editor.] | Maibaum, Tom [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
|
|
|
|
Coding Theory and Applications [electronic resource] : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings / edited by Ángela I. Barbero, Vitaly Skachek, Øyvind Ytrehus.
by Barbero, Ángela I [editor.] | Skachek, Vitaly [editor.] | Ytrehus, Øyvind [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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings / edited by Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki, Tommi Mikkonen.
by Abrahamsson, Pekka [editor.] | Jedlitschka, Andreas [editor.] | Nguyen Duc, Anh [editor.] | Felderer, Michael [editor.] | Amasaki, Sousuke [editor.] | Mikkonen, Tommi [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
|
|
|
|
Model and Data Engineering [electronic resource] : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez.
by Abdelwahed, El Hassan [editor.] | Bellatreche, Ladjel [editor.] | Golfarelli, Mattéo [editor.] | Méry, Dominique [editor.] | Ordonez, Carlos [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
|
|
|
|
Transactions on Computational Collective Intelligence XXVIII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | van den Herik, Jaap [editor.] | Rocha, Ana Paula [editor.] | Filipe, Joaquim [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
|
|
|
|
KI 2020: Advances in Artificial Intelligence [electronic resource] : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings / edited by Ute Schmid, Franziska Klügl, Diedrich Wolter.
by Schmid, Ute [editor.] | Klügl, Franziska [editor.] | Wolter, Diedrich [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
|
|
|
|
End-User Development [electronic resource] : 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019, Proceedings / edited by Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, Andrew Stratton.
by Malizia, Alessio [editor.] | Valtolina, Stefano [editor.] | Morch, Anders [editor.] | Serrano, Alan [editor.] | Stratton, Andrew [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III / edited by Osvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan, David Taniar, Antonio Laganà, Youngsong Mun, Hyunseung Choo.
by Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C.J. Kenneth [editor.] | Taniar, David [editor.] | Laganà, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [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
|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012, Proceedings / edited by Annette ten Teije, Johanna Völker, Siegfried Handschuh, Heiner Stuckenschmidt, Mathieu d'Acquin, Andriy Nikolov, Nathalie Aussenac-Gilles, Nathalie Hernandez.
by ten Teije, Annette [editor.] | Völker, Johanna [editor.] | Handschuh, Siegfried [editor.] | Stuckenschmidt, Heiner [editor.] | d'Acquin, Mathieu [editor.] | Nikolov, Andriy [editor.] | Aussenac-Gilles, Nathalie [editor.] | Hernandez, Nathalie [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings / edited by Chung-chien Shan.
by Shan, Chung-chien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
