|
|
|
Critical Information Infrastructures Security [electronic resource] : 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers / edited by Bernhard M. H�ammerli, Nils Kalstad Svendsen, Javier Lopez.
by H�ammerli, Bernhard M [editor.] | Kalstad Svendsen, Nils [editor.] | Lopez, Javier [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
|
|
|
|
Real-Time C++ [electronic resource] : Efficient Object-Oriented and Template Microcontroller Programming / by Christopher Kormanyos.
by Kormanyos, Christopher [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Games and Learning Alliance [electronic resource] : Third International Conference, GALA 2014, Bucharest, Romania, July 2-4, 2014, Revised Selected Papers / edited by Alessandro De Gloria.
by De Gloria, Alessandro [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
|
|
|
|
JRuby Rails Web Application Development [electronic resource] / by Deepak Vohra.
by Vohra, Deepak [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
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / edited by Jarkko Kari.
by Kari, Jarkko [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematics of Program Construction [electronic resource] : 12th International Conference, MPC 2015, K�onigswinter, Germany, June 29--July 1, 2015. Proceedings / edited by Ralf Hinze, Janis Voigtl�ander.
by Hinze, Ralf [editor.] | Voigtl�ander, Janis [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
|
|
|
|
Mobile as a Mainstream - Towards Future Challenges in Mobile Learning [electronic resource] : 13th World Conference on Mobile and Contextual Learning, mLearn 2014, Istanbul, Turkey, November 3-5, 2014, Proceedings / edited by Marco Kalz, Yasemin Bayyurt, Marcus Specht.
by Kalz, Marco [editor.] | Bayyurt, Yasemin [editor.] | Specht, Marcus [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
|
|
|
|
Computers Helping People with Special Needs [electronic resource] : 15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part II / edited by Klaus Miesenberger, Christian B�uhler, Petr Penaz.
by Miesenberger, Klaus [editor.] | B�uhler, Christian [editor.] | Penaz, Petr [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
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte.
by Ribeiro, Leila [editor.] | Lecomte, Thierry [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
|
|
|
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings / edited by Michael Chau, G. Alan Wang, Hsinchun Chen.
by Chau, Michael [editor.] | Wang, G. Alan [editor.] | Chen, Hsinchun [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
|
|
|
|
Beyond Databases, Architectures and Structures [electronic resource] : 11th International Conference, BDAS 2015, Ustroń, Poland, May 26-29, 2015, Proceedings / edited by Stanis�aw Kozielski, Dariusz Mrozek, Pawe� Kasprowski, Bożena Ma�ysiak-Mrozek, Daniel Kostrzewa.
by Kozielski, Stanis�aw [editor.] | Mrozek, Dariusz [editor.] | Kasprowski, Pawe� [editor.] | Ma�ysiak-Mrozek, Bożena [editor.] | Kostrzewa, Daniel [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
|
|
|
|
Trust Management IX [electronic resource] : 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings / edited by Christian Damsgaard Jensen, Stephen Marsh, Theo Dimitrakos, Yuko Murayama.
by Damsgaard Jensen, Christian [editor.] | Marsh, Stephen [editor.] | Dimitrakos, Theo [editor.] | Murayama, Yuko [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
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan.
by Liu, Shaoying [editor.] | Duan, Zhenhua [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
|
|
|
|
Traffic Monitoring and Analysis [electronic resource] : 7th International Workshop, TMA 2015, Barcelona, Spain, April 21-24, 2015. Proceedings / edited by Moritz Steiner, Pere Barlet-Ros, Olivier Bonaventure.
by Steiner, Moritz [editor.] | Barlet-Ros, Pere [editor.] | Bonaventure, Olivier [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
|
|
|
|
COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy [electronic resource] / edited by Antonella De Angeli, Liam Bannon, Patrizia Marti, Silvia Bordin.
by De Angeli, Antonella [editor.] | Bannon, Liam [editor.] | Marti, Patrizia [editor.] | Bordin, Silvia [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka.
by Piterman, Nir [editor.] | Smolka, Scott A [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
|
|
|
|
Serviceology for Designing the Future [electronic resource] : Selected and Edited Papers of the 2nd International Conference on Serviceology / edited by Takashi Maeno, Yuriko Sawatani, Tatsunori Hara.
by Maeno, Takashi [editor.] | Sawatani, Yuriko [editor.] | Hara, Tatsunori [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings / edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko.
by Gorbenko, Anatoliy [editor.] | Romanovsky, Alexander [editor.] | Kharchenko, Vyacheslav [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
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn.
by Cirne, Walfredo [editor.] | Desai, Narayan [editor.] | Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [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
|
|
|
|
Massively Parallel Evolutionary Computation on GPGPUs [electronic resource] / edited by Shigeyoshi Tsutsui, Pierre Collet.
by Tsutsui, Shigeyoshi [editor.] | Collet, Pierre [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
|
