|
|
|
Architectural Design [electronic resource] : Conception and Specification of Interactive Systems / by Chris A. Vissers, Lu�is Ferreira Pires, Dick A.C. Quartel, Marten van Sinderen.
by Vissers, Chris A [author.] | Pires, Lu�is Ferreira [author.] | Quartel, Dick A.C [author.] | van Sinderen, Marten [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Behavioural Models [electronic resource] : From Modelling Finite Automata to Analysing Business Processes / by Matthias Kunze, Mathias Weske.
by Kunze, Matthias [author.] | Weske, Mathias [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Data Privacy Management and Autonomous Spontaneous Security [electronic resource] : 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers / edited by Roberto Di Pietro, Javier Herranz, Ernesto Damiani, Radu State.
by Pietro, Roberto Di [editor.] | Herranz, Javier [editor.] | Damiani, Ernesto [editor.] | State, Radu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Service-Oriented Computing [electronic resource] : 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings / edited by Xavier Franch, Aditya K. Ghose, Grace A. Lewis, Sami Bhiri.
by Franch, Xavier [editor.] | Ghose, Aditya K [editor.] | Lewis, Grace A [editor.] | Bhiri, Sami [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Social Computing, Behavioral-Cultural Modeling, and Prediction [electronic resource] : 8th International Conference, SBP 2015, Washington, DC, USA, March 31-April 3, 2015. Proceedings / edited by Nitin Agarwal, Kevin Xu, Nathaniel Osgood.
by Agarwal, Nitin [editor.] | Xu, Kevin [editor.] | Osgood, Nathaniel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Medical Content-Based Retrieval for Clinical Decision Support [electronic resource] : Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1, 2012, Revised Selected Papers / edited by Hayit Greenspan, Henning M�uller, Tanveer Syeda-Mahmood.
by Greenspan, Hayit [editor.] | M�uller, Henning [editor.] | Syeda-Mahmood, Tanveer [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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 Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann.
by Beek, Maurice H. ter [editor.] | Lohmann, Niels [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Ad-hoc, Mobile, and Wireless Network [electronic resource] : 12th International Conference, ADHOC-NOW 2013, Wroc�aw, Poland, July 8-10, 2013. Proceedings / edited by Jacek Cichoń, Maciej G�ebala, Marek Klonowski.
by Cichoń, Jacek [editor.] | G�ebala, Maciej [editor.] | Klonowski, Marek [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Computer and Information Science [electronic resource] / edited by Roger Lee.
by Lee, Roger [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Software Language Engineering [electronic resource] : 7th International Conference, SLE 2014, V�aster�as, Sweden, September 15-16, 2014. Proceedings / edited by Beno�it Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju.
by Combemale, Beno�it [editor.] | Pearce, David J [editor.] | Barais, Olivier [editor.] | Vinju, Jurgen J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Network and System Security [electronic resource] : 10th International Conference, NSS 2016, Taipei, Taiwan, September 28-30, 2016, Proceedings / edited by Jiageng Chen, Vincenzo Piuri, Chunhua Su, Moti Yung.
by Chen, Jiageng [editor.] | Piuri, Vincenzo [editor.] | Su, Chunhua [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
S-BPM ONE - Running Processes [electronic resource] : 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings / edited by Herbert Fischer, Josef Schneeberger.
by Fischer, Herbert [editor.] | Schneeberger, Josef [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 9th International Conference, SECITC 2016, Bucharest, Romania, June 9-10, 2016, Revised Selected Papers / edited by Ion Bica, Reza Reyhanitabar.
by Bica, Ion [editor.] | Reyhanitabar, Reza [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Lean Enterprise Software and Systems [electronic resource] : 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings / edited by Brian Fitzgerald, Kieran Conboy, Ken Power, Ricardo Valerdi, Lorraine Morgan, Klaas-Jan Stol.
by Fitzgerald, Brian [editor.] | Conboy, Kieran [editor.] | Power, Ken [editor.] | Valerdi, Ricardo [editor.] | Morgan, Lorraine [editor.] | Stol, Klaas-Jan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Cloud Computing and Security [electronic resource] : First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers / edited by Zhiqiu Huang, Xingming Sun, Junzhou Luo, Jian Wang.
by Huang, Zhiqiu [editor.] | Sun, Xingming [editor.] | Luo, Junzhou [editor.] | Wang, Jian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
|
Security and Cryptography for Networks [electronic resource] : 10th International Conference, SCN 2016, Amalfi, Italy, August 31 - September 2, 2016, Proceedings / edited by Vassilis Zikas, Roberto De Prisco.
by Zikas, Vassilis [editor.] | De Prisco, Roberto [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Transactions on Computational Science XVII [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan.
by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2016 [electronic resource] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II / edited by Jung Hee Cheon, Tsuyoshi Takagi.
by Cheon, Jung Hee [editor.] | Takagi, Tsuyoshi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Communication Networking [electronic resource] : 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings / edited by Thomas Bauschert.
by Bauschert, Thomas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
