|
|
|
Semantics of Probabilistic Processes [electronic resource] : An Operational Approach / by Yuxin Deng.
by Deng, Yuxin [author.] | 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
|
|
|
|
Computer Vision - ECCV 2016 [electronic resource] : 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part VI / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling.
by Leibe, Bastian [editor.] | Matas, Jiri [editor.] | Sebe, Nicu [editor.] | Welling, Max [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
|
|
|
|
Concise Guide to Computing Foundations [electronic resource] : Core Concepts and Select Scientific Applications / by Kevin Brewer, Cathy Bareiss.
by Brewer, Kevin [author.] | Bareiss, Cathy [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
|
|
|
|
Co-created Effective, Agile, and Trusted eServices [electronic resource] : 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013. Proceedings / edited by Jonna J�arvel�ainen, Hongxiu Li, Anne-Marie Tuikka, Tiina Kuusela.
by J�arvel�ainen, Jonna [editor.] | Li, Hongxiu [editor.] | Tuikka, Anne-Marie [editor.] | Kuusela, Tiina [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
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [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
|
|
|
|
Electronic Participation [electronic resource] : 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014. Proceedings / edited by Efthimios Tambouris, Ann Macintosh, Frank Bannister.
by Tambouris, Efthimios [editor.] | Macintosh, Ann [editor.] | Bannister, Frank [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
|
|
|
|
Algorithms and Complexity [electronic resource] : 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings / edited by Vangelis Th. Paschos, Peter Widmayer.
by Paschos, Vangelis Th [editor.] | Widmayer, Peter [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
|
|
|
|
Multidimensional Queueing Models in Telecommunication Networks [electronic resource] / by Agassi Melikov, Leonid Ponomarenko.
by Melikov, Agassi [author.] | Ponomarenko, Leonid [author.] | 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
|
|
|
|
Web Information Systems Engineering - WISE 2014 [electronic resource] : 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II / edited by Boualem Benatallah, Azer Bestavros, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang.
by Benatallah, Boualem [editor.] | Bestavros, Azer [editor.] | Manolopoulos, Yannis [editor.] | Vakali, Athena [editor.] | Zhang, Yanchun [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
|
|
|
|
Parallel Computational Fluid Dynamics [electronic resource] : 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers / edited by Kenli Li, Zheng Xiao, Yan Wang, Jiayi Du, Keqin Li.
by Li, Kenli [editor.] | Xiao, Zheng [editor.] | Wang, Yan [editor.] | Du, Jiayi [editor.] | Li, Keqin [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
|
|
|
|
Image and Video Technology - PSIVT 2013 Workshops [electronic resource] : GCCV 2013, GPID 2013, PAESNPR 2013, and QACIVA 2013, Guanajuato, Mexico, October 28-29, 2013, Revised Selected Papers / edited by Fay Huang, Akihiro Sugimoto.
by Huang, Fay [editor.] | Sugimoto, Akihiro [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
|
|
|
|
Information Processing in Computer-Assisted Interventions [electronic resource] : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings / edited by Dean Barratt, St�ephane Cotin, Gabor Fichtinger, Pierre Jannin, Nassir Navab.
by Barratt, Dean [editor.] | Cotin, St�ephane [editor.] | Fichtinger, Gabor [editor.] | Jannin, Pierre [editor.] | Navab, Nassir [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-Assisted and Robotic Endoscopy [electronic resource] : Second International Workshop, CARE 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers / edited by Xiongbiao Luo, Tobias Reichl, Austin Reiter, Gian-Luca Mariottini.
by Luo, Xiongbiao [editor.] | Reichl, Tobias [editor.] | Reiter, Austin [editor.] | Mariottini, Gian-Luca [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
|
|
|
|
Lightweight Cryptography for Security and Privacy [electronic resource] : 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers / edited by Tim G�uneysu, Gregor Leander, Amir Moradi.
by G�uneysu, Tim [editor.] | Leander, Gregor [editor.] | Moradi, Amir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Functional Imaging and Modeling of the Heart [electronic resource] : 8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings / edited by Hans van Assen, Peter Bovendeerd, Tammo Delhaas.
by van Assen, Hans [editor.] | Bovendeerd, Peter [editor.] | Delhaas, Tammo [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
|
|
|
|
Modelling and Control of Dynamic Systems Using Gaussian Process Models [electronic resource] / by Juš Kocijan.
by Kocijan, Juš [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III / edited by Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železn�y.
by Blockeel, Hendrik [editor.] | Kersting, Kristian [editor.] | Nijssen, Siegfried [editor.] | Železn�y, Filip [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
|
|
|
|
Applied Computer Science [electronic resource] / by Shane Torbert.
by Torbert, Shane [author.] | SpringerLink (Online service). Edition: 2nd ed. 2016.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
|
|
|
|
Cryptography in Constant Parallel Time [electronic resource] / by Benny Applebaum.
by Applebaum, Benny [author.] | 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
|
|
|
|
Trustworthy Computing and Services [electronic resource] : International Conference, ISCTCS 2013, Beijing, China, November 2013, Revised Selected Papers / edited by Yuyu Yuan, Xu Wu, Yueming Lu.
by Yuan, Yuyu [editor.] | Wu, Xu [editor.] | Lu, Yueming [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
|
