|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo de Moura.
by Iyoda, Juliano [editor.] | Moura, Leonardo de [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
|
|
|
|
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
|
|
|
|
Situational Method Engineering [electronic resource] / by Brian Henderson-Sellers, Jolita Ralyt�e, P�ar J. �Agerfalk, Matti Rossi.
by Henderson-Sellers, Brian [author.] | Ralyt�e, Jolita [author.] | �Agerfalk, P�ar J [author.] | Rossi, Matti [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
|
|
|
|
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
|
|
|
|
Encyclopedia of Biometrics [electronic resource] / edited by Stan Z. Li, Anil K. Jain.
by Li, Stan Z [editor.] | Jain, Anil K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Data and Applications Security and Privacy XXIX [electronic resource] : 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15, 2015, Proceedings / edited by Pierangela Samarati.
by Samarati, Pierangela [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
|
|
|
|
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [electronic resource] : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond.
by Jarvis, Stephen A [editor.] | Wright, Steven A [editor.] | Hammond, Simon D [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
|
|
|
|
Foundations and Practice of Security [electronic resource] : 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers / edited by Fr�ed�eric Cuppens, Joaquin Garcia-Alfaro, Nur Zincir Heywood, Philip W. L. Fong.
by Cuppens, Fr�ed�eric [editor.] | Garcia-Alfaro, Joaquin [editor.] | Zincir Heywood, Nur [editor.] | Fong, Philip W. L [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
|
|
|
|
Semantics, Analytics, Visualization. Enhancing Scholarly Data [electronic resource] : Second International Workshop, SAVE-SD 2016, Montreal, QC, Canada, April 11, 2016, Revised Selected Papers / edited by Alejandra Gonz�alez-Beltr�an, Francesco Osborne, Silvio Peroni.
by Gonz�alez-Beltr�an, Alejandra [editor.] | Osborne, Francesco [editor.] | Peroni, Silvio [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
|
|
|
|
Web Technologies and Applications [electronic resource] : 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings / edited by Reynold Cheng, Bin Cui, Zhenjie Zhang, Ruichu Cai, Jia Xu.
by Cheng, Reynold [editor.] | Cui, Bin [editor.] | Zhang, Zhenjie [editor.] | Cai, Ruichu [editor.] | Xu, Jia [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
|
|
|
|
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
|
|
|
|
Patterns of Intuition [electronic resource] : Musical Creativity in the Light of Algorithmic Composition / edited by Gerhard Nierhaus.
by Nierhaus, Gerhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2015Online 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
|
|
|
|
Smart Health [electronic resource] : Open Problems and Future Challenges / edited by Andreas Holzinger, Carsten R�ocker, Martina Ziefle.
by Holzinger, Andreas [editor.] | R�ocker, Carsten [editor.] | Ziefle, Martina [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
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel.
by Bloem, Roderick [editor.] | Arbel, Eli [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
|
|
|
|
RoboCup 2013: Robot World Cup XVII [electronic resource] / edited by Sven Behnke, Manuela Veloso, Arnoud Visser, Rong Xiong.
by Behnke, Sven [editor.] | Veloso, Manuela [editor.] | Visser, Arnoud [editor.] | Xiong, Rong [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
|
|
|
|
Software Architecture [electronic resource] : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings / edited by Bedir Tekinerdogan, Uwe Zdun, Ali Babar.
by Tekinerdogan, Bedir [editor.] | Zdun, Uwe [editor.] | Babar, Ali [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
|
|
|
|
Web Information Systems Engineering - WISE 2016 [electronic resource] : 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I / edited by Wojciech Cellary, Mohamed F. Mokbel, Jianmin Wang, Hua Wang, Rui Zhou, Yanchun Zhang.
by Cellary, Wojciech [editor.] | Mokbel, Mohamed F [editor.] | Wang, Jianmin [editor.] | Wang, Hua [editor.] | Zhou, Rui [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, 2016Online access: Click here to access online Availability: No items available
|
