|
|
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran.
by Qadeer, Shaz [editor.] | Tasiran, Serdar [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
|
|
|
|
The Personal Web [electronic resource] : A Research Agenda / edited by Mark Chignell, James R. Cordy, Ryan Kealey, Joanna Ng, Yelena Yesha.
by Chignell, Mark [editor.] | Cordy, James R [editor.] | Kealey, Ryan [editor.] | Ng, Joanna [editor.] | Yesha, Yelena [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
|
|
|
|
Information Systems Engineering in Complex Environments [electronic resource] : CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers / edited by Selmin Nurcan, Elias Pimenidis.
by Nurcan, Selmin [editor.] | Pimenidis, Elias [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
|
|
|
|
Requirements Engineering Toward Sustainable World [electronic resource] : Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings / edited by Seok-Won Lee, Takako Nakatani.
by Lee, Seok-Won [editor.] | Nakatani, Takako [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Instruction Level Parallelism [electronic resource] / by Alex Aiken, Utpal Banerjee, Arun Kejariwal, Alexandru Nicolau.
by Aiken, Alex [author.] | Banerjee, Utpal [author.] | Kejariwal, Arun [author.] | Nicolau, Alexandru [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Social Computing [electronic resource] : Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part II / edited by Wanxiang Che, Qilong Han, Hongzhi Wang, Weipeng Jing, Shaoliang Peng, Junyu Lin, Guanglu Sun, Xianhua Song, Hongtao Song, Zeguang Lu.
by Che, Wanxiang [editor.] | Han, Qilong [editor.] | Wang, Hongzhi [editor.] | Jing, Weipeng [editor.] | Peng, Shaoliang [editor.] | Lin, Junyu [editor.] | Sun, Guanglu [editor.] | Song, Xianhua [editor.] | Song, Hongtao [editor.] | Lu, Zeguang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Computing and Information Technology [electronic resource] : Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 3 / edited by Natarajan Meghanathan, Dhinaharan Nagamalai, Nabendu Chaki.
by Meghanathan, Natarajan [editor.] | Nagamalai, Dhinaharan [editor.] | Chaki, Nabendu [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
|
|
|
|
Knowledge Management in Organizations [electronic resource] : 9th International Conference, KMO 2014, Santiago, Chile, September 2-5, 2014, Proceedings / edited by Lorna Uden, Darcy Fuenzaliza Oshee, I-Hsien Ting, Dario Liberona.
by Uden, Lorna [editor.] | Fuenzaliza Oshee, Darcy [editor.] | Ting, I-Hsien [editor.] | Liberona, Dario [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
|
|
|
|
Resource Management for Big Data Platforms [electronic resource] : Algorithms, Modelling, and High-Performance Computing Techniques / edited by Florin Pop, Joanna Ko�odziej, Beniamino Di Martino.
by Pop, Florin [editor.] | Ko�odziej, Joanna [editor.] | Di Martino, Beniamino [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
|
|
|
|
Frontier Computing [electronic resource] : Theory, Technologies and Applications / edited by Jason C Hung, Neil Y. Yen, Kuan-Ching Li.
by Hung, Jason C [editor.] | Yen, Neil Y [editor.] | Li, Kuan-Ching [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Maintenance Overtime Policies in Reliability Theory [electronic resource] : Models with Random Working Cycles / by Toshio Nakagawa, Xufeng Zhao.
by Nakagawa, Toshio [author.] | Zhao, Xufeng [author.] | 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
|
|
|
|
A Multimodal End-2-End Approach to Accessible Computing [electronic resource] / edited by Pradipta Biswas, Carlos Duarte, Patrick Langdon, Luis Almeida.
by Biswas, Pradipta [editor.] | Duarte, Carlos [editor.] | Langdon, Patrick [editor.] | Almeida, Luis [editor.] | SpringerLink (Online service). Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Technology and Intimacy: Choice or Coercion [electronic resource] : 12th IFIP TC 9 International Conference on Human Choice and Computers, HCC12 2016, Salford, UK, September 7-9, 2016, Proceedings / edited by David Kreps, Gordon Fletcher, Marie Griffiths.
by Kreps, David [editor.] | Fletcher, Gordon [editor.] | Griffiths, Marie [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
|
|
|
|
IAENG Transactions on Engineering Technologies [electronic resource] : Special Edition of the World Congress on Engineering and Computer Science 2011 / edited by Haeng Kon Kim, Sio-Iong Ao, Burghard B. Rieger.
by Kim, Haeng Kon [editor.] | Ao, Sio-Iong [editor.] | Rieger, Burghard B [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
ICT Education [electronic resource] : 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers / edited by Stefan Gruner.
by Gruner, Stefan [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
|
|
|
|
Synthesizable VHDL Design for FPGAs [electronic resource] / by Eduardo Augusto Bezerra, Djones Vinicius Lettnin.
by Bezerra, Eduardo Augusto [author.] | Lettnin, Djones Vinicius [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
|
|
|
|
Enhanced Building Information Models [electronic resource] : Using IoT Services and Integration Patterns / by Umit Isikdag.
by Isikdag, Umit [author.] | 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
|
|
|
|
Techniques and Tools for Designing an Online Social Network Platform [electronic resource] / by Panagiotis Karampelas.
by Karampelas, Panagiotis [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Embracing Global Computing in Emerging Economies [electronic resource] : First Workshop, EGC 2015, Almaty, Kazakhstan, February 26-28, 2015. Proceedings / edited by Ross Horne.
by Horne, Ross [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
|
|
|
|
Augmented Reality Art [electronic resource] : From an Emerging Technology to a Novel Creative Medium / edited by Vladimir Geroimenko.
by Geroimenko, Vladimir [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
|
