Your search returned 10983 results. Subscribe to this search

|
Combinatorial Optimization and Applications [electronic resource] : 10th International Conference, COCOA 2016, Hong Kong, China, December 16-18, 2016, Proceedings / edited by T-H. Hubert Chan, Minming Li, Lusheng Wang.

by Chan, T-H. Hubert [editor.] | Li, Minming [editor.] | Wang, Lusheng [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Decision and Game Theory for Security [electronic resource] : First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings / edited by Tansu Alpcan, Levente Buttyán, John S. Baras.

by Alpcan, Tansu [editor.] | Buttyán, Levente [editor.] | Baras, John S [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs.

by Bošnački, Dragan [editor.] | Wijs, Anton [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Cryptography and Coding [electronic resource] : 12th IMA International Conference, IMACC 2009, Cirencester, UK, December 15-17, 2009, Proceedings / edited by Matthew G. Parker.

by Parker, Matthew G [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available

Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva.

by Constable, Robert L [editor.] | Silva, Alexandra [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Graphical Models for Security [electronic resource] : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers / edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia.

by Mauw, Sjouke [editor.] | Kordy, Barbara [editor.] | Jajodia, Sushil [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, July 21-23, 2010, Berlin, Germany, Proceedings / edited by Mikhail Atallah, Nicholas Hopper.

by Atallah, Mikhail [editor.] | Hopper, Nicholas [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

A List of Successes That Can Change the World [electronic resource] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella.

by Lindley, Sam [editor.] | McBride, Conor [editor.] | Trinder, Phil [editor.] | Sannella, Don [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / edited by Colin Johnson, Vic Ciesielski, João Correia, Penousal Machado.

by Johnson, Colin [editor.] | Ciesielski, Vic [editor.] | Correia, João [editor.] | Machado, Penousal [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Advances in Swarm Intelligence [electronic resource] : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Carlos Coello Coello.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Coello Coello, Carlos [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings / edited by Niels da Vitoria Lobo, Takis Kasparis, Michael Georgiopoulos, Fabio Roli, James Kwok, Georgios C. Anagnostopoulos, Marco Loog.

by da Vitoria Lobo, Niels [editor.] | Kasparis, Takis [editor.] | Georgiopoulos, Michael [editor.] | Roli, Fabio [editor.] | Kwok, James [editor.] | Anagnostopoulos, Georgios C [editor.] | Loog, Marco [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Advances in Information and Computer Security [electronic resource] : 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015, Proceedings / edited by Keisuke Tanaka, Yuji Suga.

by Tanaka, Keisuke [editor.] | Suga, Yuji [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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 Discrete Applied Mathematics [electronic resource] : 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings / edited by B.S. Panda, Partha P. Goswami.

by Panda, B.S [editor.] | Goswami, Partha P [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Smart Card Research and Advanced Applications [electronic resource] : 16th International Conference, CARDIS 2017, Lugano, Switzerland, November 13-15, 2017, Revised Selected Papers / edited by Thomas Eisenbarth, Yannick Teglia.

by Eisenbarth, Thomas [editor.] | Teglia, Yannick [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Security, Privacy, and Anonymity in Computation, Communication, and Storage [electronic resource] : SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings / edited by Guojun Wang, Mohammed Atiquzzaman, Zheng Yan, Kim-Kwang Raymond Choo.

by Wang, Guojun [editor.] | Atiquzzaman, Mohammed [editor.] | Yan, Zheng [editor.] | Choo, Kim-Kwang Raymond [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Secure IT Systems [electronic resource] : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017, Proceedings / edited by Helger Lipmaa, Aikaterini Mitrokotsa, Raimundas Matulevičius.

by Lipmaa, Helger [editor.] | Mitrokotsa, Aikaterini [editor.] | Matulevičius, Raimundas [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Sailing Routes in the World of Computation [electronic resource] : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings / edited by Florin Manea, Russell G. Miller, Dirk Nowotka.

by Manea, Florin [editor.] | Miller, Russell G [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink.

by Havelund, Klaus [editor.] | Peleska, Jan [editor.] | Roscoe, Bill [editor.] | de Vink, Erik [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Logic-Based Program Synthesis and Transformation [electronic resource] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / edited by Fabio Fioravanti, John P. Gallagher.

by Fioravanti, Fabio [editor.] | Gallagher, John P [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer.

by Johnsen, Einar Broch [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available