Your search returned 3707 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Algorithms and Architectures for Parallel Processing [electronic resource] : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings / edited by Jesus Carretero, Javier Garcia-Blas, Ryan K.L. Ko, Peter Mueller, Koji Nakano.

by Carretero, Jesus [editor.] | Garcia-Blas, Javier [editor.] | Ko, Ryan K.L [editor.] | Mueller, Peter [editor.] | Nakano, Koji [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Algorithms and Models for the Web Graph [electronic resource] : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings / edited by Anthony Bonato, Fan Chung Graham, Pawe� Pra�at.

by Bonato, Anthony [editor.] | Graham, Fan Chung [editor.] | Pra�at, Pawe� [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Learning and Intelligent Optimization [electronic resource] : 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers / edited by Paola Festa, Meinolf Sellmann, Joaquin Vanschoren.

by Festa, Paola [editor.] | Sellmann, Meinolf [editor.] | Vanschoren, Joaquin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Quantum Interaction [electronic resource] : 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers / edited by Harald Atmanspacher, Claudia Bergomi, Thomas Filk, Kirsty Kitto.

by Atmanspacher, Harald [editor.] | Bergomi, Claudia [editor.] | Filk, Thomas [editor.] | Kitto, Kirsty [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Case-Based Reasoning Research and Development [electronic resource] : 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings / edited by Ashok Goel, M Bel�en D�iaz-Agudo, Thomas Roth-Berghofer.

by Goel, Ashok [editor.] | D�iaz-Agudo, M Bel�en [editor.] | Roth-Berghofer, Thomas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available