|
|
|
Service Research Challenges and Solutions for the Future Internet [electronic resource] : S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems / edited by M. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger.
by Papazoglou, M [editor.] | Pohl, Klaus [editor.] | Parkin, Michael [editor.] | Metzger, Andreas [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
|
|
|
|
Agent Environments for Multi-Agent Systems IV [electronic resource] : 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers / edited by Danny Weyns, Fabien Michel.
by Weyns, Danny [editor.] | Michel, Fabien [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
|
|
|
|
Argumentation in Multi-Agent Systems [electronic resource] : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers / edited by Peter McBurney, Simon Parsons, Iyad Rahwan.
by McBurney, Peter [editor.] | Parsons, Simon [editor.] | Rahwan, Iyad [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
|
|
|
|
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare and Safety of the Environment and Transport [electronic resource] : 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Vincent G. Duffy.
by Duffy, Vincent G [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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings / edited by Alessandro Cimatti, Marjan Sirjani.
by Cimatti, Alessandro [editor.] | Sirjani, Marjan [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
|
|
|
|
Embedded Software and Systems [electronic resource] : Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin.
by Yang, Laurence T [editor.] | Zhou, Xingshe [editor.] | Zhao, Wei [editor.] | Wu, Zhaohui [editor.] | Zhu, Yian [editor.] | Lin, Man [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
|
|
|
|
Intelligent Computing Theories and Technology [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Yong-Quan Zhou, Kyungsook Han.
by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Zhou, Yong-Quan [editor.] | Han, Kyungsook [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.
by Leue, Stefan [editor.] | Merino, Pedro [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
|
|
|
|
Anaphora Processing and Applications [electronic resource] : 8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro Portugal, October 6-7, 2011. Revised Selected Papers / edited by Iris Hendrickx, Sobha Lalitha Devi, António Branco, Ruslan Mitkov.
by Hendrickx, Iris [editor.] | Lalitha Devi, Sobha [editor.] | Branco, António [editor.] | Mitkov, Ruslan [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
|
|
|
|
E-Commerce and Web Technologies [electronic resource] : 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009, Proceedings / edited by Tommaso Noia, Francesco Buccafurri.
by Noia, Tommaso [editor.] | Buccafurri, Francesco [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
|
|
|
|
Theory of Security and Applications [electronic resource] : Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers / edited by Sebastian Moedersheim, Catuscia Palamidessi.
by Moedersheim, Sebastian [editor.] | Palamidessi, Catuscia [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
|
|
|
|
Web Information Systems Engineering - WISE 2010 [electronic resource] : 11th International Conference, Hong Kong, China, December 12-14, 2010, Proceedings / edited by Lei Chen, Peter Triantafillou, Torsten Suel.
by Chen, Lei [editor.] | Triantafillou, Peter [editor.] | Suel, Torsten [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
|
|
|
|
Natural and Artificial Models in Computation and Biology [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I / edited by Jose Manuel Ferrandez Vicente, Jose Ramon Alvarez Sanchez, Felix de la Paz Lopez, Fco. Javier Toledo Moreo.
by Ferrandez Vicente, Jose Manuel [editor.] | Alvarez Sanchez, Jose Ramon [editor.] | de la Paz Lopez, Felix [editor.] | Toledo Moreo, Fco. Javier [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
|
|
|
|
Web Engineering [electronic resource] : 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings / edited by David Lowe, Martin Gaedke.
by Lowe, David [editor.] | Gaedke, Martin [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
|
|
|
|
Pattern Recognition [electronic resource] : 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010, Proceedings / edited by Michael Goesele, Stefan Roth, Arjan Kuijper, Bernt Schiele, Konrad Schindler.
by Goesele, Michael [editor.] | Roth, Stefan [editor.] | Kuijper, Arjan [editor.] | Schiele, Bernt [editor.] | Schindler, Konrad [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
|
|
|
|
High Performance Computing Systems and Applications [electronic resource] : 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers / edited by Douglas J. K. Mewhort, Natalie M. Cann, Gary W. Slater, Thomas J. Naughton.
by Mewhort, Douglas J. K [editor.] | Cann, Natalie M [editor.] | Slater, Gary W [editor.] | Naughton, Thomas J [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
|
|
|
|
The Semantic Web -- ISWC 2011 [electronic resource] : 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part II / edited by Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist.
by Aroyo, Lora [editor.] | Welty, Chris [editor.] | Alani, Harith [editor.] | Taylor, Jamie [editor.] | Bernstein, Abraham [editor.] | Kagal, Lalana [editor.] | Noy, Natasha [editor.] | Blomqvist, Eva [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
|
|
|
|
Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / edited by Peter Van Roy.
by Van Roy, Peter [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
|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012, Proceedings / edited by Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Pradipta Kumar Nanda.
by Panigrahi, Bijaya Ketan [editor.] | Das, Swagatam [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Nanda, Pradipta Kumar [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
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings / edited by Paris Avgeriou.
by Avgeriou, Paris [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
|
