Your search returned 10983 results. Subscribe to this search

|
Building Secure Defenses Against Code-Reuse Attacks [electronic resource] / by Lucas Davi, Ahmad-Reza Sadeghi.

by Davi, Lucas [author.] | Sadeghi, Ahmad-Reza [author.] | 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

Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan.

by Chan, T-H. Hubert [editor.] | Lau, Lap Chi [editor.] | Trevisan, Luca [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

NASA Formal Methods [electronic resource] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk.

by Rayadurgam, Sanjai [editor.] | Tkachuk, Oksana [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 Security and Privacy [electronic resource] : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings / edited by Colin Boyd, Leonie Simpson.

by Boyd, Colin [editor.] | Simpson, Leonie [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

Advances in Artificial Intelligence [electronic resource] : 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings / edited by Denilson Barbosa, Evangelos Milios.

by Barbosa, Denilson [editor.] | Milios, Evangelos [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

Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Sch�atz, Jeff Gray, Antonio Vallecillo, Peter Clarke.

by Moreira, Ana [editor.] | Sch�atz, Bernhard [editor.] | Gray, Jeff [editor.] | Vallecillo, Antonio [editor.] | Clarke, Peter [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

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-Fran�cois Raskin.

by Chechik, Marsha [editor.] | Raskin, Jean-Fran�cois [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, 2016Online access: Click here to access online Availability: No items available

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / edited by Philip Brisk, Jos�e Gabriel de Figueiredo Coutinho, Pedro C. Diniz.

by Brisk, Philip [editor.] | Figueiredo Coutinho, Jos�e Gabriel de [editor.] | Diniz, Pedro C [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

Computer and Computing Technologies in Agriculture VI [electronic resource] : 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part I / edited by Daoliang Li, Yingyi Chen.

by Li, Daoliang [editor.] | Chen, Yingyi [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

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI [electronic resource] : Selected Papers from DaWaK 2012 / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Alfredo Cuzzocrea, Umeshwar Dayal.

by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Cuzzocrea, Alfredo [editor.] | Dayal, Umeshwar [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, 2015Online access: Click here to access online Availability: No items available

Graph Drawing [electronic resource] : 22nd International Symposium, GD 2014, W�urzburg, Germany, September 24-26, 2014, Revised Selected Papers / edited by Christian Duncan, Antonios Symvonis.

by Duncan, Christian [editor.] | Symvonis, Antonios [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

Collaboration and Technology [electronic resource] : 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings / edited by Takaya Yuizono, Hiroaki Ogata, Ulrich Hoppe, Julita Vassileva.

by Yuizono, Takaya [editor.] | Ogata, Hiroaki [editor.] | Hoppe, Ulrich [editor.] | Vassileva, Julita [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

Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti.

by Hierons, Robert M [editor.] | Merayo, Mercedes G [editor.] | Bravetti, Mario [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

Agent-Oriented Software Engineering XIII [electronic resource] : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by J�org P. M�uller, Massimo Cossentino.

by M�uller, J�org P [editor.] | Cossentino, Massimo [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

Information Security Practice and Experience [electronic resource] : 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015, Proceedings / edited by Javier Lopez, Yongdong Wu.

by Lopez, Javier [editor.] | Wu, Yongdong [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

Public-Key Cryptography - PKC 2014 [electronic resource] : 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings / edited by Hugo Krawczyk.

by Krawczyk, Hugo [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

Information Security and Cryptology - ICISC 2012 [electronic resource] : 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers / edited by Taekyoung Kwon, Mun-Kyu Lee, Daesung Kwon.

by Kwon, Taekyoung [editor.] | Lee, Mun-Kyu [editor.] | Kwon, Daesung [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

Computer Vision - ACCV 2012 Workshops [electronic resource] : ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012, Revised Selected Papers, Part I / edited by Jong-Il Park, Junmo Kim.

by Park, Jong-Il [editor.] | Kim, Junmo [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

Pattern Recognition [electronic resource] : 7th Mexican Conference, MCPR 2015, Mexico City, Mexico, June 24-27, 2015, Proceedings / edited by Jes�us Ariel Carrasco-Ochoa, Jos�e Francisco Mart�i­nez-Trinidad, Juan Humberto Sossa-Azuela, Jos�e Arturo Olvera L�opez, Fazel Famili.

by Carrasco-Ochoa, Jes�us Ariel [editor.] | Mart�i­nez-Trinidad, Jos�e Francisco [editor.] | Sossa-Azuela, Juan Humberto [editor.] | Olvera L�opez, Jos�e Arturo [editor.] | Famili, Fazel [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

Online Communities and Social Computing [electronic resource] : 5th International conference, OCSC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by A. Ant Ozok, Panayiotis Zaphiris.

by Ozok, A. Ant [editor.] | Zaphiris, Panayiotis [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