Your search returned 2359 results. Subscribe to this search

|
Trustworthy Computing and Services [electronic resource] : International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012, 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 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

Informatics and Management Science IV [electronic resource] / edited by Wenjiang Du.

by Du, Wenjiang [editor.] | SpringerLink (Online service).

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

A Polynomial Translation of Mobile Ambients into Safe Petri Nets [electronic resource] : Understanding a Calculus of Hierarchical Protection Domains / by Susanne G�obel.

by G�obel, Susanne [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available

Information and Software Technologies [electronic resource] : 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings / edited by Giedre Dregvaite, Robertas Damasevicius.

by Dregvaite, Giedre [editor.] | Damasevicius, Robertas [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

Optimization in the Natural Sciences [electronic resource] : 30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014. Revised Selected Papers / edited by Alexander Plakhov, Tatiana Tchemisova, Adelaide Freitas.

by Plakhov, Alexander [editor.] | Tchemisova, Tatiana [editor.] | Freitas, Adelaide [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

Cloud Computing and Services Science [electronic resource] : Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers / edited by Markus Helfert, Fr�ed�eric Desprez, Donald Ferguson, Frank Leymann.

by Helfert, Markus [editor.] | Desprez, Fr�ed�eric [editor.] | Ferguson, Donald [editor.] | Leymann, Frank [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, 2014Online access: Click here to access online Availability: No items available

Global Security, Safety and Sustainability: Tomorrow's Challenges of Cyber Security [electronic resource] : 10th International Conference, ICGS3 2015, London, UK, September 15-17, 2015. Proceedings / edited by Hamid Jahankhani, Alex Carlile, Babak Akhgar, Amie Taal, Ali G. Hessami, Amin Hosseinian-Far.

by Jahankhani, Hamid [editor.] | Carlile, Alex [editor.] | Akhgar, Babak [editor.] | Taal, Amie [editor.] | Hessami, Ali G [editor.] | Hosseinian-Far, Amin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.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

The Deductive Spreadsheet [electronic resource] / by Iliano Cervesato.

by Cervesato, Iliano [author.] | 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

Security Protocols XXI [electronic resource] : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson, Joseph Bonneau.

by Christianson, Bruce [editor.] | Malcolm, James [editor.] | Stajano, Frank [editor.] | Anderson, Jonathan [editor.] | Bonneau, Joseph [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

Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro L�opez-Ortiz, Venkatesh Raman, Alfredo Viola.

by Brodnik, Andrej [editor.] | L�opez-Ortiz, Alejandro [editor.] | Raman, Venkatesh [editor.] | Viola, Alfredo [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

Cross-Cultural Design [electronic resource] : 6th International Conference, CCD 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings / edited by P. L. Patrick Rau.

by Rau, P. L. Patrick [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, 2014Online access: Click here to access online Availability: No items available

Testing Software and Systems [electronic resource] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / edited by Franz Wotawa, Mihai Nica, Natalia Kushik.

by Wotawa, Franz [editor.] | Nica, Mihai [editor.] | Kushik, Natalia [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

Computer Networks [electronic resource] : 23rd International Conference, CN 2016, Brun�ow, Poland, June 14-17, 2016, Proceedings / edited by Piotr Gaj, Andrzej Kwiecień, Piotr Stera.

by Gaj, Piotr [editor.] | Kwiecień, Andrzej [editor.] | Stera, Piotr [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

High Performance Computing [electronic resource] : First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings / edited by Gonzalo Hern�andez, Carlos Jaime Barrios Hern�andez, Gilberto D�iaz, Carlos Garc�ia Garino, Sergio Nesmachnow, Tom�as P�erez-Acle, Mario Storti, Mariano V�azquez.

by Hern�andez, Gonzalo [editor.] | Barrios Hern�andez, Carlos Jaime [editor.] | D�iaz, Gilberto [editor.] | Garc�ia Garino, Carlos [editor.] | Nesmachnow, Sergio [editor.] | P�erez-Acle, Tom�as [editor.] | Storti, Mario [editor.] | V�azquez, Mariano [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

Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings / edited by Stephan K. Chalup, Alan D. Blair, Marcus Randall.

by Chalup, Stephan K [editor.] | Blair, Alan D [editor.] | Randall, Marcus [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

E-Business and Telecommunications [electronic resource] : 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers / edited by Mohammad S. Obaidat, Andreas Holzinger, Joaquim Filipe.

by Obaidat, Mohammad S [editor.] | Holzinger, Andreas [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.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

Human Aspects of Information Security, Privacy, and Trust [electronic resource] : Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings / edited by Theo Tryfonas, Ioannis Askoxylakis.

by Tryfonas, Theo [editor.] | Askoxylakis, Ioannis [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

Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li.

by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [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

Sports Science Research and Technology Support [electronic resource] : Third International Congress, icSPORTS 2015, Lisbon, Portugal, November 15-17, 2015, Revised Selected Papers / edited by Jan Cabri, Pedro Pezarat Correia.

by Cabri, Jan [editor.] | Pezarat Correia, Pedro [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

Information Assurance and Security Education and Training [electronic resource] : 8th IFIP WG 11.8 World Conference on Information Security Education, WISE 8, Auckland, New Zealand, July 8-10, 2013, Proceedings, WISE 7, Lucerne Switzerland, June 9-10, 2011, and WISE 6, Bento Gon�calves, RS, Brazil, July 27-31, 2009, Revised Selected Papers / edited by Ronald C. Dodge, Lynn Futcher.

by Dodge, Ronald C [editor.] | Futcher, Lynn [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